Reasoning about Typicality in Preferential Description Logics

DOI10.1007/978-3-540-87803-2_17zbMath1178.68561OpenAlexW1533856068WikidataQ58207620 ScholiaQ58207620MaRDI QIDQ3532467

Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato, Laura Giordano

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

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

Related Items

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, From KLM-style conditionals to defeasible modalities, and back, A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$, Contextual rational closure for defeasible \(\mathcal{ALC} \), On rational entailment for propositional typicality logic, A Tableau Calculus for Minimal Modal Model Generation, Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)