Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
type: Item
instance of: scholarly article
title: Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
zbMATH Open document ID: 1209.68519
author: Fernando Bobillo
author: Umberto Straccia
published in: Information Sciences
publication date: 2011-03-28T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 5870830
zbMATH Keywords: fuzzy description logics
zbMATH Keywords: fuzzy ontologies
zbMATH Keywords: fuzzy logic
zbMATH Keywords: logic for the semantic web
describes a project that uses: Fuzzydl
MaRDI profile type: Publication
full work available at URL: j.ins.2010.10.020
OpenAlex ID: W2125067149
Wikidata QID: Q58049241
cites work: Q4406531
cites work: Mechanizing Mathematical Reasoning
cites work: CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES
cites work: Fuzzy description logics under Gödel semantics
cites work: Q3533554
cites work: Fuzzy description logics with general t-norms and datatypes
cites work: Supporting Fuzzy Rough Sets in Fuzzy Description Logics
cites work: Algebraic foundations of many-valued reasoning
cites work: Q4460674
cites work: Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations
cites work: Q3604278
cites work: Q4789457
cites work: Making fuzzy description logic more general
cites work: Metamathematics of fuzzy logic
cites work: Reasoning within intuitionistic fuzzy rough description logics
cites work: Reasoning within expressive fuzzy rough description logics
cites work: Reasoning with rough description logics: An approximate concepts approach
cites work: Perspectives on ontology-based querying
cites work: Reasoning Technique for Extended Fuzzy $\cal{ALCQ}$
cites work: On the structure of semi-groups on a compact manifold with boundary
cites work: Which logic is the real fuzzy logic?
cites work: Q5478209
cites work: Attributive concept descriptions with complements
cites work: Q3624094
cites work: DESCRIPTION LOGICS OVER LATTICES
cites work: Reasoning within fuzzy description logics
cites work: Logics in Artificial Intelligence
cites work: Q4012245
DOI: 10.1016/J.INS.2010.10.020
Recommended article: On Finitely Valued Fuzzy Description Logics: The Łukasiewicz Case
Recommended article: On finitely-valued fuzzy description logics
Recommended article: Reasoning and Quantification in Fuzzy Description Logics
Recommended article: Q3624094
Recommended article: Reasoning within intuitionistic fuzzy rough description logics
Recommended article: Reasoning within expressive fuzzy rough description logics
Recommended article: Reasoning within fuzzy description logics
description: scientific article; zbMATH DE number 5870830