OWL2.0 Primer Part02

667 views
516 views

Published on

Introduction of OWL2.0 Primer, a presentation in lab seminar of Intelligent Web Business Lab : http://smartlab.yonsei.ac.kr/

Published in: Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
667
On SlideShare
0
From Embeds
0
Number of Embeds
167
Actions
Shares
0
Downloads
13
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

OWL2.0 Primer Part02

  1. 1. OWL 2.0 Primer
  2. 2. OWL2.0 primer 2 Protege4.1_beta
  3. 3.  Contents  Advanced Class Relationships  Advanced Use of Properties  Advanced Use of Datatypes 3OWL2.0 primer
  4. 4.  Complex Classes Woman  EquivalentClasses( :Mother ObjectIntersectionOf( :Woman :Parent ) ) 4 Parent OWL2.0 primer Mother
  5. 5.  Complex Classes  EquivalentClasses( :Parent ObjectUnionOf( :Mother :Father ) ) OWL2.0 primer 5 Mother FatherParent
  6. 6.  Complex Classes  EquivalentClasses( :ChildlessPerson ObjectIntersectionOf( :Person ObjectComplementOf( :Parent ) ) OWL2.0 primer 6 Parent
  7. 7.  Property Restrictions  Existential quantification Every instance of Parent has at least one children OWL2.0 primer 7  EquivalentClasses( :Parent ObjectSomeValuesFrom ( :hasChild :Person ) )
  8. 8.  Property Restrictions  Universal quantification A Happy person exactly if all their children are Happy person. OWL2.0 primer 8  EquivalentClasses( :HappyPerson ObjectAllValuesFrom ( :hasChild :HappyPerson ) )
  9. 9.  Property Restrictions  Property restrictions can also be used to describe classes of individuals that are related to one particular individual. OWL2.0 primer 9  EquivalentClasses( :JohnsChildren ObjectHasValue ( :hasParent :John ) )
  10. 10.  Property Restrictions  As a special case of individuals being interlinked by properties, an individual might be linked to itself. OWL2.0 primer 10  EquivalentClasses( :NarcisticPerson ObjectHasSelf ( :loves ) )
  11. 11.  John has at most four children who are themselves parents OWL2.0 primer 11  Property Restrictions  ClassAssertion( ObjectMaxCardinality( 4 :hasChild :Parent ) :John)
  12. 12.  John has at least two children who are parents OWL2.0 primer 12  Property Restrictions  ClassAssertion( ObjectMinCardinality( 2 :hasChild :Parent ) :John)  John has three children who are parents  ClassAssertion( ObjectExactCardinality( 3 :hasChild :Parent ) :John)
  13. 13.  Enumeration of Individuals OWL2.0 primer 13  Bill, John and Mary are the only members of MyBirthdayGuests.  EquivalentClasses( :MyBirthdayGuests ObjectOneOf( :Bill :John :Mary ) )
  14. 14.  Contents  Advanced Class Relationships  Advanced Use of Properties  Advanced Use of Datatypes 14OWL2.0 primer
  15. 15.  Property Characteristics  A is linked to B by hasChild property, B and A also interlinked by the hasParent property. OWL2.0 primer 15  InverseObjectProperties( :hasParent :hasChild )
  16. 16.  Property Characteristics  In some cases, a property and its inverse coincide, or in other words, the direction of a property doesn’t matter. OWL2.0 primer 16  SymmetricObjectProperty( :hasSpouse )  A property can also be asymmetric meaning that if it connects A with B it never connects B with A.  AsymmetricObjectProperty( :hasChild )
  17. 17.  Property Characteristics  Two properties are disjoint if there are no two individuals that are interlinked by both properties. OWL2.0 primer 17  DisjointObjectProperties( :hasParent :hasSpouse )
  18. 18.  Property Characteristics  Properties can be reflexive: such a property relates everything to itself. OWL2.0 primer 18  ReflexiveObjectProperty( :hasRelative )  Properties can also be irreflexive, meaning that no individual can be related to itself by such a role.  IrreflexiveObjectProperty( :parentOf )
  19. 19.  Property Characteristics  Every individual can be linked by the hasHusband property to at most one other individual. OWL2.0 primer 19  FunctionalObjectProperty( :hasHusband)  A transitive property interlinks two individuals A and C whenever it interlinks A with B and B with C for some individual B.  TransitiveObjectProperty( :hasAncestor )
  20. 20.  Property Chains  A hasGrandparent C if A hasParent B, B hasParent C OWL2.0 primer 20  SubObjectPropertyOf( ObjectPropertyChain( :hasParent :hasParent) :hasGrandparent )
  21. 21.  Keys  Each named instance of the class expression is uniquely identified by the set of values which these properties attain in relation to the instance. OWL2.0 primer 21  HasKey( :Person () ( :hasSSN ) )
  22. 22.  Contents  Advanced Class Relationships  Advanced Use of Properties  Advanced Use of Datatypes 22OWL2.0 primer
  23. 23.  Advanced Use of Datatypes  It is possible to express and define new datatypes by constraining or combining to.  Define a new datatype for a person’s age by constraining the datatype integer to values between 0 and 150. OWL2.0 primer 23  DatatypeDefinition( :personAge DatatypeRestriction( xsd:integer xsd:minInclusive “0”^^xsd:integer xsd:maxInclusive “150”^^xsd:integer ) )
  24. 24.  Advanced Use of Datatypes  Datatypes can be combined just like classes by complement, intersection and union.  Define the datatype majorAge by excluding all data values of minorAge from personAge. OWL2.0 primer 24  DatatypeDefinition( :majorAge DatatypeIntersectionOf( :personAge DateComplementOf( :minorAge ) ) )
  25. 25.  Advanced Use of Datatypes  A new datatype can be generated by just enumerating the data values it contains. OWL2.0 primer 25  DatatypeDefinition( :toddlerAge DataOneOf( “1”^^xsd:integer “2”^^xsd:integer ) )
  26. 26.  Advanced Use of Datatypes  We can express person has only one age by characterizing the hasAge datatype property as functional. OWL2.0 primer 26  FunctionalDataProperty( :hasAge )
  27. 27.  Advanced Use of Datatypes OWL2.0 primer 27  New Classes can be defined by restrictions on datatype properties.  SubClassOf( :Teenager DataSomeValuesFrom( :hasAge DatatypeRestriction( :xsd:integer xsd:minExclusive “12”^^xsd:integer xsd:maxInclusive “19”^^xsd:integer ) ) )
  28. 28. OWL2.0 primer 28

×