Extending Fuzzy Description Logics for the Semantic Web

A poster presentation written by Giorgos Stoilos and Giorgos Stamou. It was presented at the ESWC2007. It is about Fuzzy Description Logics, Reduction to Crisp DLs, Fuzzy SROIQ and Fuzzy OWL 1.1

[edit] Abstract

Fuzzy Description Logics (Fuzzy DLs) and fuzzy OWL have been proposed as languages able to represent and reason about imprecise and vague knowledge and information. Such extensions have gained considerable attention the last couple of years since on the one hand they are pivotal for applications that are inherently imprecise, like multimedia analysis and retrieval, geospatial applications and more, while on the other hand they can be applied to Semantic Web applications, like querying with preferences, modelling levels of trust and proof and more. In the current paper we extend the current state-of-the-art on fuzzy extensions to Semantic Web languages by presenting the syntax and semantics of the fuzzy-SROIQ(D) DL as well as the abstract, XML syntax and semantics of a fuzzy extension to OWL 1.1. Moreover, we provide reasoning support for a fuzzy version of fuzzy-SROIQ (SROIQ(D) without datatypes) by extending well-known reduction techniques of fuzzy DLs to classical DLs for the additional axioms and constructors of fuzzy-SROIQ and we study the reduction of fuzzy OWL 1.1 to fuzzy-SROIQ(D).

This data has been imported from the ESWC2007 RDF