Reasoning about Typicality in Preferential Description Logics

DOI10.1007/978-3-540-87803-2_17MaRDI QIDQ3532467zbMATHOpenAlexWikidataFDO

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

Mathematics Subject Classification ID

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

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)

• A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\)
• A non-monotonic description logic for reasoning about typicality
• Typicalities and probabilities of exceptions in nonmotonic description logics
• Contextual rational closure for defeasible \(\mathcal{ALC} \)
• Nonmonotonic reasoning, expectations orderings, and conceptual spaces
• A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
• \({\mathcal{ALC}}+T\): a preferential extension of description logics
• From KLM-style conditionals to defeasible modalities, and back
• Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
• On rational entailment for propositional typicality logic
• Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
• A description logic of typicality for conceptual combination
• 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
• Reasoning about surprising scenarios in description logics of typicality
• A propositional typicality logic for extending rational consequence
• Adaptively applying modus ponens in conditional logics of normality
• Preferential Description Logics
• A multi-engine theorem prover for a description logic of typicality
• scientific article; zbMATH DE number 3979044 (Why is no real title available?)

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)