Finite fuzzy description logics and crisp representations

DOI10.1007/978-3-642-35975-0_6MaRDI QIDQ5507387zbMATH OpenOpenAlexFDO

Authors Fernando Bobillo, Umberto Straccia

Publication date 19 December 2016

Published in Uncertainty Reasoning for the Semantic Web II (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35975-0_6

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Fuzzy description logics with general t-norms and datatypes
• How fuzzy is my fuzzy description logic?
• Fuzzy description logics and \(t\)-norm based fuzzy logics
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm

Cited in

(18)

• Fuzzy description logics with general t-norms and datatypes
• Reasoning in fuzzy description logics using automata
• On similarity in fuzzy description logics
• On the representation of fuzzy rules in terms of crisp rules
• The limits of decidability in fuzzy description logics with general concept inclusions
• How fuzzy is my fuzzy description logic?
• 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
• scientific article; zbMATH DE number 5005394 (Why is no real title available?)
• Some Complexity Results on Fuzzy Description Logics
• Fuzzy description logic programs
• CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES
• On finitely-valued fuzzy description logics
• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
• On the failure of the finite model property in some fuzzy description logics
• Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics
• Fuzzy description logics and \(t\)-norm based fuzzy logics

This page was built for publication: Finite fuzzy description logics and crisp representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5507387)