ALC + T: a Preferential Extension of Description Logics
From MaRDI portal
Publication:3400571
DOI10.3233/FI-2009-182zbMath1207.68369OpenAlexW1947471199MaRDI 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 (14)
A note on a description logic of concept and role typicality for defeasible reasoning over ontologies ⋮ Preferences in artificial intelligence ⋮ On the KLM properties of a fuzzy DL with typicality ⋮ PTL: A Propositional Typicality Logic ⋮ Adaptively applying modus ponens in conditional logics of normality ⋮ Defeasible linear temporal logic ⋮ From KLM-style conditionals to defeasible modalities, and back ⋮ 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 ⋮ Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model ⋮ Preferential Reasoning for Modal Logics ⋮ Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) ⋮ Typicalities and probabilities of exceptions in nonmotonic description logics
This page was built for publication: ALC + T: a Preferential Extension of Description Logics
