On the logical properties of the nonmonotonic description logic DL^N
From MaRDI portal
Publication:2407461
DOI10.1016/J.ARTINT.2017.04.001zbMATH Open1420.68199OpenAlexW2605370823MaRDI QIDQ2407461FDOQ2407461
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
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
- Nonmonotonic reasoning, preferential models and cumulative logics
- The DL-Lite Family and Relations
- What does a conditional knowledge base entail?
- A logic for default reasoning
- The complexity of circumscription in DLs
- Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
- Title not available (Why is that?)
- Rational Closure for Defeasible Description Logics
- A non-monotonic description logic for reasoning about typicality
- Description logics of minimal knowledge and negation as failure
- Another perspective on default reasoning
- Expressive probabilistic description logics
- Defeasible inheritance-based description logics
- Sequent calculi for propositional nonmonotonic logics
- Defeasible inheritance with doubt index and its axiomatic characterization
- Defeasible inclusions in low-complexity DLs
- Semantic characterization of rational closure: from propositional logic to description logics
- Relevant closure: a new form of defeasible reasoning for description logics
Cited In (11)
- A preferential interpretation of multilayer perceptrons in a conditional logic with typicality
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Nonmonotonic Description Logics – Requirements, Theory, and Implementations
- On the KLM properties of a fuzzy DL with typicality
- A reconstruction of multipreference closure
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- 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
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
- Concept combination in weighted DL
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)
