On the undecidability of fuzzy description logics with GCIs and product t-norm
From MaRDI portal
Publication:3172882
DOI10.1007/978-3-642-24364-6_5zbMATH Open1348.68236OpenAlexW1860155895MaRDI QIDQ3172882FDOQ3172882
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
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
Knowledge representation (68T30) Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25)
Cites Work
- Title not available (Why is that?)
- A variant of a recursively unsolvable problem
- On the structure of semi-groups on a compact manifold with boundary
- 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?)
- On the failure of the finite model property in some fuzzy description logics
- An overview of tableau algorithms for description logics
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
- Fuzzy description logics under Gödel semantics
- Fuzzy description logics and \(t\)-norm based fuzzy logics
Cited In (12)
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
- Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
- Reasoning in fuzzy description logics using automata
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
- The limits of decidability in fuzzy description logics with general concept inclusions
- On decidability of concept satisfiability in description logic with product semantics
- The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
- All About Fuzzy Description Logics and Applications
- From Fuzzy to Annotated Semantic Web Languages
- The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics
Uses Software
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)
