On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)

DOI10.1016/j.artint.2017.04.001zbMath1420.68199OpenAlexW2605370823MaRDI QIDQ2407461

Piero A. Bonatti, L. Sauro

Publication date: 29 September 2017

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2017.04.001

zbMATH Keywords

knowledge representationnonmonotonic description logics

Mathematics Subject Classification ID

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

Related Items (7)

A note on a description logic of concept and role typicality for defeasible reasoning over ontologies ⋮ On the KLM properties of a fuzzy DL with typicality ⋮ Contextual rational closure for defeasible \(\mathcal{ALC} \) ⋮ A reconstruction of multipreference closure ⋮ Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure ⋮ Rational closure for all description logics ⋮ 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
• Defeasible inheritance with doubt index and its axiomatic characterization
• Semantic characterization of rational closure: from propositional logic to description logics
• A logic for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
• Another perspective on default reasoning
• Expressive probabilistic description logics
• Defeasible Inheritance-Based Description Logics
• Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
• The Complexity of Circumscription in DLs
• The DL-Lite Family and Relations
• Rational Closure for Defeasible Description Logics
• Description logics of minimal knowledge and negation as failure
• Sequent calculi for propositional nonmonotonic logics

This page was built for publication: On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)