188 Foundations of Fuzzy Logic and Semantic Web Languages
Informally, fuzzy DL queries are as for fuzzy RDFS where fuzzy triples are
replaced with fuzzy FOL assertions in which fuzzy variables (taken from an ap-
propriate alphabet and denoted Λ) may occur and where the fuzzy predicates
are either unary (for atoms) or binary (for roles).
To start with, a fuzzy query is of the form
hq(x), Λi ← ∃y∃Λ
0
.ϕ(x, Λ, y, Λ
0
) (10.3)
in which ϕ(x, Λ, y, Λ
0
) is a conjunction (as for the crisp case, we use “,”
as conjunction symbol) of fuzzy unary or binary fuzzy atoms and built-in
predicates, x and Λ are the distinguished variables, y and Λ
0
are the vectors
of non-distinguished variables (existential quantified variables), and x, Λ, y
and Λ
0
are pairwise disjoint. Variable ...