Ontology-revision operators based on reinterpretation.

Carola Eschenbach Özgür L. Özçep

Published in: Log. J. IGPL (2010)

Keyphrases

revision operators
belief revision
classical logic
domain knowledge
default theories
knowledge base
knowledge representation
pointwise
relational databases
prior knowledge
logic programming
propositional logic
default logic
prime implicants