Efficient Evaluation of a Class of Ordered Logic Programs

Abstract Ordered Logic ( OL ) enhances logic programming by the capability of modeling complex knowledge, by permitting a natural representation of several forms of non-monotonic reasoning. Both well-founded and stable model semantics for OL programs can be found in the literature [7,20,22]. This paper focuses on the problem of the efficient evaluation of the well-founded semantics of OL programs. First, a class of OL programs, called quasi-stratified programs, is presented. Then, an algorithm for the efficient bottom-up evaluation of the well-founded model of quasi-stratified programs is provided. Quasi-stratified programs evaluation has been implemented in KIWIS, an advanced environment for large database systems, whose query language is based on OL .

[1]  David Scott Warren,et al.  C-logic of complex objects , 1989, PODS '89.

[2]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms (Working Paper) , 1971, SWAT.

[3]  Els Laenens,et al.  Foundations of ordered logic , 1991 .

[4]  Nicola Leone,et al.  The Basic Query Machine of the KIWIS System , 1992, CAiSE.

[5]  Chitta Baral,et al.  Logic Programming and Knowledge Representation , 1994, J. Log. Program..

[6]  David S. Touretzky,et al.  The Mathematics of Inheritance Systems , 1984 .

[7]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[8]  Nicola Leone,et al.  Ordered Logic Programming with Sets , 1993, J. Log. Comput..

[9]  Danny De Schreye,et al.  Representing Incomplete Knowledge in Abductive Logic Programming , 1993, J. Log. Comput..

[10]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[11]  Gabriel M. Kuper,et al.  Logic programming with sets , 1987, PODS '87.

[12]  Domenico Saccà,et al.  The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries , 1997, J. Comput. Syst. Sci..

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

[14]  Domenico Saccà,et al.  Extending logic programming , 1990, SIGMOD '90.

[15]  Jack Minker.  Foundations of deductive databases and logic programming , 1988 .

[16]  Teodor C. Przymusinski.  On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[17]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[18]  Serge Abiteboul,et al.  Towards a Deductive Object-Oriented Database Language , 1990, Data Knowl. Eng..

[19]  Dirk Vermeir,et al.  Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models , 1992, J. Log. Comput..

[20]  Kenneth A. Ross,et al.  Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.

[21]  Melvin Fitting,et al.  A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..

[22]  Francesco Buccafurri,et al.  Stable Models and Their Computation for Logic Programming with Inheritance and True Negation , 1996, J. Log. Program..

[23]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

[24]  Nicola Leone,et al.  A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning , 1997, IEEE Trans. Knowl. Data Eng..

[25]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[26]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[27]  Teodor C. Przymusinski.  Every logic program has a natural stratification and an iterated least fixed point model , 1989, PODS.

[28]  Paul Johannesson,et al.  The KIWIS Knowledge Base Management System , 1991, CAiSE.

[29]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[30]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.

[31]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[32]  Dirk Vermeir,et al.  A Fixpoint Semantics for Ordered Logic , 1990, J. Log. Comput..

[33]  Luigi Palopoli,et al.  Disjunctive Ordered Logic , 1995, DEXA.