Introducing role defeasibility in description logics
From MaRDI portal
Recommendations
Cites work
- A non-monotonic description logic for reasoning about typicality
- A propositional typicality logic for extending rational consequence
- Conditional logics of normality: A modal approach
- Defeasible inclusions in low-complexity DLs
- Description logics of minimal knowledge and negation as failure
- Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
- From KLM-style conditionals to defeasible modalities, and back
- scientific article; zbMATH DE number 6003856 (Why is no real title available?)
- scientific article; zbMATH DE number 1947734 (Why is no real title available?)
- Knowledge means `all', belief means `most'
- Nonmonotonic reasoning, preferential models and cumulative logics
- On the possibility theory-based semantics for logics of preference
- On vague notions and modalities: a modular approach
- Possibilistic reasoning -- a mini-survey and uniform semantics
- Preferential Description Logics
- PTL: a propositional typicality logic
- Rational Closure for Defeasible Description Logics
- Semantic characterization of rational closure: from propositional logic to description logics
- The complexity of circumscription in DLs
- The Description Logic Handbook
- What does a conditional knowledge base entail?
Cited in
(12)- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Rationality and context in defeasible subsumption
- 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
- Preferential tableaux for contextual defeasible \(\mathcal{ALC}\)
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- On rational entailment for propositional typicality logic
- scientific article; zbMATH DE number 1947734 (Why is no real title available?)
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
- From KLM-style conditionals to defeasible modalities, and back
- Reasoning on with Defeasibility in ASP
This page was built for publication: Introducing role defeasibility in description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2835870)
