Rational Closure for Defeasible Description Logics
From MaRDI portal
Recommendations
- Rational closure for all description logics
- Relevant closure: a new form of defeasible reasoning for description logics
- Semantic characterization of rational closure: from propositional logic to description logics
- Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure
- A KLM perspective on defeasible reasoning for description logics
- Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆
- An adaptive logic for rational closure
- scientific article; zbMATH DE number 1531967
Cited in
(41)- 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
- Defeasible inheritance-based description logics
- Towards rational closure for fuzzy logic: the case of propositional Gödel logic
- A Minimal Model Semantics for Nonmonotonic Reasoning
- A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\)
- Preferences in artificial intelligence
- Data repair of inconsistent nonmonotonic description logic programs
- Generalized fuzzy rough description logics
- ASP for minimal entailment in a rational extension of SROEL
- Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆
- 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 about Multiple Aspects in Rational Closure for DLs
- Reasoning on with Defeasibility in ASP
- Situated conditional reasoning
- Defeasible RDFS via rational closure
- Concept combination in weighted DL
- Complexity and scalability of defeasible reasoning with typicality in many-valued weighted knowledge bases
- Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models
- A preferential interpretation of multilayer perceptrons in a conditional logic with typicality
- Weighted conditional \(\mathscr{EL}^\bot\) knowledge bases with integer weights: an ASP approach
- Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
- Semantic characterization of rational closure: from propositional logic to description logics
This page was built for publication: Rational Closure for Defeasible Description Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4930756)
