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

DOI10.1016/j.fss.2011.02.012zbMath1231.03025arXiv1003.1588OpenAlexW2101556477WikidataQ58049240 ScholiaQ58049240MaRDI QIDQ549343

Fernando Bobillo, Félix Bou, Umberto Straccia

Publication date: 15 July 2011

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

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

zbMATH Keywords

fuzzy logicfinite model propertysatisfiabilityfuzzy ontologieslogic for the semantic webfuzzy description logics

Mathematics Subject Classification ID

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

Related Items (12)

On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm ⋮ Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction ⋮ Optimising fuzzy description logic reasoners with general concept inclusion absorption ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ All About Fuzzy Description Logics and Applications ⋮ Consistency reasoning in lattice-based fuzzy description logics ⋮ Complexity of fuzzy answer set programming under Łukasiewicz semantics ⋮ Model checking fuzzy computation tree logic ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions ⋮ The limits of decidability in fuzzy description logics with general concept inclusions ⋮ On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions

Uses Software

• Fuzzydl

Cites Work

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

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