The mathematics of inheritance systems
The mathematics of inheritance systems
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
A logical framework for default reasoning
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
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)
On Sandewall's paper: Nonmonotonic inference rules for multiple inheritance with exceptions
Artificial Intelligence
Preferential reasoning in the perspective of Poole default logic
Artificial Intelligence
Artificial Intelligence
A logical theory of nonmonotonic inference and belief change
A logical theory of nonmonotonic inference and belief change
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Introduction to Algorithms
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Expressive probabilistic description logics
Artificial Intelligence
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
A clash of intuitions: the current state of nonmonotonic multiple inheritance systems
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
The logic of inheritance in frame systems
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
A skeptic's menagerie: conflictors, preemptors, reinstates, and zombies in nonmonotonic inheritance
IJCAI'91 Proceedings of the 12th 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
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
A skeptical theory of inheritance in nonmonotonic semantic networks
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
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
EL with default attributes and overriding
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
Semantic foundation for preferential description logics
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Defeasible inclusions in low-complexity DLs
Journal of Artificial Intelligence Research
On the complexity of EL with defeasible inclusions
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Defeasible inheritance-based description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
A minimal model semantics for nonmonotonic reasoning
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A non-monotonic Description Logic for reasoning about typicality
Artificial Intelligence
Hi-index | 0.00 |
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 to non-monotonic reasoning. 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 (DLs), a family of logics well-suited to model structured information. In both cases we will provide a simple reasoning method that is built on top of the classical entailment relation and, thus, is amenable of an implementation based on existing reasoners. Eventually, we evaluate our approach on well-known landmark test examples.