RDL: Enhancing Description Logic with Rules

In this paper, we propose Rule Description Logic (RDL) for enhancing Description Logic (DL) with nonmonotonic recursive rules, like those in Answer Set Programming (ASP). We define the world view semantics for RDL and show that it is faithful with respect to both DL and ASP. More importantly, we show that the full language of RDL is decidable.

[1]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[2]  Jos de Bruijn,et al.  Embedding nonground logic programs into autoepistemic logic for knowledge-base combination , 2007, TOCL.

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

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

[5]  Thomas Lukasiewicz,et al.  A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web , 2007, IEEE Transactions on Knowledge and Data Engineering.

[6]  Ian Horrocks,et al.  OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..

[7]  Yi Zhou,et al.  From Answer Set Logic Programming to Circumscription via Logic of GK , 2007, IJCAI.

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

[9]  Jos de Bruijn,et al.  Quantified Equilibrium Logic and Hybrid Rules , 2007, RR.

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

[11]  Riccardo Rosati,et al.  DL+log: Tight Integration of Description Logics and Disjunctive Datalog , 2006, KR.

[12]  Carsten Lutz,et al.  The Complexity of Circumscription in DLs , 2009, J. Artif. Intell. Res..

[13]  Cristina Sirangelo,et al.  Reasoning About Pattern-Based XML Queries , 2013, RR.

[14]  Franz Baader,et al.  Embedding defaults into terminological knowledge representation formalisms , 1995, Journal of Automated Reasoning.

[15]  Vladimir Lifschitz.  Minimal Belief and Negation as Failure , 1994, Artif. Intell..

[16]  Boris Motik,et al.  Reconciling description logics and rules , 2010, JACM.

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

[18]  Joohyung Lee,et al.  Stable models and circumscription , 2011, Artif. Intell..

[19]  Michael Gelfond,et al.  Logic programming and reasoning with incomplete information , 1994, Annals of Mathematics and Artificial Intelligence.