Rational closure for all description logics

DOI10.1016/J.ARTINT.2019.04.001MaRDI QIDQ2321316zbMATH OpenOpenAlexWikidataFDO

Authors P. A. Bonatti

Publication date 28 August 2019

Published in Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

rational closuredisjoint union model propertystable rankings

Mathematics Subject Classification ID

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

Recommendations

• Rational Closure for Defeasible Description Logics
• Semantic characterization of rational closure: from propositional logic to description logics
• Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆
• Relevant closure: a new form of defeasible reasoning for description logics
• An adaptive logic for rational closure
• Practical reasoning for very expressive description logics
• Reasoning in Description Logics: Basics, Extensions, and Relatives
• scientific article; zbMATH DE number 1531967
• Reasoning in expressive description logics
• Publication:4938424

Cites work

• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• A Minimal Model Semantics for Nonmonotonic Reasoning
• A non-monotonic description logic for reasoning about typicality
• A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
• ASP for minimal entailment in a rational extension of SROEL
• Defeasible inheritance-based description logics
• Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure
• Description logics of minimal knowledge and negation as failure
• Expressive probabilistic description logics
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
• Preferential Description Logics
• Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
• Rational Closure for Defeasible Description Logics
• Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
• Semantic characterization of rational closure: from propositional logic to description logics
• The complexity of circumscription in DLs
• The strong exponential hierarchy collapses
• Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆
• What does a conditional knowledge base entail?

Cited in

(15)

• Semantic characterization of rational closure: from propositional logic to description logics
• Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure
• Relevant closure: a new form of defeasible reasoning for description logics
• An adaptive logic for rational closure
• Reasoning about Multiple Aspects in Rational Closure for DLs
• An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
• Situated conditional reasoning
• Rational Closure for Defeasible Description Logics
• A reconstruction of multipreference closure
• Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆
• Defeasible RDFS via rational closure
• Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
• Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
• Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models
• Rational closure extension in SPO-representable inductive inference operators

This page was built for publication: Rational closure for all description logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2321316)