Rational Closure for Defeasible Description Logics
From MaRDI portal
Publication:4930756
DOI10.1007/978-3-642-15675-5_9zbMath1306.68187WikidataQ58049249 ScholiaQ58049249MaRDI QIDQ4930756
Umberto Straccia, Giovanni Casini
Publication date: 1 October 2010
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15675-5_9
Related Items
ASP for minimal entailment in a rational extension of SROEL, Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical 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, Reasoning on with Defeasibility in ASP, Situated conditional reasoning, Preferences in artificial intelligence, Data repair of inconsistent nonmonotonic description logic programs, Generalized fuzzy rough description logics, Semantic characterization of rational closure: from propositional logic to description logics, A note on a description logic of concept and role typicality for defeasible reasoning over ontologies, Preferential accessibility and preferred worlds, Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics, Enhancing context knowledge repositories with justifiable exceptions, A reconstruction of multipreference closure, 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, Strong inconsistency, Rational closure for all description logics, Typicalities and probabilities of exceptions in nonmotonic description logics, On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\), Preferential Reasoning for Modal Logics, Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis, Introducing Role Defeasibility in Description Logics, A Minimal Model Semantics for Nonmonotonic Reasoning, A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$