Consistency reasoning in lattice-based fuzzy description logics
type: Item
instance of: scholarly article
title: Consistency reasoning in lattice-based fuzzy description logics
zbMATH Open document ID: 1433.03064
author: Stefan Borgwardt
author: Rafael Peñaloza
published in: International Journal of Approximate Reasoning
publication date: 2014-10-23T00:00:00Z
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T37
zbMATH DE Number: 6360937
zbMATH Keywords: fuzzy description logics
zbMATH Keywords: residuated lattices
zbMATH Keywords: triangular norms
zbMATH Keywords: tableau algorithm
describes a project that uses: KL-ONE
MaRDI profile type: Publication
full work available at URL: j.ijar.2013.07.006
OpenAlex ID: W2150198624
cites work: The Description Logic Handbook
cites work: An overview of tableau algorithms for description logics
cites work: Fuzzy sets
cites work: Q4012245
cites work: Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics
cites work: DESCRIPTION LOGICS OVER LATTICES
cites work: L-fuzzy sets
cites work: Making fuzzy description logic more general
cites work: A description logic with transitive and inverse roles and role hierarchies
cites work: Fuzzy description logics under Gödel semantics
cites work: JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
cites work: How Fuzzy Is My Fuzzy Description Logic?
cites work: On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
cites work: Q4308447
cites work: Metamathematics of fuzzy logic
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Triangular norms
cites work: On the structure of semi-groups on a compact manifold with boundary
cites work: Q3858244
cites work: Optimized Reasoning in Description Logics Using Hypertableaux
cites work: Consistency checking reduced to satisfiability of concepts in terminological systems
cites work: Q4360106
cites work: Reasoning within fuzzy description logics
cites work: Fuzzy description logics and \(t\)-norm based fuzzy logics
cites work: Q3533554
cites work: A formal framework for description logics with uncertainty
cites work: On the failure of the finite model property in some fuzzy description logics
cites work: Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
DOI: 10.1016/J.IJAR.2013.07.006
description: scientific article; zbMATH DE number 6360937