On the undecidability of fuzzy description logics with GCIs and product t-norm
From MaRDI portal
Publication:3172882
Recommendations
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
- On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
- How fuzzy is my fuzzy description logic?
- Making fuzzy description logic more general
- Fuzzy description logics with general t-norms and datatypes
Cites work
- scientific article; zbMATH DE number 5356404 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- A variant of a recursively unsolvable problem
- An overview of tableau algorithms for description logics
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Fuzzy description logics under Gödel semantics
- Fuzzy description logics with general t-norms and datatypes
- Making fuzzy description logic more general
- On the failure of the finite model property in some fuzzy description logics
- On the structure of semi-groups on a compact manifold with boundary
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
- Reasoning within fuzzy description logics
Cited in
(14)- Reasoning in fuzzy description logics using automata
- From fuzzy to annotated semantic web languages
- All about fuzzy description logics and applications
- On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
- Reasoning in expressive description logics under infinitely valued Gödel semantics
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
- How fuzzy is my fuzzy description logic?
- On decidability of concept satisfiability in description logic with product semantics
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
- The fuzzy description logic \(\mathsf{G}\)-\({\mathcal{FL}_0}\) with greatest fixed-point semantics
- The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
- The limits of decidability in fuzzy description logics with general concept inclusions
This page was built for publication: On the undecidability of fuzzy description logics with GCIs and product t-norm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172882)
