Proceedings

Defeasible Inheritance-Based Description Logics

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 813-817.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-142

Abstract

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.

Giovanni Casini, and Umberto Straccia. 2011. Defeasible Inheritance-Based Description Logics. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 813–817. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-142
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards