Incremental Classification of Description Logics Ontologies

The development of ontologies involves continuous but relatively small modifications. However, existing ontology reasoners do not take advantage of the similarities between different versions of an ontology. In this paper, we propose a collection of techniques for incremental reasoning—that is, reasoning that reuses information obtained from previous versions of an ontology. We have applied our results to incremental classification of OWL ontologies and found significant improvement over regular classification time on a set of real-world ontologies.

[1]  Ulrike Sattler,et al.  Which Kind of Module Should I Extract? , 2009, Description Logics.

[2]  Ian Horrocks,et al.  Modular Reuse of Ontologies: Theory and Practice , 2008, J. Artif. Intell. Res..

[3]  N. Shinkura,et al.  Pushing the envelope: chromatin boundaries at the nuclear pore. , 2002, Molecular cell.

[4]  B. Parsia,et al.  Towards Incremental Reasoning Through Updates in OWL-DL , 2006 .

[5]  Michael Stonebraker,et al.  Implementation of integrity constraints and views by query modification , 1975, SIGMOD '75.

[6]  Volker Haarslev,et al.  Incremental Query Answering for Implementing Document Retrieval Services , 2003, Description Logics.

[7]  Bernardo Cuenca Grau,et al.  History Matters: Incremental Ontology Reasoning Using Modules , 2007, ISWC/ASWC.

[8]  Frank van Harmelen,et al.  Debugging Incoherent Terminologies , 2007, Journal of Automated Reasoning.

[9]  Bijan Parsia,et al.  Debugging OWL ontologies , 2005, WWW '05.

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

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

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

[13]  Carsten Lutz,et al.  Conservative Extensions in the Lightweight Description Logic EL , 2007, CADE.

[14]  Boris Motik,et al.  Optimized Reasoning in Description Logics Using Hypertableaux , 2007, CADE.

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

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

[17]  Yevgeny Kazakov,et al.  RIQ and SROIQ Are Harder than SHOIQ , 2008, KR.

[18]  Franz Baader,et al.  Efficient Reasoning in EL+ , 2006, Description Logics.

[19]  Jean H. Gallier,et al.  Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..

[20]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

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

[22]  Ian Horrocks,et al.  Just the right amount: extracting modules from ontologies , 2007, WWW '07.

[23]  Douglas B. Terry,et al.  Continuous queries over append-only databases , 1992, SIGMOD '92.

[24]  Franz Baader,et al.  Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice , 2005 .

[25]  Jianwen Su,et al.  Nonrecursive incremental evaluation of Datalog queries , 1995, Annals of Mathematics and Artificial Intelligence.

[26]  Boris Motik,et al.  OWL 2: The next step for OWL , 2008, J. Web Semant..

[27]  Boris Motik,et al.  Deciding expressive description logics in the framework of resolution , 2008, Inf. Comput..

[28]  Bijan Parsia,et al.  Description Logic Reasoning for Dynamic ABoxes , 2006, Description Logics.

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

[30]  Frank Wm. Tompa,et al.  Efficiently updating materialized views , 1986, SIGMOD '86.

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

[32]  Ian Horrocks,et al.  A Logical Framework for Modularity of Ontologies , 2007, IJCAI.

[33]  Guozhu Dong,et al.  Incremental Evaluation of Datalog Queries , 1992, ICDT.

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

[35]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[36]  Ian Horrocks,et al.  The Even More Irresistible $\mathcal{SROIQ}$ , 2006 .

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

[38]  J. Dekleer.  An assumption-based TMS , 1986 .

[39]  Carsten Lutz,et al.  Conservative Extensions in Expressive Description Logics , 2007, IJCAI.

[40]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[41]  Bijan Parsia,et al.  Description Logic Reasoning with Syntactic Updates , 2006, OTM Conferences.

[42]  Bijan Parsia,et al.  Finding All Justifications of OWL DL Entailments , 2007, ISWC/ASWC.

[43]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[44]  Boontawee Suntisrivaraporn.  Module Extraction and Incremental Classification: A Pragmatic Approach for Ontologies , 2008, ESWC.

[45]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[46]  James A. Hendler,et al.  Toward expressive syndication on the web , 2007, WWW '07.