Reasoning with the Description Logic DLRO ¡fg using Bound Guarded Programs

Open answer set programming combines the strengths of logic pro- gramming (a rule-based presentation and a nonmonotonic seman- tics) and description logics (open domains). Reasoning under an open answer set semantics is undecidable in general, but decidabil- ity can be obtained for particular classes of logic programs, e.g., for bound guarded programs. In this paper, we show how bound guarded programs are expressive enough to simulate satisability checking in a DL with n-ary roles and nominals, yielding EXP- TIME-completeness for both the DL reasoning and the reasoning with bound guarded programs under the open answer set seman- tics. We establish decidability of three query problems (query con- tainment, consistency, and disjointness) for guarded queries by a reduction to bound guarded programs, resulting in an EXPTIME up- per bound.

[1]  V. Lifschitz,et al.  The Stable Model Semantics for Logic Programming , 1988, ICLP/SLP.

[2]  Yuri Gurevich,et al.  The Classical Decision Problem , 1997, Perspectives in Mathematical Logic.

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

[4]  Diego Calvanese,et al.  Conjunctive Query Containment in Description Logics with n-ary Relations , 1997, Description Logics.

[5]  Danny De Schreye,et al.  A Strong Correspondence between Description Logics and Open Logic Programming , 1997, ICLP.

[6]  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 .

[7]  Igor Walukiewicz,et al.  Guarded fixed point logic , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

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

[9]  David Pearce,et al.  Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..

[10]  Erich Grädel.  Model Checking Games , 2002, Electron. Notes Theor. Comput. Sci..

[11]  A. ADoefaa,et al.  ? ? ? ? f ? ? ? ? ? , 2003 .

[12]  Stijn Heymans,et al.  Integrating Description Logics and Answer Set Programming , 2003, PPSWR.

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

[14]  Chitta Baral,et al.  Reasoning in description logics using declarative logic programming , 2004 .

[15]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[16]  Boris Motik,et al.  Reducing SHIQ-Description Logic to Disjunctive Datalog Programs , 2004, KR.

[17]  Stijn Heymans,et al.  Semantic Web Reasoning with Conceptual Logic Programs , 2004, RuleML.

[18]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

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

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

[21]  Terrance Swift.  Deduction in Ontologies via Answer Set Programming , 2004 .

[22]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, International Semantic Web Conference.

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

[24]  Stijn Heymans,et al.  Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs , 2005, ESWC.

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

[26]  Jos de Bruijn,et al.  OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web , 2005, WWW '05.

[27]  Stijn Heymans,et al.  Guarded Open Answer Set Programming , 2005, LPNMR.

[28]  Stijn Heymans,et al.  Guarded Open Answer Set Programming with Generalized Literals , 2006, FoIKS.

[29]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .