Semantic characterization of rational closure: from propositional logic to description logics
From MaRDI portal
Recommendations
- Rational closure for all description logics
- Towards a Rational Closure for Expressive Description Logics: the Case of ๐ฎ๐ฝ๐พ๐
- Rational Closure for Defeasible Description Logics
- Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure
- Relevant closure: a new form of defeasible reasoning for description logics
Cites work
- scientific article; zbMATH DE number 140398 (Why is no real title available?)
- A Minimal Model Semantics for Nonmonotonic Reasoning
- A non-monotonic description logic for reasoning about typicality
- A nonmonotonic extension of KLM preferential logic P
- A note on the rational closure of knowledge bases with both positive and negative knowledge
- Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
- Circumscription - a form of non-monotonic reasoning
- Conditional logics of normality: A modal approach
- Counterfactuals.
- Defeasible inheritance-based description logics
- Description logics of minimal knowledge and negation as failure
- Nonmonotonic reasoning, preferential models and cumulative logics
- Plausibility measures and default reasoning
- Practical reasoning for very expressive description logics
- Preferential reasoning in the perspective of Poole default logic
- Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
- Rational Closure for Defeasible Description Logics
- Reconciling description logics and rules
- Semantic characterization of rational closure: from propositional logic to description logics
- The complexity of circumscription in DLs
- What does a conditional knowledge base entail?
Cited in
(35)- Reasoning about Multiple Aspects in Rational Closure for DLs
- Situated conditional reasoning
- Introducing role defeasibility in description logics
- Characterizing multipreference closure with system W
- On combining ontologies and rules
- Weighted conditional \(\mathscr{EL}^\bot\) knowledge bases with integer weights: an ASP approach
- A reconstruction of multipreference closure
- Typicalities and probabilities of exceptions in nonmotonic description logics
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- From KLM-style conditionals to defeasible modalities, and back
- Rational closure extension in SPO-representable inductive inference operators
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
- Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
- Towards a Rational Closure for Expressive Description Logics: the Case of ๐ฎ๐ฝ๐พ๐
- Query answering in circumscribed OWL2 profiles
- Defeasible RDFS via rational closure
- Rational Closure for Defeasible Description Logics
- On rational entailment for propositional typicality logic
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
- A preferential interpretation of multilayer perceptrons in a conditional logic with typicality
- Non-distributive description logic
- Rational closure for all description logics
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- Enhancing context knowledge repositories with justifiable exceptions
- A Minimal Model Semantics for Nonmonotonic Reasoning
- 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
- Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure
- Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
- Semantic characterization of rational closure: from propositional logic to description logics
- Preferential accessibility and preferred worlds
- On the KLM properties of a fuzzy DL with typicality
- ASP for minimal entailment in a rational extension of SROEL
This page was built for publication: Semantic characterization of rational closure: from propositional logic to description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q898736)
