OWL Formal Semantics 209
Exercise 5. 4 Translate the knowledge base
Human v ∃hasMother.Human
∃hasMother.(∃hasMother.Human) v Grandchild
Human(anupriyaAnkolekar)
into RDFS syntax.
Exercise 5. 5 Validate the logical inferences drawn in Fig. 4.11 by arguing
with extensional semantics.
Exercise 5. 6 Consider the two RDFS triples
r rdfs:domain B . and A rdfs:subClassOf B .
Understood as part of an OWL knowledge base, they can be expressed as
B v ∀r.> and A v B.
Give a triple which is RDFS-entailed by the two given triples, but which
cannot be derived from the OWL DL semantics.
Furthermore, give an OWL DL statement which is a logical consequence of
the two OWL statements but cannot be derived using the RDFS semantics.
Exercise 5. 7 Show using the ALC tableaux