What does a conditional knowledge base entail?
Artificial Intelligence
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Some direct theories of nonmonotonic inheritance
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
The Description Logic Handbook
The Description Logic Handbook
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
How to prefer more specific defaults in terminological default logic
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Default inheritance reasoning in hybrid KL-ONE-style logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The logic of inheritance in frame systems
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research
A Preferential Tableaux Calculus for Circumscriptive ${\mathcal ALCO}$
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Boolean extensions of inheritance networks
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Defeasible inheritance with doubt index and its axiomatic characterization
Artificial Intelligence
Rational closure for defeasible description logics
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Preferential Reasoning for Modal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
OWL-POLAR: A framework for semantic policy representation and reasoning
Web Semantics: Science, Services and Agents on the World Wide Web
A non-monotonic Description Logic for reasoning about typicality
Artificial Intelligence
A deontic logic semantics for licenses composition in the web of data
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Defeasible inheritance-based description logics
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
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.