A non-monotonic description logic for reasoning about typicality
From MaRDI portal
Publication:360113
DOI10.1016/J.ARTINT.2012.10.004zbMATH Open1270.68281OpenAlexW2089627725WikidataQ58207595 ScholiaQ58207595MaRDI QIDQ360113FDOQ360113
Authors: Laura Giordano, V. Gliozzi, N. Olivetti, G. L. Pozzato 
Publication date: 26 August 2013
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0004370212001269
Recommendations
- Reasoning about Typicality in Preferential Description Logics
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
- Preferential Description Logics
- Typicalities and probabilities of exceptions in nonmotonic description logics
- Reasoning in description logics with typicalities and probabilities of exceptions
Cited In (42)
- From KLM-style conditionals to defeasible modalities, and back
- Query answering in circumscribed OWL2 profiles
- Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure
- Semantic characterization of rational closure: from propositional logic to description logics
- Revision of ontologies to accommodate exceptions: a typicality-based approach
- Typicalities and probabilities of exceptions in nonmotonic description logics
- On rational entailment for propositional typicality logic
- A description logic of typicality for conceptual combination
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Enhancing context knowledge repositories with justifiable exceptions
- Preferential accessibility and preferred worlds
- Reasoning on with Defeasibility in ASP
- PTL: a propositional typicality logic
- Introducing role defeasibility in description logics
- Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
- Reasoning in description logics with typicalities and probabilities of exceptions
- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
- ASP for minimal entailment in a rational extension of SROEL
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- Data repair of inconsistent nonmonotonic description logic programs
- A reconstruction of multipreference closure
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- Decidability of circumscribed description logics revisited
- Rational closure for all description logics
- System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
- Preferential Description Logics
- Reasoning about Typicality in Preferential Description Logics
- Defeasible RDFS via rational closure
- Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
- Logic of typical and atypical instances of a concept -- a mathematical model
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
- Classical algorithms for reasoning and explanation in description logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Concept combination in weighted DL
- Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models
- Reasoning about surprising scenarios in description logics of typicality
- A multi-engine theorem prover for a description logic of typicality
- Strong inconsistency
- A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\)
This page was built for publication: A non-monotonic description logic for reasoning about typicality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q360113)
