Skip to main content
SpringerLink
Log in

Towards a declarative semantics of inheritance with exceptions

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

This paper presents a declarative semantics of compositional inheritance in an object-oriented logic programming framework with explicit exceptions, based on the iterated least fixpoint semantics to normal logic programs. Taking logic objects with exceptions as a kind of non-monotonic theory, the non-monotonicity of inheritance is achieved, which is of importance for modeling incomplete knowledge and requirement specifications in both artificial intelligence and software engineering.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Hodas J S, Miller D. Representing objects in a logic programming language, with scoping constructs. InProc. of the 7th Int'l Conf. on Logic Programming, MIT Press, 1990, pp. 511–526.

  2. Brogi A, Lemma E, Mello P. Objects in a logic programming framework. InLNAI, Vol. 592, Springer-Verlag, 1990, pp. 102–113.

  3. Bugliesi M. A declarative view of inheritance in logic programming. InProc. of the 9th Int'l Conf. on Logic Programming, MIT Press, 1992, pp. 113–127.

  4. Mello P. Inheritance as combination of Horn clause theories. InInheritance Hierarchies in Knowledge Representation and Programming Languages, John Wiley & Sons, 1991, pp. 275–289.

  5. Tsai J J P, Weigert T, Jang H-C. A hybrid knowledge representation as a basis of requirement specification and specification analysis.IEEE Trans. on Software, Engineering, 1992, 18(12): 1076–1099.

    Article  Google Scholar 

  6. Omicini A, Natali A. Object-oriented computations in logic programming. InECOOP'94 and LNCS 821, Springer-Verlag, 1994, pp. 194–212.

  7. Conery J S. Logical objects. InProc. of the 5th Int'l Conf. on Logic Programming, MIT Press, 1988, pp. 420–434.

  8. Mccabe F G. Logic and Objects. Prentice Hall, 1992.

  9. Kim B Met al. Combining many-sorted logic and object oriented programming.Information & Software Technology, 1993, 35(4).

  10. Xu Dianxiang, Zheng Guoliang. A hybrid knowledge representation based on logical objects. InProc. of Int'l Conf. on Expert Systems for Development, Bankok, 1994, 3.

  11. Przymusinski T C. Non-monotonic formalisms and logic programming. InProc. of the 6th Int'l Conf. on Logic Programming, MIT Press, 1989, pp. 655–674.

  12. Kowalski R A, Sadri F. Logic programs with exceptions. InProc. of the 5th Int'l Conf. on Logic Programming, MIT Press, 1990, pp. 598–613.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Technology, Nanjing University, 210093, Nanjing

    Xu Dianxiang & Zheng Guoliang

Authors
  1. Xu Dianxiang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zheng Guoliang
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

For the biographies ofXu Dianxiang and Zheng Guoliang, please refer to p.438 (Vol.10, No.5, 1995) ofJ. of Computer Science and Technology.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Xu, D., Zheng, G. Towards a declarative semantics of inheritance with exceptions. J. of Compt. Sci. & Technol. 11, 61–71 (1996). https://doi.org/10.1007/BF02943522

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02943522

Keywords

Search

Navigation