Introducing Role Defeasibility in Description Logics
From MaRDI portal
Publication:2835870
DOI10.1007/978-3-319-48758-8_12zbMath1483.68373OpenAlexW2540254214MaRDI QIDQ2835870
Ivan Varzinczak, Katarina Britz
Publication date: 30 November 2016
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-48758-8_12
Related Items (8)
A note on a description logic of concept and role typicality for defeasible reasoning over ontologies ⋮ Reasoning on with Defeasibility in ASP ⋮ 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 ⋮ Enhancing context knowledge repositories with justifiable exceptions ⋮ Contextual rational closure for defeasible \(\mathcal{ALC} \) ⋮ On rational entailment for propositional typicality logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A non-monotonic description logic for reasoning about typicality
- Semantic characterization of rational closure: from propositional logic to description logics
- Nonmonotonic reasoning, preferential models and cumulative logics
- What does a conditional knowledge base entail?
- Conditional logics of normality: A modal approach
- Possibilistic reasoning -- a mini-survey and uniform semantics
- On the possibility theory-based semantics for logics of preference
- Knowledge Means ‘All’, Belief Means ‘Most’
- PTL: A Propositional Typicality Logic
- Preferential Description Logics
- Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
- On vague notions and modalities: a modular approach
- The Complexity of Circumscription in DLs
- Rational Closure for Defeasible Description Logics
- The Description Logic Handbook
- From KLM-style conditionals to defeasible modalities, and back
- Description logics of minimal knowledge and negation as failure
This page was built for publication: Introducing Role Defeasibility in Description Logics
