Defeasible Inheritance-Based Description Logics

DOI10.1613/jair.4062zbMath1360.68794OpenAlexW2295766998WikidataQ129493382 ScholiaQ129493382MaRDI QIDQ2865009

Umberto Straccia, Giovanni Casini

Publication date: 28 November 2013

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

Full work available at URL: https://doi.org/10.1613/jair.4062

Mathematics Subject Classification ID

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

Related Items (18)

Query answering in circumscribed OWL2 profiles ⋮ An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases ⋮ A note on a description logic of concept and role typicality for defeasible reasoning over ontologies ⋮ On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\) ⋮ Semantic characterization of rational closure: from propositional logic to description logics ⋮ Situated conditional reasoning ⋮ Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics ⋮ A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure ⋮ An ASP approach for reasoning in a concept-aware multipreferential lightweight DL ⋮ 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 ⋮ Preferential Reasoning for Modal Logics ⋮ Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure ⋮ 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

This page was built for publication: Defeasible Inheritance-Based Description Logics