ARIN – KR Practical 2

1. OWL & Protégé ARIN – KR Practical 2 Suresh Manandhar; Dimitar Kazakov

2. Lets build a family ontology S1: Each person is either Male or Female S2: You cannot be both Male and Female • UnionOfimposes stronger constraint compared to using subClassOf

3. Instructions • Start Protégé and add the following knowledge to a new DB on families:

4. S3: Parent is Person with a Child • equivalentClassimposes stronger constraint compared to using subClassOf

5. S4: Mother is Parent and Female. Father is Parent and Male.

6. S5: A person is either Dead or Alive. S6: You cannot be Dead and Alive at the same time.

7. S7: hasParent and hasChild are inverses of each other. • Remember from MFCS: • (x,y) ∈ R implies (y,x) ∈ R-1 • Thus: • (x,y) ∈ hasParentimplies (y,x) ∈ hasChild

8. S8: Orphan is Person whole Parents are all Dead.

9. S9: My Parents are my Ancestors and my Parent’s Ancestors are my Ancestors too. equivalently S9: Ancestor is a transitive relation over Parent. • The first statement states: “Every parent is an ancestor”

10. S10: A childless person does not have any children. S11: A big family person is someone with at least 4 children.

11. S12: Each person has a first name and a last name (both strings) .

12. Individuals • John Smith is a male person • Thomas Smith and Jack Smith are male persons • Jenny Smith, Rosie Smith and Jessica Smith are female persons • John Smith has the following children: Thomas Smith, Rosie Smith, Jessica Smith and Jack Smith • Jenny Smith has the following children: Thomas Smith, Rosie Smith, Jessica Smith and Jack Smith

13. Still hungry for work? • Revisit the Protégé tutorial used in the lectures: http://130.88.198.11/tutorials/protegeowltutorial/resources/ProtegeOWLTutorialP3_v1_0.pdf • …and compare your work with the snapshots of the pizza database mypizza[1-5].* in /n/course/arin/2013/ Well done!