Defeasible inheritance-based description logics
From MaRDI portal
Publication:2865009
DOI10.1613/JAIR.4062zbMATH Open1360.68794OpenAlexW2295766998WikidataQ129493382 ScholiaQ129493382MaRDI QIDQ2865009FDOQ2865009
Authors: Giovanni Casini, Umberto Straccia 
Publication date: 28 November 2013
Published in: The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1613/jair.4062
Recommendations
- Rational Closure for Defeasible Description Logics
- Relevant closure: a new form of defeasible reasoning for description logics
- A KLM perspective on defeasible reasoning for description logics
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
Cited In (22)
- Preferential reasoning for modal logics
- Query answering in circumscribed OWL2 profiles
- Semantic characterization of rational closure: from propositional logic to description logics
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
- Typicalities and probabilities of exceptions in nonmotonic description logics
- On rational entailment for propositional typicality logic
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
- An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
- Decidability of Circumscribed Description Logics Revisited
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure
- Situated conditional reasoning
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- A reconstruction of multipreference closure
- Defeasible inheritance with doubt index and its axiomatic characterization
- Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- Rational closure for all description logics
- Defeasible RDFS via rational closure
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
- Classical algorithms for reasoning and explanation in description logics
This page was built for publication: Defeasible inheritance-based description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2865009)
