A Graph-Based Approach to Incremental Classification in OWL 2 QL Ontology

In this paper, we propose an incremental reasoning approach to OWL 2 QL ontologies by mapping an ontology to an updatable digraph with maintaining dynamic transitive closure to obtain incremental classification. Firstly, we transform an ontology to an updatable digraph and then propose a procedure of updating ontology digraph for incremental classification later. Secondly, we develop an algorithm to identify affected paths for incremental classification. Finally, we implement our proposed approach in a prototype incR and then evaluate it on widely-used ontologies. The experiments show that our approach leads to performance gain and outperforms the techniques of module-based incremental classification in OWL 2 QL ontologies.

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

[2]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[3]  Guilin Qi,et al.  GEL: A Platform-Independent Reasoner for Parallel Classification with OWL EL Ontologies Using Graph Representation , 2017, Int. J. Artif. Intell. Tools.

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

[5]  Markus Krötzsch,et al.  The Incredible ELK , 2013, Journal of Automated Reasoning.

[6]  Diego Calvanese,et al.  The MASTRO system for ontology-based data access , 2011, Semantic Web.

[7]  Boontawee Suntisrivaraporn,et al.  Reintroducing CEL as an OWL 2 EL Reasoner , 2009, Description Logics.

[8]  V. S. Subrahmanian,et al.  Maintaining views incrementally , 1993, SIGMOD Conference.

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

[10]  Bernardo Cuenca Grau,et al.  Incremental Classification of Description Logics Ontologies , 2010, Journal of Automated Reasoning.

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

[12]  Yavor Nenov,et al.  Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm , 2015, AAAI.

[13]  Valerie King,et al.  A fully dynamic algorithm for maintaining the transitive closure , 1999, STOC '99.

[14]  Pavel Klinov,et al.  Incremental Reasoning in OWL EL without Bookkeeping , 2013, International Semantic Web Conference.

[15]  Boris Motik,et al.  A novel approach to ontology classification , 2012, J. Web Semant..

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

[17]  Guilin Qi,et al.  A Platform-Independent Approach for Parallel Reasoning with OWL EL Ontologies Using Graph Representation , 2015, 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI).

[18]  Michael Zakharyaschev,et al.  Ontology-Based Data Access: Ontop of Databases , 2013, SEMWEB.

[19]  Diego Calvanese,et al.  Beyond OWL 2 QL in OBDA: Rewritings and Approximations , 2015, AAAI.

[20]  Domenico Lembo,et al.  A Graph-Based Approach for Classifying OWL 2 QL Ontologies , 2013, Description Logics.

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

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