New Generation Computing

, Volume 12, Issue 1, pp 91–121 | Cite as

Well-founded semantics and stratification for ordered logic programs

  • N. Leone
  • G. Rossi
Regular Papers


This paper present an extension of traditional logic programming, called ordered logic (OL) programming, to support classical negation as well as constructs from the object-oriented paradigm. In particular, such an extension allows to cope with the notions of object, multiple inheritance and non-monotonic reasoning.

The contribution of the work is mainly twofold. First, a rich wellfounded semantics for ordered logic programs is defined. Second, an efficient method for the well-founded model computation of a meaningful class of ordered logic programs, called stratified programs, is provided.


Logic Programming Knowledge Representation Non-Monotonic Reasoning Classical Negation Inheritance 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1).
    Apt, K., Bair, H. and Walker, A., “Towards a Theory of Declarative Knowledge,”Foundations of Deductive Databases and Logic Programming (Minker, J., ed.), Morgan Kaufman, Los Altos, pp. 89–148, 1987.Google Scholar
  2. 2).
    Ait-Kaci, H. and Nasr, R., “LOGIN: A Logic Programming Language with Built-in Inheritance,”Journal Logic Programming, 3, 3, Oct. 1986.Google Scholar
  3. 3).
    Ahlsen, M., Johannesson, P., Laenens, E., Leone, N., Rullo, P., Rossi, G., Staes, F., Tarantino, L., Van Beirendonck, L., Van Cadsand, F., Van Sant, W., Van Slembroeck, J., Verdonk, B. and Vermeir, D. (ed.), “The KIWIS Knowledge Base Management System,” inProceedings of the 3rd Int. Conference CAiSE’ 91, Trondheim, Norway, May 1991.Google Scholar
  4. 4).
    Baral, C., Lobo, J. and Minker, J., “Generalized Well-Founded Semantics for Logic Programs,”Research Report, University of Maryland, 1990.Google Scholar
  5. 5).
    Bancilhon, F., Maier, D., Sagiv, Y. and Ullman, J. D., “Magic Sets and Other Strange Ways to Implement Logic Programs,”Proceedings of the 5th ACM SIGMODSIGACT Symp. on Principles of Database Systems, 1986.Google Scholar
  6. 6).
    Beeri, C., Naqvi, S., Ramakrishnan, R., Shmueli, O, and Tsur, S., “Sets and Negation in a Logic Database Language (LDLI),”Proc. Sixth Annual ACM Symposium on Principles of Database Systems, pp. 21–37, 1987.Google Scholar
  7. 7).
    Balbin, I. and Ramamohanarao, K., “A Generalization of the Differential Approach to Recursive Query Evaluation,”Journal of Logic Programming 4, 3, pp. 259–262, 1987.MATHCrossRefMathSciNetGoogle Scholar
  8. 8).
    Beeri, C. and Ramakrishnan, R., “On the Power of Magic,” inProc. 6th ACM SIGMOD-SIGACT Symp. on Principles of Databases Systems, pp. 269–283, 1987.Google Scholar
  9. 9).
    Blair, H. and Subrahmanian, V.S., “Paraconsistent Logic Programming,”Theoretical Computer Science, 68, pp. 135–154, 1989.MATHCrossRefMathSciNetGoogle Scholar
  10. 10).
    Baral, C. and Subrahmanian, V.S., “Stable and Extension Class Theory for Logic Programs and Default Logics,”Research Report, University of Maryland, 1990.Google Scholar
  11. 11).
    Chen, W. and Warren, D.J., “C-logic for Complex Objects,”Proc. ACM SIGACT-SIGMOD-SIGART Symp on Principles of Database Systems, March 1989.Google Scholar
  12. 12).
    Conery, J.S., “Object Oriented Programming with First Order Logic,”Technical Report, CIS-TR-87-09, Univ. of Oregon, 1987.Google Scholar
  13. 13).
    Gelfond, M. and Lifschitz, V. “Logic Programs with Classical Negation,”Proc. of 7th ICLP, Jerusalem, pp. 579–597, 1990.Google Scholar
  14. 14).
    Greco, S., Leone, N. and Rullo, P., “COMPLEX: An Object-Oriented Logic Programming System,”IEEE Transaction on Data and Knowledge Engineering, August 1992.Google Scholar
  15. 15).
    Greco, S. and Saccà, D., “Negative Logic Programs,”Proc. of North American Logic Programming Conference, 1990.Google Scholar
  16. 16).
    Geert, P. and Vermeir, D., “Credulous and Autoepistemic Reasoning Using Ordered Logic,”Proc. of the 1st Int. Workshop on Logic Programming and Nonmonotonic Reasoning, Washington, July 1991.Google Scholar
  17. 17).
    Kifer, M. and Lausen, G., “F-logic: A Higher-Order Language for Reasoning About Objects, Inheritance, and Scheme,”Proc. of the ACM SIGMOD Int. Conf. on the Management of Data, Portland, Oregon, 1989.Google Scholar
  18. 18).
    Kifer, M. Lausen, G. and Wu, J., “Logical Foundation of Object-Oriented and Frame-Based Languages,”Technical Report, 90/14, Dept. of Computer Science, New York State Univ. at Stony Brook, June 1990.Google Scholar
  19. 19).
    Kowalski, R.A. and Sadri, F., “Logic Programs with Exceptions,”Proc. of 7th ICLP, Jerusalem, pp 598–616, 1990.Google Scholar
  20. 20).
    Kuper, G. M., “Logic Programming with Sets,”Journal of Computer and System Sciences, 41, 1, pp. 44–64, 1990.MATHCrossRefMathSciNetGoogle Scholar
  21. 21).
    Laenens, E., “Foundations of Ordered Logic,”Ph.D. thesis, Univ. of Antwerp, 1990.Google Scholar
  22. 22).
    Lloyd, J. W., inFoundations of Logic Programming, Springer-Verlag, 1987.Google Scholar
  23. 23).
    Leone, N., Mecchia, A., Rossi, G. and Rullo, P., “Revised Design Documentation of the Basic Language Machine,”Technical Report, BLM5/91, ESPRIT Project P2424 KIWIS, September 1991.Google Scholar
  24. 24).
    Leone, N. and Rossi, G., “Well-Founded Semantics for Ordered Logic Programs,”Proc. of GULP’91, Pisa, Italy, 1991.Google Scholar
  25. 25).
    Leone, N., Rossi, G. and Rullo, P., “Design Documentation of the Basic Language Machine,”Technical Report, BLM4/90, ESPRIT Project P2424 KIWIS, December 1990.Google Scholar
  26. 26).
    Leone, N. and Rullo, P., “Stable Model Semantics and Its Computation for Ordered Logic Programs,”Proceedings ECAI 92-10th European Conference on AI, Vienna, Austria, August 3–7 1992.Google Scholar
  27. 27).
    Leone, N. and Rullo, P., “On the Relation of Ordered Logic to Nonmonotonic Formalisms,”Research Report, CRAI, 1992.Google Scholar
  28. 28).
    Laenens, E., Saccàa, D. and Vermeir, D., “Extending Logic Programming,”Proc. of ACM SIGMOD, May 1990.Google Scholar
  29. 29).
    Laenens, E. and Vermeir, D., “A Fixpoint Semantics for Ordered Logic,”Journal of Logic and Computation 1, 2, pp. 159–185, December 1990.MATHCrossRefMathSciNetGoogle Scholar
  30. 30).
    Laenens, E. and Vermeir, D., “KIWIS: Advanced Knowledge-Base Environments for Large Database Systems,”Proc. of the PARBASE 90 Conference, IEEE Computer Society Press, 1990.Google Scholar
  31. 31).
    Laenens, E., Verdonk, B., Vermeir, D. and Cuyt, A., “A Logic for Objects and Inheritance,”Proc. of the Advanced Database Symposium, Kyoto, Japan, 1989.Google Scholar
  32. 32).
    Naqvi, S. and Tsur, S.,A Logical Data Language for Data and Knowledge Bases, Computer Science Press, New York, 1988.Google Scholar
  33. 33).
    Roussel, P.,Prolog, Manuel de Reference et de Utilisation, Groupe Intelligence Artificielle, Universite Aix-Marseille II, 1975.Google Scholar
  34. 34).
    Przymusinsky, T., “Well-Founded Semantics Coincides with Three-Valued Stable Semantics,”Fundamenta Informaticae, XIII, IOS Press, pp. 445–463, 1990.Google Scholar
  35. 35).
    Saccà, D. and Zaniolo, C., “Implementing Recursive Logic Queries with Function Symbols,”MCC Technical Report, DB-065-86, February 20 1986.Google Scholar
  36. 36).
    Saccà, D. and Zaniolo, C., “The Generalized Counting Method of Recursive Logic Queries for Databases,”Theoretical Computer Science, 62, pp. 187–220, Nov. 1989.CrossRefGoogle Scholar
  37. 37).
    Saccà, D. and Zaniolo, C., “Partial Model, Stable Models and Non-Determinism in Logic Programs with Negation,”Proc. ACM Symp. on Principles of Database Systems, 1990.Google Scholar
  38. 38).
    Tarsky, A., “A Lattice Theoretical Fixpoint Theorem and Its Application,”Pacific Journal of Mathematics, 5, pp. 285–309, 1955.MathSciNetGoogle Scholar
  39. 39).
    Tarjan, R., “Depth-First Search and Linear Graph Algorithm,”SIAM Journal of Computing, 1, 2, June 1972.Google Scholar
  40. 40).
    Touretzky, D.S.,The Mathematics of Inheritance Systems, Pitman, London, 1986.MATHGoogle Scholar
  41. 41).
    Van Gelder, A., “The Alternating Fixpoint of Logic Programs with Negation,”Proc. ACM Symp. on Principles of Database Systems, 1989.Google Scholar
  42. 42).
    Van Gelder A., Ross, K. and Schlipf, J.S., “Unfounded Sets and Well-Founded Semantics for General Logic Programs,”Proc. ACM SIGMOD-SIGACT Symp. on Principles of Database Systems, pp. 221–230, March 1988.Google Scholar

Copyright information

© Ohmsha, Ltd. and Springer 1993

Authors and Affiliations

  1. 1.DEIS-Universita della CalabriaRendeItaly
  2. 2.CRAIRendeItaly

Personalised recommendations