2 Lets build a family ontology S1: Each person is either Male or Female S2: You cannot be both Male and Female UnionOf imposes 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 equivalentClass imposes 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) ∈ hasParent implies (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. S9: Ancestor is a transitive relation over Parent. equivalently 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://188.8.131.52/tutorials/protegeowltutorial/resources/Pr otegeOWLTutorialP3_v1_0.pdf http://184.108.40.206/tutorials/protegeowltutorial/resources/Pr otegeOWLTutorialP3_v1_0.pdf …and compare your work with the snapshots of the pizza database mypizza[1-5].* in /n/course/arin/2013/ Well done!