ALC + T: a Preferential Extension of Description Logics
From MaRDI portal
Publication:3400571
DOI10.3233/FI-2009-182zbMath1207.68369MaRDI QIDQ3400571
Nicola Olivetti, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
Publication date: 5 February 2010
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2009-182
Related Items
Adaptively applying modus ponens in conditional logics of normality, From KLM-style conditionals to defeasible modalities, and back, Defeasible linear temporal logic, Preferences in artificial intelligence, A note on a description logic of concept and role typicality for defeasible reasoning over ontologies, Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model, Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\), On the KLM properties of a fuzzy DL with typicality, A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure, Contextual rational closure for defeasible \(\mathcal{ALC} \), On rational entailment for propositional typicality logic, Typicalities and probabilities of exceptions in nonmotonic description logics, Preferential Reasoning for Modal Logics, PTL: A Propositional Typicality Logic