Part II: OWL - Foundations of Semantic Web Technologies
Part II: OWL - Foundations of Semantic Web Technologies
Part II: OWL - Foundations of Semantic Web Technologies
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Expressivity Examples: Rules in <strong>OWL</strong><br />
dislikes(x,z) ∧ Dish(y) ∧ contains(y,z) → dislikes(x,y)<br />
Dish ≡ ∃dish.Self<br />
dislikes o contains – o dish v dislikes<br />
worksAt(x,y) ∧ University(y) ∧ supervises(x,z) ∧ PhDStudent(z)<br />
→ pr<strong>of</strong>essorOf(x,z)<br />
∃worksAt.University ≡ ∃worksAtUniversity.Self<br />
PhDStudent ≡ ∃phDStudent.Self<br />
worksAtUniversity o supervises o phDStudent v pr<strong>of</strong>essorOf<br />
Basic requirement for expressibility <strong>of</strong> rules in <strong>OWL</strong> 2:<br />
tree-shapedness <strong>of</strong> rule bodies<br />
For more on this, see<br />
[Description Logic Rules] and [ELP].<br />
33