On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm

DOI10.1007/978-3-642-24364-6_5zbMath1348.68236OpenAlexW1860155895MaRDI QIDQ3172882

Franz Baader, Rafael Peñaloza

Publication date: 7 October 2011

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10281/257917

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Decidability of theories and sets of sentences (03B25)

Related Items (12)

UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics ⋮ Reasoning in fuzzy description logics using automata ⋮ The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm ⋮ On decidability of concept satisfiability in description logic with product semantics ⋮ Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ All About Fuzzy Description Logics and Applications ⋮ Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics ⋮ 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

• KL-ONE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the failure of the finite model property in some fuzzy description logics
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• On the structure of semi-groups on a compact manifold with boundary
• Fuzzy description logics under Gödel semantics
• Fuzzy description logics and \(t\)-norm based fuzzy logics
• Fuzzy description logics with general t-norms and datatypes
• Making fuzzy description logic more general
• A variant of a recursively unsolvable problem
• An overview of tableau algorithms for description logics

This page was built for publication: On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm