A non-monotonic description logic for reasoning about typicality

DOI10.1016/j.artint.2012.10.004zbMath1270.68281OpenAlexW2089627725WikidataQ58207595 ScholiaQ58207595MaRDI QIDQ360113

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

Publication date: 26 August 2013

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0004370212001269

Mathematics Subject Classification ID

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

Related Items

Query answering in circumscribed OWL2 profiles ⋮ A note on a description logic of concept and role typicality for defeasible reasoning over ontologies ⋮ Data repair of inconsistent nonmonotonic description logic programs ⋮ On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\) ⋮ System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases ⋮ Reasoning on with Defeasibility in ASP ⋮ ASP for minimal entailment in a rational extension of SROEL ⋮ Semantic characterization of rational closure: from propositional logic to description logics ⋮ Preferential accessibility and preferred worlds ⋮ From KLM-style conditionals to defeasible modalities, and back ⋮ A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure ⋮ Enhancing context knowledge repositories with justifiable exceptions ⋮ Decidability of Circumscribed Description Logics Revisited ⋮ Contextual rational closure for defeasible \(\mathcal{ALC} \) ⋮ On rational entailment for propositional typicality logic ⋮ A reconstruction of multipreference closure ⋮ Introducing Role Defeasibility in Description Logics ⋮ Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure ⋮ Strong inconsistency ⋮ Rational closure for all description logics ⋮ Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) ⋮ Typicalities and probabilities of exceptions in nonmotonic description logics