On the failure of the finite model property in some fuzzy description logics
type: Item
instance of: scholarly article
title: On the failure of the finite model property in some fuzzy description logics
zbMATH Open document ID: 1231.03025
author: Fernando Bobillo
author: Félix Bou
author: Umberto Straccia
published in: Fuzzy Sets and Systems
publication date: 2011-07-15T00:00:00Z
full work available at URL: https://arxiv.org/abs/1003.1588
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T37
zbMATH DE Number: 5924619
zbMATH Keywords: fuzzy description logics
zbMATH Keywords: fuzzy ontologies
zbMATH Keywords: fuzzy logic
zbMATH Keywords: logic for the semantic web
zbMATH Keywords: finite model property
zbMATH Keywords: satisfiability
Wikidata QID: Q58049240
describes a project that uses: Fuzzydl
MaRDI profile type: Publication
OpenAlex ID: W2101556477
arXiv ID: 1003.1588
cites work: The complexity of McNaughton functions of one variable
cites work: Q4406531
cites work: Mechanizing Mathematical Reasoning
cites work: Modal logic
cites work: Fuzzy description logics with general t-norms and datatypes
cites work: Fuzzy description logics and \(t\)-norm based fuzzy logics
cites work: Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
cites work: Making fuzzy description logic more general
cites work: Metamathematics of fuzzy logic
cites work: On witnessed models in fuzzy logic
cites work: Reasoning and revision in hybrid representation systems
cites work: Q4012244
cites work: Attributive concept descriptions with complements
cites work: Q5478209
cites work: Reasoning within fuzzy description logics
cites work: Q3533554
cites work: Fuzzy sets
DOI: 10.1016/J.FSS.2011.02.012
DBLP publication ID: journals/fss/BobilloBS11
description: scientific article