DL_clog: A Hybrid System Integrating Rules and Description Logics with Circumscription

In this paper, we propose DLclog, a new hybrid formalism combining Description Logics and Logic Programming for Semantic Web serving as an extension to DL + log[19]. Negative dl-atoms are allowed to occur in the bodies of the rules, and we extend NM-Semantics of DL+ log to evaluate dl-atoms with circumscriptive models of DL ontology in the sense of parallel circumscription rather than classical models. In this way, negative dl-atoms are treated in nonmonotonic way under Extended Closed World Assumption, and the formalism still remains faithful to NM-Semantics, DL and LP. Finally, we present decidability and complexity result for a restricted form of DLclog.

[1]  Stephan Tobies,et al.  Complexity results and practical algorithms for logics in knowledge representation , 2001, ArXiv.

[2]  Carsten Lutz,et al.  Description Logics with Circumscription , 2006, KR.

[3]  Boris Motik,et al.  Can OWL and Logic Programming Live Together Happily Ever After? , 2006, International Semantic Web Conference.

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

[5]  Fangzhen Lin,et al.  A Logic of Knowledge and Justified Assumptions , 1992, Artif. Intell..

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

[7]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

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

[9]  Raymond Reiter.  On Closed World Data Bases , 1977, Logic and Data Bases.

[10]  Teodor C. Przymusinski,et al.  On the Relationship Between Circumscription and Negation as Failure , 1989, Artif. Intell..

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

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

[13]  Boris Motik,et al.  A Faithful Integration of Description Logics with Logic Programming , 2007, IJCAI.

[14]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[15]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

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

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