Towards Incremental Reasoning Through Updates in OWL-DL

In this paper, we investigate incrementally updating classifications of ontologies encoded in the expressive description logic SHOIN (D), which also corresponds to the W3C standard Web Ontology Language, OWL-DL. In particular we present various optimizations for incremental classification under both axiom addition and removal. Several of the optimizations are independent of the logic and proof theory as long as classification can be reduced to satisfiability testing. Additionally, we provide an empirical analysis of the optimizations through an experimental implementation in the Pellet OWL-DL reasoner.

[1]  James A. Hendler,et al.  Debugging unsatisfiable classes in OWL ontologies , 2005, J. Web Semant..

[2]  Volker Haarslev,et al.  LAS: Extending Racer by a Large ABox Store , 2005, Description Logics.

[3]  Thorsten Liebig,et al.  OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite Ontologies , 2004, International Semantic Web Conference.

[4]  Volker Haarslev,et al.  Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results , 2004, KR.

[5]  Bijan Parsia,et al.  Pellet: An OWL DL Reasoner , 2004, Description Logics.

[6]  Ian Horrocks,et al.  Efficient Reasoning with Range and Domain Constraints , 2004, Description Logics.

[7]  Bijan Parsia,et al.  Composition-driven Filtering and Selection of Semantic Web Services , 2004 .

[8]  Anupriya Ankolekar,et al.  Automated discovery, interaction and composition of Semantic Web services , 2003, J. Web Semant..

[9]  Bijan Parsia,et al.  Task Computing - The Semantic Web Meets Pervasive Computing , 2003, SEMWEB.

[10]  Werner Nutt,et al.  Basic Description Logics , 2003, Description Logic Handbook.

[11]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

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

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

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

[15]  I. Horrocks.  Implementation and Optimisation Techniques , .