Abstract-In this paper we present fuzzyDL, an expressive fuzzy Description Logic reasoner. We present its salient features, including some novel concept constructs and queries, and examples of use cases: matchmaking and fuzzy control.

The need to deal with vague information in Semantic Web languages is rising in importance and, thus, calls for a standard way to represent such information. We may address this issue by either extending current Semantic Web languages to cope with vagueness, or by providing a procedure to represent such information within current standard languages and tools. In this work, we follow the latter approach, by identifying the syntactic differences that a fuzzy ontology language has to cope with, and by proposing a concrete methodology to represent fuzzy ontologies using OWL 2 annotation properties. We also report on the prototypical implementations. $ This paper is a revised and considerably extended version of "Representing Fuzzy Ontologies in OWL 2", published in the

a b s t r a c tClassical ontologies are not suitable to represent vague pieces of information, which has lead to the birth of Fuzzy Description Logics as an appropriate formalism to represent this type of knowledge. Different families of fuzzy operators lead to Fuzzy Description Logics with different properties. This paper studies Fuzzy Description Logics under a semantics given by the Gödel family of fuzzy operators. We 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. Additionally, we show how to represent some types of concept and role modifiers.

No abstract

No abstract