Reasoning about Typicality in Preferential Description Logics
From MaRDI portal
Publication:3532467
DOI10.1007/978-3-540-87803-2_17zbMATH Open1178.68561OpenAlexW1533856068WikidataQ58207620 ScholiaQ58207620MaRDI QIDQ3532467FDOQ3532467
Authors: N. Olivetti, Laura Giordano, V. Gliozzi, G. L. Pozzato 
Publication date: 27 October 2008
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-87803-2_17
Recommendations
- A non-monotonic description logic for reasoning about typicality
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
- Preferential Description Logics
- Reasoning in description logics with typicalities and probabilities of exceptions
- Typicalities and probabilities of exceptions in nonmotonic description logics
Cited In (21)
- From KLM-style conditionals to defeasible modalities, and back
- Typicalities and probabilities of exceptions in nonmotonic description logics
- On rational entailment for propositional typicality logic
- A description logic of typicality for conceptual combination
- Nonmonotonic reasoning, expectations orderings, and conceptual spaces
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Adaptively applying modus ponens in conditional logics of normality
- A propositional typicality logic for extending rational consequence
- A tableau calculus for minimal modal model generation
- Reasoning in description logics with typicalities and probabilities of exceptions
- Reasoning About Prescription and Description Using Prioritized Default Rules
- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
- A non-monotonic description logic for reasoning about typicality
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- Preferential Description Logics
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
- Title not available (Why is that?)
- Reasoning about surprising scenarios in description logics of typicality
- A multi-engine theorem prover for a description logic of typicality
- A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\)
This page was built for publication: Reasoning about Typicality in Preferential Description Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3532467)
