Incremental Reasoning for Multiple Inheritance.

Johan Dovland Einar Broch Johnsen Olaf Owe Martin Steffen

Published in: IFM (2009)

Keyphrases

multiple inheritance
inheritance reasoning
complex objects
default reasoning
object oriented
theoretically sound
object oriented databases
nonmonotonic reasoning
knowledge base
knowledge representation
object oriented programming
class hierarchies
query processing
probabilistic reasoning