Observation equivalences for the semantics of inheritance.
C. BalzarottiFiorella de CindioLucia PomelloPublished in: FMOODS (1999)
Keyphrases
- multiple inheritance
- formal semantics
- connected components
- knowledge representation
- logic programming
- model theoretic
- real time
- object oriented
- object oriented databases
- data sets
- update semantics
- object identity
- conceptual graphs
- operational semantics
- nonmonotonic logics
- semantic relationships
- relational algebra
- logic programs
- logical language
- domain knowledge