Inheritance as sublation and its semantics

Authors:
Dianxiang Xu;Guoliang Zheng
Affiliations:
Department of Computer Science and Technology, Nanjing University, Nanjing, 210093, P.R.China;Department of Computer Science and Technology, Nanjing University, Nanjing, 210093, P.R.China
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
1995

Citing 12
Cited 0

Vulcan: logical concurrent objects

Research directions in object-oriented programming
Unifying functional, object-oriented and relational programming with logical semantics

Research directions in object-oriented programming
A transformational view of inheritance in logic programming

Logic programming
Representing objects in a logic programming language with scoping constructs

Logic programming
Logic programs with exceptions

Logic programming
Inheritance as combination of horn clause theories

Inheritance hierarchies in knowledge representation and programming languages
Logic and objects

Logic and objects
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis

IEEE Transactions on Software Engineering - Special issue on software maintenance
Objects in a Logic Programming Framework

Proceedings of the First Russian Conference on Logic Programming
An Object-Oriented Logic Language for Modular System Specification

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Object-Oriented Computations in Logic Programming

ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
A Prolog Based Object Oriented Language SPOOL and its Compiler

Proceedings of the 5th Conference on Logic Programming '86

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an approach to non-monotonic inheritance in an object-oriented logic programming framework. Inheritance as sublation, achieved through predicate extension and exception, not only provides a very flexible mechanism for software reuse but also is very philosophical. Taking the (iterated least fixpoint) well-founded model semantics to traditional logic programs as a basis, the declarative semantics is also explored.