Formalizing Production Systems with Rule-Based Ontologies

In this paper we proposed a new semantics for the combination of production systems with arbitraryDL ontologies. Unlike previous approaches, the semantics presented here allow looping rules and can handle inconsistencies produced by the interaction of the rule actions and the ontology. We also define a sound embedding of such semantics, restricted to rule-based DL Ontologies, into Transaction Logic with partial action definitions (ΤRPAD). This reduction adds a declarative semantics to the combination. To model production systems in ΤRPAD, we extend ΤRPAD with default negation and define the well-founded semantics for it.

[1]  Diego Calvanese,et al.  The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..

[2]  Carlo Zaniolo,et al.  A Unified Semantics for Active and Deductive Databases , 1993, Rules in Database Systems.

[3]  Michael Kifer,et al.  Transaction Logic Programming , 1993, ICLP.

[4]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[5]  Louiqa Raschid,et al.  A Semantics for a Class of Stratified Production System Programs , 1989, J. Log. Program..

[6]  Michael Kifer,et al.  Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic , 2007, VLDB.

[7]  Michael Kifer,et al.  Transaction Logic with Defaults and Argumentation Theories , 2011, ICLP.

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

[9]  Gunter Saake,et al.  Logics for databases and information systems , 1998 .

[10]  José Júlio Alferes,et al.  Declarative Semantics for the Rule Interchange Format Production Rule Dialect , 2010, SEMWEB.

[11]  Werner Nutt,et al.  Combining Production Systems and Ontologies , 2011, RR.

[12]  Bertram Ludäscher,et al.  On Active Deductive Databases: The Statelog Approach , 1996, Transactions and Change in Logic Databases.

[13]  Ian Horrocks,et al.  The Semantic Web – ISWC 2010: 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I , 2010, SEMWEB.

[14]  Marianne Winslett,et al.  Updating logical databases , 1990, Cambridge tracts in theoretical computer science.

[15]  Diego Calvanese,et al.  Evolution of DL-Lite Knowledge Bases , 2010, SEMWEB.

[16]  I. V. Ramakrishnan,et al.  CTR-S: a logic for specifying contracts in semantic web services , 2004, WWW Alt. '04.

[17]  C. R. Ramakrishnan,et al.  Logic based modeling and analysis of workflows , 1998, PODS '98.

[18]  Stijn Heymans,et al.  Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics , 2010, ECAI.

[19]  Michael Kifer,et al.  Applications of Transaction Logic to Knowledge Representation , 1994, ICTL.

[20]  Michael Kifer,et al.  A Logic for Programming Database Transactions , 1998, Logics for Databases and Information Systems.

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

[22]  David Pearce,et al.  Nonclassical Logics and Information Processing , 1992, Lecture Notes in Computer Science.

[23]  Lars-Henrik Eriksson,et al.  Extensions of Logic Programming , 1993, Lecture Notes in Computer Science.

[24]  Jos de Bruijn,et al.  A Logic Based Approach to the Static Analysis of Production Systems , 2009, RR.

[25]  Michael Kifer,et al.  Transaction Logic Programming (or, A Logic of Procedural and Declarative Knowledge) , 1995 .

[26]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[27]  Ian Horrocks,et al.  Ontologies and the semantic web , 2008, CACM.

[28]  Gerd Wagner,et al.  Logic Programming with Strong Negation , 1989, ELP.

[29]  Michael Kifer,et al.  Reasoning with Actions in Transaction Logic , 2011, RR.

[30]  Robert A. Kowalski,et al.  Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents , 2009, RR.

[31]  Burkhard Freitag,et al.  Transactions and Change in Logic Databases , 1997, Lecture Notes in Computer Science.

[32]  Michael Kifer,et al.  Semantic Web Service Choreography: Contracting and Enactment , 2008, International Semantic Web Conference.

[33]  Steffen Staab,et al.  The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings , 2008, SEMWEB.

[34]  Nenad Stojanovic,et al.  Event-Driven Approach for Logic-Based Complex Event Processing , 2009, 2009 International Conference on Computational Science and Engineering.

[35]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .