DMCA
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Defeasible Inheritance-Based Description Logics
BibTeX
@MISC{Casini_proceedingsof,
author = {Giovanni Casini and Scuola Normale Superiore and Umberto Straccia},
title = {Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Defeasible Inheritance-Based Description Logics},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Defeasible inheritance networks are a nonmonotonic 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. 1
Keyphrases
twenty-second international joint conference structured information propositional knowledge base rational closure simple reasoning method classical entailment relation hierarchical knowledge description logic nonmonotonic framework defeasible inheritance network new non-monotonic closure operation preferential approach
