Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
type: Item
instance of: scholarly article
title: Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
zbMATH Open document ID: 1448.68399
author: Maximilian Pensel
author: Anni-Yasmin Turhan
published in: International Journal of Approximate Reasoning
publication date: 2019-02-20T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 7025879
zbMATH Keywords: description logics
zbMATH Keywords: defeasible reasoning
zbMATH Keywords: subsumption
zbMATH Keywords: instance checking
MaRDI profile type: Publication
full work available at URL: j.ijar.2018.08.005
OpenAlex ID: W2888896672
cites work: Q3112648
cites work: Rational Closure for Defeasible Description Logics
cites work: Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
cites work: Semantic characterization of rational closure: from propositional logic to description logics
cites work: Nonmonotonic reasoning, preferential models and cumulative logics
cites work: Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\)
cites work: Defeasible inheritance-based description logics
cites work: Model theory
cites work: Understanding the complexity of axiom pinpointing in lightweight description logics
cites work: An Introduction to Description Logic
cites work: A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
cites work: Introducing Role Defeasibility in Description Logics
Wikidata QID: Q129330294
DOI: 10.1016/J.IJAR.2018.08.005
Recommended article: Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\)
Recommended article: Reasoning in Description Logics: Basics, Extensions, and Relatives
Recommended article: Q4809039
Recommended article: Reasoning in expressive description logics
Recommended article: Q4514013
Recommended article: A KLM perspective on defeasible reasoning for description logics
Recommended article: Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$
description: scientific article; zbMATH DE number 7025879