A novel approach to ontology classification

Ontology classification-the computation of the subsumption hierarchies for classes and properties-is a core reasoning service provided by all OWL reasoners known to us. A popular algorithm for computing the class hierarchy is the so-called Enhanced Traversal (ET) algorithm. In this paper, we present a new classification algorithm that attempts to address certain shortcomings of ET and improve its performance. Apart from classification of classes, we also consider object and data property classification. Using several simple examples, we show that the algorithms commonly used to implement these tasks are incomplete even for relatively weak ontology languages. Furthermore, we show that property classification can be reduced to class classification, which allows us to classify properties using our optimised algorithm. We implemented all our algorithms in the OWL reasoner HermiT. The results of our performance evaluation show significant performance improvements on several well-known ontologies.

[1]  Boris Motik,et al.  OWL 2 Web Ontology Language: structural specification and functional-style syntax , 2008 .

[2]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Direct Semantics , 2009 .

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

[4]  Boris Motik,et al.  OWL Datatypes: Design and Implementation , 2008, SEMWEB.

[5]  Andrea Preite-Martinez,et al.  An ontology of sstronomical object types for the Virtual Observatory , 2006 .

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

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

[8]  Alan L. Rector,et al.  Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN , 2006, Reasoning Web.

[9]  Diego Calvanese,et al.  The description logic handbook: theory , 2003 .

[10]  Ian Horrocks,et al.  Optimising Tableaux Decision Procedures For Description Logics , 1997 .

[11]  Boris Motik,et al.  Hypertableau Reasoning for Description Logics , 2009, J. Artif. Intell. Res..

[12]  Volker Haarslev,et al.  Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics , 2001, IJCAR.

[13]  Christine Golbreich,et al.  The Foundational Model of Anatomy in OWL: Experience and Perspectives , 2006, OWLED.

[14]  Ian Horrocks,et al.  Optimizing Terminological Reasoning for Expressive Description Logics , 2007, Journal of Automated Reasoning.

[15]  Boris Motik,et al.  A Resolution-Based Decision Procedure for SHOIQ , 2006, IJCAR.

[16]  Volker Haarslev,et al.  High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study , 2001, IJCAI.

[17]  Frehiwot Fisseha,et al.  Reengineering Thesauri for New Applications: The AGROVOC Example , 2006, J. Digit. Inf..

[18]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Profiles , 2009 .

[19]  Alice M. Mulvehill,et al.  Experiences Using OWL in Military Applications , 2005, OWLED.

[20]  Volker Haarslev,et al.  Tableau Caching for Description Logics with Inverse and Transitive Roles , 2006, Description Logics.

[21]  Gerard Ellis,et al.  Compiled hierarchical retrieval , 1992 .

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

[23]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[24]  Boris Motik,et al.  Optimized Description Logic Reasoning via Core Blocking , 2010, IJCAR.

[25]  Bernhard Nebel,et al.  An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.

[26]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

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

[28]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[29]  Boris Motik,et al.  A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}$ , 2008, Journal of Automated Reasoning.

[30]  Tharam S. Dillon,et al.  Protein Ontology Development using OWL , 2005, OWLED.

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

[32]  Boris Motik,et al.  Exploiting Partial Information in Taxonomy Construction , 2009, Description Logics.

[33]  Boris Motik,et al.  Optimising Ontology Classification , 2010, International Semantic Web Conference.

[34]  Ian Horrocks,et al.  Optimizing Description Logic Subsumption , 1999, J. Log. Comput..

[35]  John Goodwin.  Experiences of Using OWL at the Ordnance Survey , 2005, OWLED.

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