On the failure of the finite model property in some fuzzy description logics

DOI10.1016/J.FSS.2011.02.012zbMATH Open1231.03025DBLPjournals/fss/BobilloBS11arXiv1003.1588OpenAlexW2101556477WikidataQ58049240 ScholiaQ58049240MaRDI QIDQ549343FDOQ549343

Authors: Fernando Bobillo, Félix Bou, Umberto Straccia 

Publication date: 15 July 2011

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Abstract: Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning with) structured knowledge affected by vagueness. Although most of the not very expressive crisp DLs, such as ALC, enjoy the Finite Model Property (FMP), this is not the case once we move into the fuzzy case. In this paper we show that if we allow arbitrary knowledge bases, then the fuzzy DLs ALC under Lukasiewicz and Product fuzzy logics do not verify the FMP even if we restrict to witnessed models; in other words, finite satisfiability and witnessed satisfiability are different for arbitrary knowledge bases. The aim of this paper is to point out the failure of FMP because it affects several algorithms published in the literature for reasoning under fuzzy ALC.

Full work available at URL: https://arxiv.org/abs/1003.1588

Recommendations

• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
• Finite fuzzy description logics and crisp representations
• On finitely valued fuzzy description logics: the Łukasiewicz case
• How fuzzy is my fuzzy description logic?
• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm

zbMATH Keywords

satisfiabilityfuzzy logicfuzzy ontologiesfinite model propertylogic for the semantic webfuzzy description logics

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27)

Cites Work

• Fuzzy sets
• Modal logic
• Metamathematics of fuzzy logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Attributive concept descriptions with complements
• Fuzzy description logics with general t-norms and datatypes
• Making fuzzy description logic more general
• Reasoning within fuzzy description logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• On witnessed models in fuzzy logic
• Mechanizing Mathematical Reasoning
• Fuzzy description logics and \(t\)-norm based fuzzy logics
• Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
• Reasoning and revision in hybrid representation systems
• The complexity of McNaughton functions of one variable

Cited In (14)

• MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
• On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
• On the undecidability of fuzzy description logics with GCIs and product t-norm
• Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
• A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency
• The limits of decidability in fuzzy description logics with general concept inclusions
• Fuzzy description logics and \(t\)-norm based fuzzy logics
• Consistency reasoning in lattice-based fuzzy description logics
• From fuzzy to annotated semantic web languages
• All about fuzzy description logics and applications
• Optimising fuzzy description logic reasoners with general concept inclusion absorption
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
• Complexity of fuzzy answer set programming under Łukasiewicz semantics
• Model checking fuzzy computation tree logic

Uses Software

• Fuzzydl

This page was built for publication: On the failure of the finite model property in some fuzzy description logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549343)