Sciweavers

IJCAI
1989

On the Declarative Semantics of Inheritance Networks

13 years 4 months ago
On the Declarative Semantics of Inheritance Networks
Usually, semantics of inheritance networks is specified indirectly through a translation into one of the standard logical formalisms. Since such translation involves an algorithmic aspect, which is usually complex, these approaches to inheritance are not truly declarative. We provide a general framework for specifying a direct semantics of inheritance networks. Because the networks are not expressive enough to capture all intuitions behind inheritance, a number of significantly different semantics have been proposed. Our approach allows us to give direct semantics to a number of different proposals found in the literature, and clarifies the relationships among them. It also provides a yardstick for measuring adequacy of translation into logical formalisms of various intuitions about inheritance. 1 I n t r o d u c t i o n Inheritance networks represent individuals, classes and properties. For efficient representation and determination of properties of individuals, these networks have e...
Krishnaprasad Thirunarayan, Michael Kifer, David S
Added 07 Nov 2010
Updated 07 Nov 2010
Type Conference
Year 1989
Where IJCAI
Authors Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren
Comments (0)