Towards scalable ontology engineering patterns: lessons learned from an experiment based on W3C's part-whole guidelines

This paper presents an empirical evaluation of description logic reasoners to support the selection of scalable ontology engineering patterns for TBox reasoning. Our main objective is to define the rationale behind the design decisions required for the generation of large ontologies with XSLT-based tools. We discuss here the outcomes of an experiment focusing on aircraft components and parts for which we have implemented the ontology design guidelines for part-whole relationships published by W3C's Semantic Web best practices working group. We have worked with the following reasoners, being the best state-of-the-art currently available: FaCT++, RACER, Pellet and CEL. We found considerable variation in reasoner performance and have attempted to characterise the factors that distinguish the reasoners to enable a best-practice design style to be successfully applied for the generation of very large ontologies.

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

[2]  Volker Haarslev,et al.  Description Logic Inference Technology: Lessions Learned in the Trenches , 2005, Description Logics.

[3]  Volker Haarslev,et al.  Querying the Semantic Web with Racer + nRQL , 2004 .

[4]  Bernhard Nebel,et al.  Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.

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

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

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

[8]  Ian Horrocks,et al.  Ordering Heuristics for Description Logic Reasoning , 2005, IJCAI.

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

[10]  Bijan Parsia,et al.  From Wine to Water: Optimizing Description Logic Reasoning for Nominals , 2006, KR.

[11]  Franz Baader,et al.  How Pervasive Is the Myerson-Satterthwaite Impossibility? , 2009, IJCAI.

[12]  Ian Horrocks,et al.  Automated Benchmarking of Description Logic Reasoners , 2006, Description Logics.

[13]  Jeff Heflin,et al.  Benchmarking DAML+OIL Repositories , 2003, SEMWEB.

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

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

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

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

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

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