A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
type: Item
instance of: scholarly article
title: A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
author: Ivan Varzinczak
published in: Logica Universalis
publication date: 2018-12-12T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 6992795
zbMATH Keywords: description logic
zbMATH Keywords: defeasible reasoning
zbMATH Keywords: typicality
zbMATH Keywords: tableaux
MaRDI profile type: Publication
full work available at URL: s11787-018-0211-x
OpenAlex ID: W2892897045
cites work: The Description Logic Handbook
cites work: An Introduction to Description Logic
cites work: Min-based possibilisticDL-Lite
cites work: Q3408862
cites work: Q3112648
cites work: The Complexity of Circumscription in DLs
cites work: On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
cites work: PTL: A Propositional Typicality Logic
cites work: Q5414676
cites work: Conditional logics of normality: A modal approach
cites work: Introducing Role Defeasibility in Description Logics
cites work: Rationality and context in defeasible subsumption
cites work: From KLM-style conditionals to defeasible modalities, and back
cites work: Preferential accessibility and preferred worlds
cites work: Rational Closure for Defeasible Description Logics
cites work: Defeasible inheritance-based description logics
cites work: Description logics of minimal knowledge and negation as failure
cites work: Preferential Description Logics
cites work: Reasoning about Typicality in Preferential Description Logics
cites work: Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
cites work: ALC + T: a Preferential Extension of Description Logics
cites work: A non-monotonic description logic for reasoning about typicality
cites work: Semantic characterization of rational closure: from propositional logic to description logics
cites work: Q4411719
cites work: Nonmonotonic reasoning, preferential models and cumulative logics
cites work: What does a conditional knowledge base entail?
cites work: Q3113046
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
cites work: Q4012244
Wikidata QID: Q129202122
DOI: 10.1007/S11787-018-0211-X
Recommended article: Introducing Role Defeasibility in Description Logics
Recommended article: A KLM perspective on defeasible reasoning for description logics
Recommended article: A description logic of typicality for conceptual combination
Recommended article: Reasoning about Typicality in Preferential Description Logics
Recommended article: A description logic with concrete domains and a role-forming predicate operator
Recommended article: Reasoning in description logics with typicalities and probabilities of exceptions
Recommended article: A non-monotonic description logic for reasoning about typicality
description: scientific article; zbMATH DE number 6992795