Reasoning about Typicality in Preferential Description Logics

DOI10.1007/978-3-540-87803-2_17MaRDI QIDQ3532467zbMATH OpenOpenAlexWikidataFDO

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\)
• 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
• A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
• Nonmonotonic reasoning, expectations orderings, and conceptual spaces
• 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}}\)
• scientific article; zbMATH DE number 3979044 (Why is no real title available?)
• Reasoning about surprising scenarios in description logics of typicality
• A multi-engine theorem prover for a description logic of typicality

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)