Fuzzy description logics under Gödel semantics
Fuzzy description logics under Gödel semantics is a scholarly work by Juan Gómez Romero, Umberto Straccia, and Fernando Bobillo Ortega, published in 2009 in ''International Journal of Approximate Reasoning''. The main subjects of the publication include T-norm fuzzy logics, programming language semantics, description logic, logic programming, programming language, fuzzy logic, Semantic Web, rough set, artificial intelligence, computer science, and mathematics. The authors investigate some logical properties and show the decidability of a fuzzy extension of the logic SROIQ, theoretical basis of the language OWL 1.1, by providing a reasoning preserving procedure to obtain a crisp representation for it.