Computing Minimal Projection Modules for Conjunctive Queries

We consider the problem of extracting modules of an ontology that contains the knowledge as represented by a second ontology. The knowledge to be preserved is specified using entailment of conjunctive queries over a given vocabulary. We propose a novel module notion called projection module that preserves the answers to conjunctive queries as they follow from a reference ontology. We present an algorithm for computing minimal projection modules for conjunctive queries. As target and reference ontology we take ELH-terminologies. The algorithm is based on simulation notions developed for detecting logical differences between ELH-terminologies.

[1]  Boris Konev,et al.  Conjunctive Query Inseparability of OWL 2 QL TBoxes , 2011, AAAI.

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

[3]  Boris Konev,et al.  The Logical Difference for the Lightweight Description Logic EL , 2012, J. Artif. Intell. Res..

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

[5]  Boris Konev,et al.  The Logical Difference Problem for Description Logic Terminologies , 2008, IJCAR.

[6]  Ian Horrocks,et al.  Module Extraction in Expressive Ontology Languages via Datalog Reasoning , 2016, J. Artif. Intell. Res..

[7]  Jean Christoph Jung,et al.  Conservative Extensions in Horn Description Logics with Inverse Roles , 2020, J. Artif. Intell. Res..

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

[9]  Dirk Walther,et al.  The Logical Difference for ℰℒℋr-Terminologies using Hypergraphs , 2014, ECAI.

[10]  Dirk Walther,et al.  Zooming in on Ontologies: Minimal Modules and Best Excerpts , 2017, International Semantic Web Conference.

[11]  Dirk Walther,et al.  The Concept Difference for EL-Terminologies using Hypergraphs , 2013, DChanges.

[12]  Ian Horrocks,et al.  An Introduction to Description Logic , 2017 .

[13]  Frank Wolter,et al.  Games for query inseparability of description logic knowledge bases , 2016, Artif. Intell..

[14]  Bijan Parsia,et al.  Measuring similarity in ontologies: a new family of measures , 2014, International Semantic Web Conference.

[15]  Carsten Lutz,et al.  Query-Based Entailment and Inseparability for ALC Ontologies , 2016, IJCAI.

[16]  Boris Konev,et al.  Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey , 2016, RW.

[17]  Frank Wolter,et al.  Logic-based ontology comparison and module extraction, with an application to DL-Lite , 2010, Artif. Intell..

[18]  Anni-Yasmin Turhan,et al.  A Framework for Semantic-based Similarity Measures for ELH-Concepts , 2012 .

[19]  Jérôme Euzenat,et al.  Ontology Matching, Second Edition , 2013 .

[20]  Rafael Peñaloza,et al.  Pinpointing in the Description Logic EL , 2007, Description Logics.

[21]  Guilin Qi,et al.  A New Method of Finding All Justifications in OWL 2 EL , 2013, 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT).

[22]  Boris Konev,et al.  Semantic Modularity and Module Extraction in Description Logics , 2008, ECAI.

[23]  Boris Konev,et al.  Model-theoretic inseparability and modularity of description logic ontologies , 2013, Artif. Intell..

[24]  Rafael Peñaloza,et al.  BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies , 2016, SAT.

[25]  Yevgeny Kazakov,et al.  Enumerating Justifications using Resolution , 2017, Description Logics.