Semantic characterization of rational closure: from propositional logic to description logics

DOI10.1016/j.artint.2015.05.001zbMath1346.68186OpenAlexW229642387WikidataQ58207591 ScholiaQ58207591MaRDI QIDQ898736

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

Publication date: 18 December 2015

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

Full work available at URL: https://doi.org/10.1016/j.artint.2015.05.001

zbMATH Keywords

knowledge representationnonmonotonic reasoningdescription logicsrational closure

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (25)

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 KLM properties of a fuzzy DL with typicality ⋮ A Minimal Model Semantics for Nonmonotonic Reasoning ⋮ On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\) ⋮ ASP for minimal entailment in a rational extension of SROEL ⋮ Semantic characterization of rational closure: from propositional logic to description logics ⋮ Situated conditional reasoning ⋮ Characterizing multipreference closure with system W ⋮ On combining ontologies and rules ⋮ Preferential accessibility and preferred worlds ⋮ From KLM-style conditionals to defeasible modalities, and back ⋮ 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 ⋮ Enhancing context knowledge repositories with justifiable exceptions ⋮ Contextual rational closure for defeasible \(\mathcal{ALC} \) ⋮ On rational entailment for propositional typicality logic ⋮ A reconstruction of multipreference closure ⋮ Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model ⋮ Introducing Role Defeasibility in Description 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

Uses Software

• PreDeLo

Cites Work

• Unnamed Item
• Unnamed Item
• A non-monotonic description logic for reasoning about typicality
• Semantic characterization of rational closure: from propositional logic to description logics
• Preferential reasoning in the perspective of Poole default logic
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Conditional logics of normality: A modal approach
• A note on the rational closure of knowledge bases with both positive and negative knowledge
• Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
• Defeasible Inheritance-Based Description Logics
• A Minimal Model Semantics for Nonmonotonic Reasoning
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• Reconciling description logics and rules
• The Complexity of Circumscription in DLs
• Practical reasoning for very expressive description logics
• Rational Closure for Defeasible Description Logics
• A Nonmonotonic Extension of KLM Preferential Logic P
• Plausibility measures and default reasoning
• Description logics of minimal knowledge and negation as failure

This page was built for publication: Semantic characterization of rational closure: from propositional logic to description logics