Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models
type: Item
instance of: scholarly article
title: Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models
DOI: 10.1007/978-3-031-43619-2_36
author: Igor de Camargo e Souza Câmara
author: Anni-Yasmin Turhan
publication date: 2024-05-29T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7855143
zbMATH Keywords: description logics
zbMATH Keywords: defeasible logics
zbMATH Keywords: nonmonotonic reasoning
MaRDI profile type: Publication
cites work: An Introduction to Description Logic
cites work: Rational closure for all description logics
cites work: Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
cites work: Rational Closure for Defeasible Description Logics
cites work: A non-monotonic description logic for reasoning about typicality
cites work: ALC + T: a Preferential Extension of Description Logics
cites work: Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\)
cites work: Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
cites work: A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
description: scientific article; zbMATH DE number 7855143