Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure
From MaRDI portal
Publication:4988945
DOI10.3233/FI-2020-1973zbMath1497.68463arXiv1807.02879OpenAlexW3116592067MaRDI QIDQ4988945
Laura Giordano, Valentina Gliozzi
Publication date: 20 May 2021
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1807.02879
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?
- Nonmonotonic reasoning, conditional objects and possibility theory
- Rationality and context in defeasible subsumption
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
- Enhancing context knowledge repositories with justifiable exceptions
- Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
- Another perspective on default reasoning
- Maximum entropy calculations for the probabilistic description logic \(\mathcal{ALC}^{\mathsf{ME}}\)
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- Reasoning about exceptions in ontologies: an approximation of the multipreference semantics
- Expressive probabilistic description logics
- Combining answer set programming with description logics for the semantic web
- 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}}\)
- Defeasible Inheritance-Based Description Logics
- Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic
- Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
- Well-founded semantics for description logic programs in the semantic web
- Preferential Description Logics
- Reconciling description logics and rules
- The Complexity of Circumscription in DLs
- 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
- Reasoning about Multiple Aspects in Rational Closure for DLs
- The Description Logic Handbook
- Description logics of minimal knowledge and negation as failure
- Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
This page was built for publication: Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure