Contextual rational closure for defeasible \(\mathcal{ALC} \)

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

zbMATH Keywords

nonmonotonic reasoningdescription logicscontextpreferential semanticsrational closuredefeasible subsumption

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

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} \)