On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
From MaRDI portal
Publication:2510175
DOI10.1016/j.ins.2012.11.019zbMath1293.68255OpenAlexW2106037588WikidataQ58049222 ScholiaQ58049222MaRDI QIDQ2510175
Marco Cerami, Umberto Straccia
Publication date: 1 August 2014
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2012.11.019
Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items (20)
The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics ⋮ Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics ⋮ Reasoning in fuzzy description logics using automata ⋮ The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm ⋮ Fuzzy OWL-Boost: learning fuzzy concept inclusions via real-valued boosting ⋮ On decidability of concept satisfiability in description logic with product semantics ⋮ Similarity-based relaxed instance queries ⋮ Optimising fuzzy description logic reasoners with general concept inclusion absorption ⋮ Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics ⋮ All About Fuzzy Description Logics and Applications ⋮ Introduction ⋮ On finitely-valued fuzzy description logics ⋮ Consistency reasoning in lattice-based fuzzy description logics ⋮ Complexity of fuzzy answer set programming under Łukasiewicz semantics ⋮ 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 ⋮ On transitive modal many-valued logics ⋮ 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 ⋮ Inconsistency-tolerant reasoning with OWL DL
Uses Software
This page was built for publication: On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
