Fuzzy description logics with general t-norms and datatypes

DOI10.1016/j.fss.2009.03.006zbMath1192.68659WikidataQ58049259 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

zbMATH Keywords

fuzzy logic; fuzzy ontologies; logic for the semantic web; fuzzy description logics

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

Related Items

JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS, Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction, Generalized fuzzy rough description logics, On finitely-valued fuzzy description logics, Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics, Model checking fuzzy computation tree logic, 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}\), Triangular norm based graded convex fuzzy sets, Fuzzy description logics under Gödel semantics, Fuzzy extensions of OWL: logical properties and reduction to 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, 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, On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions, Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics, The limits of decidability in fuzzy description logics with general concept inclusions, The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point 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, On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm

Uses Software

• Fuzzydl

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