Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs

We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason with both ontological and rule-based knowledge, which is illustrated by simulating reasoning in an expressive description logic (DL) equipped with DL-safe rules. Furthermore, ECLPs are more expressive in the sense that they enable nonmonotonic reasoning, a desirable feature in locally closed subareas of the Semantic Web.

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

[2]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[3]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[4]  Franz Baader,et al.  Number Restrictions on Complex Roles in Description Logics: A Preliminary Report , 1996, KR.

[5]  Alexander Borgida,et al.  On the Relative Expressiveness of Description Logics and Predicate Logics , 1996, Artif. Intell..

[6]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 1997, Proceedings of Computational Complexity. Twelfth Annual IEEE Conference.

[7]  Arthur B. Markman,et al.  Knowledge Representation , 1998 .

[8]  Ian Horrocks,et al.  DAML+OIL is not Enough , 2001, SWWS.

[9]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[10]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[11]  Grigoris Antoniou.  A Nonmonotonic Rule System using Ontologies , 2002, RuleML.

[12]  Grigoris Antoniou,et al.  Nonmonotonic Rule Systems on Top of Ontology Layers , 2002, SEMWEB.

[13]  Deborah L. McGuinness,et al.  Owl web ontology language guide , 2003 .

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

[15]  Benjamin N. Grosof,et al.  SweetDeal : Represen with Exceptions using and Process , 2003 .

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

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

[18]  Zuoquan Lin,et al.  An Extension to OWL with General Rules , 2004, RuleML.

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

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

[21]  Christine Golbreich,et al.  Combining Rule and Ontology Reasoners for the Semantic Web , 2004, RuleML.

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

[23]  Jeffrey M. Bradshaw,et al.  Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment , 2004, SEMWEB.

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

[25]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

[26]  Alex M. Andrew,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .

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