An empirical comparison of scalable part-whole ontology engineering patterns

: To enhance aerospace applications such as supply chain management or maintenance tracking and reliability assessment, aircraft manufacturers need to enrich their electronic documentation systems with better conceptualizations of the aerospace domain. Because of the number and diversity of products and parts in an aircraft, ontologies to model this domain can potentially be very large. Therefore, it is critical to have scalable ontology generation approaches, along with an understanding of how the design of these ontologies has an impact on the performance of description logic reasoners that can operate over them. In this paper, we investigate how to achieve this goal though the application of best practice ontology engineering patterns. In particular, we examine two types of ontology engineering patterns used to instantiate large-scale ontologies based on part–whole relations. The first approach is a direct implementation of the part–whole guidelines published by W3C. The second approach uses right-identity axioms supported by the EL+ description logic. The results of our empirical evaluation show the benefits of the latter approach, whereby the CEL reasoner is able to perform the task of classification over large ontologies significantly faster than the description logic reasoners FaCT++, RACER and Pellet that operate over comparable ontologies designed using the W3C pattern.

[1]  James T. Luxhoj,et al.  Trending of equipment inoperability for commercial aircraft , 1999 .

[2]  Jeff Heflin,et al.  An Evaluation of Knowledge Base Systems for Large OWL Datasets , 2004, SEMWEB.

[3]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[4]  Nicola Guarino,et al.  Dwq : Esprit Long Term Research Project, No 22469 Part-whole Relations in Object-centered Systems: an Overview Part-whole Relations in Object-centered Systems: an Overview , 2022 .

[5]  Alan L. Rector,et al.  Modularisation of domain ontologies implemented in description logics and related formalisms including OWL , 2003, K-CAP '03.

[6]  Ian Horrocks,et al.  Framework for an Automated Comparison of Description Logic Reasoners , 2006, SEMWEB.

[7]  Peter F. Patel-Schneider,et al.  DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners , 2006, OWLED.

[8]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[9]  Franz Baader,et al.  CEL - A Polynomial-Time Reasoner for Life Science Ontologies , 2006, IJCAR.

[10]  Ian Horrocks,et al.  Decidability of SHIQ with Complex Role Inclusion Axioms , 2003, IJCAI.

[11]  Boris Motik,et al.  Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases , 2003, KRDB.

[12]  Daniel L. Rubin,et al.  Challenges in Converting Frame-Based Ontology into OWL: the Foundational Model of Anatomy Case-Study , 2005, AMIA.

[13]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[14]  Douglas Herrmann,et al.  A Taxonomy of Part-Whole Relations , 1987, Cogn. Sci..

[15]  Ian Horrocks,et al.  Optimised Classification for Taxonomic Knowledge Bases , 2005, Description Logics.

[16]  Holger Knublauch,et al.  The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications , 2004, SEMWEB.

[17]  Franz Baader,et al.  Expressive Number Restrictions in Description Logics , 1999, J. Log. Comput..

[18]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[19]  Laurent Lefort,et al.  Towards scalable ontology engineering patterns: lessons learned from an experiment based on W3C's part-whole guidelines , 2006 .

[20]  Laurent Lefort,et al.  Large scale colour ontology generation with XO , 2005 .

[21]  Dennis Wagelaar Context-Driven Model Refinement , 2004, MDAFA.

[22]  Holger Kenn,et al.  Case Study of Wearable Computing for Aircraft Maintenance , 2005 .

[23]  Boris Motik,et al.  Reasoning in description logics using resolution and deductive databases , 2006 .