Semantics of Property Inheritance in a Hierarchic System with Explicit Negation.
Gabriel DavidAntónio PortoPublished in: EPIA (1991)
Keyphrases
- logic programming
- multiple inheritance
- logic programs
- compositional semantics
- containment of conjunctive queries
- stable model semantics
- fixed point semantics
- knowledge representation
- stable models
- deductive databases
- derivation rules
- declarative semantics
- object oriented
- formal semantics
- semantics for logic programs
- object oriented databases
- predicate logic
- answer set programming
- normal logic programs
- object identity
- object oriented data models
- answer sets
- fixpoint semantics