
Web Ontology Language OWL 69
Example 15 ([410]). Suppose we have the following information about hotels
and conferences.
Accommodation v ∃HasALoc
Accommodation v ∃HasAPrice
Conference v ∃HasCLoc
Hotel v Accommodation
Hotel? v Accommodation
Hotel ? ? v Accommodation
.
.
.
.
.
.
.
.
.
Hotel ? ? ? ?? v Accommodation
HasALoc
AID HasLoc
a1 hl1
a2 hl2
.
.
.
.
.
.
HasCLoc
ConfID HasLoc
c1 cl1
c2 cl2
.
.
.
.
.
.
HasHPrice
AID Price
a1 150
a2 200
.
.
.
.
.
.
We may ask to find accommodations, their location, and price. The query may
be expressed as
q(a, hl, p) ←Accomodation(a), HasHLoc(a, hl), HasHPrice(a, p) .
Then the following is the set of query rewritings r(q, T ):
q(a, hl, p) ← Accomodation(a),