Rational closure for all description logics
From MaRDI portal
Publication:2321316
DOI10.1016/j.artint.2019.04.001zbMath1478.68345OpenAlexW2938157237WikidataQ128071737 ScholiaQ128071737MaRDI QIDQ2321316
Publication date: 28 August 2019
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2019.04.001
Related Items (4)
Situated conditional reasoning ⋮ An ASP approach for reasoning in a concept-aware multipreferential lightweight DL ⋮ A reconstruction of multipreference closure ⋮ Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
Cites Work
- Unnamed Item
- Unnamed Item
- A non-monotonic description logic for reasoning about typicality
- The strong exponential hierarchy collapses
- 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?
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
- Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
- Expressive probabilistic description logics
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- Defeasible Inheritance-Based Description Logics
- A Minimal Model Semantics for Nonmonotonic Reasoning
- Preferential Description Logics
- The Complexity of Circumscription in DLs
- ASP for minimal entailment in a rational extension of SROEL
- Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆
- Defeasible Reasoning in 𝒮ℛ𝒪ℰℒ: from Rational Entailment to Rational Closure
- Rational Closure for Defeasible Description Logics
- Description logics of minimal knowledge and negation as failure
This page was built for publication: Rational closure for all description logics