Fuzzy description logics with general t-norms and datatypes
From MaRDI portal
Publication:1043321
DOI10.1016/j.fss.2009.03.006zbMath1192.68659OpenAlexW2152774062WikidataQ58049259 ScholiaQ58049259MaRDI QIDQ1043321
Fernando Bobillo, Umberto Straccia
Publication date: 7 December 2009
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2009.03.006
Related Items
On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm, Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction, 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, On similarity in fuzzy description logics, Optimising fuzzy description logic reasoners with general concept inclusion absorption, Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics, Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\), From Fuzzy to Annotated Semantic Web Languages, All About Fuzzy Description Logics and Applications, Generalized fuzzy rough description logics, On finitely-valued fuzzy description logics, JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS, Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics, Model checking fuzzy computation tree logic, Triangular norm based graded convex fuzzy sets, Fuzzy description logics under Gödel semantics, On the failure of the finite model property in some fuzzy description logics, Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics, MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions, Certain information granule system as a result of sets approximation by fuzzy context, 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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Attributive concept descriptions with complements
- Fuzzy description logics under Gödel semantics
- Logic-based decision support. Mixed integer model formulation
- Metamathematics of fuzzy logic
- Convergence of the (GOP) algorithm for a large class of smooth optimization problems
- Residuated fuzzy logics with an involutive negation
- Making fuzzy description logic more general
- Expressive probabilistic description logics
- Terminological reasoning is inherently intractable
- On witnessed models in fuzzy logic
- CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES
- Practical reasoning for very expressive description logics
- Perspectives on ontology-based querying
- Logics in Artificial Intelligence
- Fuzzy sets
- Mechanizing Mathematical Reasoning
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
