
Chapter 10
Fuzzy OWL
10.1 Introduction
In Chapter 4, we have introduced the Web Ontology Language OWL [338]
and its successor OWL 2 [101, 340], which together with RDFS (see Chapter 3)
have become the most popular Semantic Web representation formalisms. We
have also shown their relationship with the Description Logics family of logics.
The basic ingredients are the descriptions of classes, properties, and their
instances, such as
• a:C, such as a:Person u ∀hasChild.Femal, meaning that individual a is an
instance of concept/class C (here C is seen as a unary predicate);
• (a, b):R, such as (tom, mary):hasChild, meaning that the pair of individ-
uals ha, ...