On the logical properties of the nonmonotonic description logic DL^N

DOI10.1016/J.ARTINT.2017.04.001MaRDI QIDQ2407461zbMATH OpenOpenAlexFDO

Authors P. 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

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

Recommendations

• Description logics of minimal knowledge and negation as failure
• A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
• Nonmonotonic Description Logics – Requirements, Theory, and Implementations
• A KLM perspective on defeasible reasoning for description logics
• Propositional Clausal Defeasible Logic

Cites work

• scientific article; zbMATH DE number 4104920 (Why is no real title available?)
• A logic for default reasoning
• A non-monotonic description logic for reasoning about typicality
• Another perspective on default reasoning
• Defeasible inclusions in low-complexity DLs
• Defeasible inheritance with doubt index and its axiomatic characterization
• Defeasible inheritance-based description logics
• Description logics of minimal knowledge and negation as failure
• Expressive probabilistic description logics
• Nonmonotonic reasoning, preferential models and cumulative logics
• Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
• Rational Closure for Defeasible Description Logics
• Relevant closure: a new form of defeasible reasoning for description logics
• Semantic characterization of rational closure: from propositional logic to description logics
• Sequent calculi for propositional nonmonotonic logics
• The DL-Lite Family and Relations
• The complexity of circumscription in DLs
• What does a conditional knowledge base entail?

Cited in

(11)

• A reconstruction of multipreference closure
• Contextual rational closure for defeasible \(\mathcal{ALC} \)
• A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
• Concept combination in weighted DL
• Nonmonotonic Description Logics – Requirements, Theory, and Implementations
• Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
• A preferential interpretation of multilayer perceptrons in a conditional logic with typicality
• Rational closure for all description logics
• Logic for Programming, Artificial Intelligence, and Reasoning
• Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
• On the KLM properties of a fuzzy DL with typicality

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2407461)