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

1. OWL 2.0 Primer

2. OWL2.0 primer 2
Protege4.1_beta

3.  Contents
 Advanced Class Relationships
 Advanced Use of Properties
 Advanced Use of Datatypes
3OWL2.0 primer

4.  Complex Classes
Woman
 EquivalentClasses(
:Mother
ObjectIntersectionOf( :Woman :Parent )
)
4
Parent
OWL2.0 primer
Mother

5.  Complex Classes
 EquivalentClasses(
:Parent
ObjectUnionOf( :Mother :Father )
)
OWL2.0 primer 5
Mother FatherParent

6.  Complex Classes
 EquivalentClasses(
:ChildlessPerson
ObjectIntersectionOf(
:Person
ObjectComplementOf( :Parent )
)
OWL2.0 primer 6
Parent

7.  Property Restrictions
 Existential quantification
Every instance of Parent has at least one children
OWL2.0 primer 7
 EquivalentClasses(
:Parent
ObjectSomeValuesFrom ( :hasChild :Person )
)

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.  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.  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.  John has at most four children who are
themselves parents
OWL2.0 primer 11
 Property Restrictions
 ClassAssertion(
ObjectMaxCardinality( 4 :hasChild :Parent )
:John)

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.  Enumeration of Individuals
OWL2.0 primer 13
 Bill, John and Mary are the only members of
MyBirthdayGuests.
 EquivalentClasses(
:MyBirthdayGuests
ObjectOneOf( :Bill :John :Mary )
)

14.  Contents
 Advanced Class Relationships
 Advanced Use of Properties
 Advanced Use of Datatypes
14OWL2.0 primer

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.  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.  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.  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.  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.  Property Chains
 A hasGrandparent C if A hasParent B, B
hasParent C
OWL2.0 primer 20
 SubObjectPropertyOf(
ObjectPropertyChain( :hasParent :hasParent)
:hasGrandparent
)

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.  Contents
 Advanced Class Relationships
 Advanced Use of Properties
 Advanced Use of Datatypes
22OWL2.0 primer

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.  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.  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.  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.  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. OWL2.0 primer 28