1 / 13

ARIN – KR Practical 2

OWL & Protégé. ARIN – KR Practical 2. Suresh Manandhar ; Dimitar Kazakov . 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. Instructions.

fleur
Download Presentation

ARIN – KR Practical 2

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  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!

More Related