AAAI Publications, Twenty-Second International Joint Conference on Artificial Intelligence

Font Size: 
Defeasible Inheritance-Based Description Logics
Umberto Straccia, Giovanni Casini

Last modified: 2011-06-28


Defeasible inheritance networks are a non-monotonic framework that deals with hierarchical knowledge. On the other hand, rational closure is acknowledged as a landmark of the preferential approach. We will combine these two approaches and define a new non-monotonic closure operation for propositional knowledge bases that combines the advantages of both. Then we redefine such a procedure for Description Logics, a family of logics well-suited to model structured information. In both cases we will provide a simple reasoning method that is build on top of the classical entailment relation.

Full Text: PDF