A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
From MaRDI portal
Publication:1632047
DOI10.1007/s11787-018-0211-xOpenAlexW2892897045WikidataQ129202122 ScholiaQ129202122MaRDI QIDQ1632047
Publication date: 12 December 2018
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-018-0211-x
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Logic prizes \textit{et cætera} ⋮ Contextual rational closure for defeasible \(\mathcal{ALC} \) ⋮ On rational entailment for propositional typicality logic
Cites Work
- Unnamed Item
- Unnamed Item
- 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
- Circumscription - a form of non-monotonic reasoning
- Nonmonotonic reasoning, preferential models and cumulative logics
- What does a conditional knowledge base entail?
- Conditional logics of normality: A modal approach
- Rationality and context in defeasible subsumption
- Preferential accessibility and preferred worlds
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- Introducing Role Defeasibility in Description Logics
- Defeasible Inheritance-Based Description Logics
- PTL: A Propositional Typicality Logic
- Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
- An Introduction to Description Logic
- Min-based possibilisticDL-Lite
- ALC + T: a Preferential Extension of Description Logics
- Preferential Description Logics
- Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
- Reasoning about Typicality in Preferential Description Logics
- 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: A note on a description logic of concept and role typicality for defeasible reasoning over ontologies