Relaxation-based revision operators in description logics.

Marc Aiguier Jamal Atif Isabelle Bloch Céline Hudelot

Published in: CoRR (2015)

Keyphrases

description logics
revision operators
belief revision
knowledge base
classical logic
default theories
reasoning tasks
knowledge representation
computational properties
model theoretic
belief change
default reasoning
logic programming
propositional logic
fuzzy numbers
nonmonotonic reasoning