Contextual rational closure for defeasible \(\mathcal{ALC} \)
From MaRDI portal
Publication:2278101
DOI10.1007/s10472-019-09658-2zbMath1452.68180OpenAlexW2964309571MaRDI QIDQ2278101
Ivan Varzinczak, Katarina Britz
Publication date: 9 December 2019
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-019-09658-2
nonmonotonic reasoningdescription logicscontextpreferential semanticsrational closuredefeasible subsumption
Related Items (3)
Situated conditional reasoning ⋮ A reconstruction of multipreference closure ⋮ Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure
Cites Work
- Unnamed Item
- Unnamed Item
- A non-monotonic description logic for reasoning about typicality
- Semantic characterization of rational closure: from propositional logic to description logics
- Nonmonotonic reasoning, preferential models and cumulative logics
- What does a conditional knowledge base entail?
- Conditional logics of normality: A modal approach
- A note on the rational closure of knowledge bases with both positive and negative knowledge
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Rationality and context in defeasible subsumption
- Preferential accessibility and preferred worlds
- Enhancing context knowledge repositories with justifiable exceptions
- Another perspective on default reasoning
- Preferential tableaux for contextual defeasible \(\mathcal{ALC}\)
- A KLM perspective on defeasible reasoning for description logics
- Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\)
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- Preferential Reasoning for Modal Logics
- Description logics of context
- Introducing Role Defeasibility in Description Logics
- Defeasible Inheritance-Based Description Logics
- PTL: A Propositional Typicality Logic
- A Minimal Model Semantics for Nonmonotonic Reasoning
- ALC + T: a Preferential Extension of Description Logics
- Preferential Description Logics
- Reasoning about Typicality in Preferential Description Logics
- The Complexity of Circumscription in DLs
- Rational Closure for Defeasible Description Logics
- The Description Logic Handbook
- From KLM-style conditionals to defeasible modalities, and back
This page was built for publication: Contextual rational closure for defeasible \(\mathcal{ALC} \)
