DL+log: Tight Integration of Description Logics and Disjunctive Datalog

The integration of Description Logics and Datalog rules presents many semantic and computational problems. In particular, reasoning in a system fully integrating Description Logics knowledge bases (DL-KBs) and Datalog programs is undecidable. Many proposals have overcomed this problem through a "safeness" condition that limits the interaction between the DL-KB and the Datalog rules. Such a safe integration of Description Logics and Datalog provides for systems with decidable reasoning, at the price of a strong limitation in terms of expressive power. In this paper we define DL +log, a general framework for the integration of Description Logics and disjunctive Datalog. From the knowledge representation viewpoint, DL +log extends previous proposals, since it allows for a tighter form of integration between DL-KBs and Datalog rules which overcomes the main representational limits of the approaches based on the safeness condition. From the reasoning viewpoint, we present algorithms for reasoning in DL +log, and prove decidability and complexity of reasoning in DL +log for several Description Logics. To the best of our knowledge, DL+log constitutes the most powerful decidable combination of Description Logics and disjunctive Datalog rules proposed so far.

[1]  Diego Calvanese,et al.  Dwq : Esprit Long Term Research Project, No 22469 on the Decidability of Query Containment under Constraints on the Decidability of Query Containment under Constraints , 2022 .

[2]  Ian Horrocks,et al.  A proposal for an owl rules language , 2004, WWW '04.

[3]  Alon Y. Halevy,et al.  The Limits on Combining Recursive Horn Rules with Description Logics , 1996, AAAI/IAAI, Vol. 1.

[4]  Diego Calvanese,et al.  Anwering Recursive Queries under Keys and Foreign Keys is Undecidable , 2003, KRDB.

[5]  Georg Gottlob,et al.  Disjunctive datalog , 1997, TODS.

[6]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[7]  Alon Y. Halevy,et al.  Combining Horn Rules and Description Logics in CARIN , 1998, Artif. Intell..

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

[9]  Diego Calvanese,et al.  Description Logic Framework for Information Integration , 1998, KR.

[10]  Diego Calvanese,et al.  DL-Lite: Tractable Description Logics for Ontologies , 2005, AAAI.

[11]  Alon Y. Halevy,et al.  CARIN: A Representation Language Combining Horn Rules and Description Logics , 1996, ECAI.

[12]  Riccardo Rosati,et al.  Towards expressive KR systems integrating datalog and description logics: preliminary report , 1999, Description Logics.

[13]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[14]  Hans Tompits,et al.  Well-Founded Semantics for Description Logic Programs in the Semantic Web , 2004, RuleML.

[15]  Francesco M. Donini,et al.  AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.

[16]  Diego Calvanese,et al.  Data complexity of answering conjunctive queries over SHIQ knowledge bases , 2005, ArXiv.

[17]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[18]  Riccardo Rosati,et al.  On the decidability and complexity of integrating ontologies and rules , 2005, J. Web Semant..

[19]  Riccardo Rosati,et al.  Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules , 2005, PPSWR.