Editing OWL Ontologies with Protg

1
Editing OWL Ontologieswith Protégé

• Slides by Holger Knublauch, Stanford University
• Modified by Xi Deng

2
Overview

• Installation of Protégé
• Classes and Properties
• Individuals and Restrictions
• Reasoning with Racer

3
Installation
Bundled in Protégé 3.0 Beta (Full)
1
2
3
4
OWL (in Protégé)

• Classes (Concepts in DL)
• Individuals (Instances in ABox in DL)
• Properties
• ObjectProperties (Roles in DL)
• Link two individuals together
• DatatypeProperties
• Link individuals to primitive
  values(integers, floats, strings, booleans etc)

5
Examples

• Create simple classes
• Hotel, Activity, HotelRating
• Create class hierarchy and set disjoint
• Luxury Hotel, Budget Hotel
• Create class with datatype properties
• hasPhone
• Create an object property
• hasRating
• Create an object property with inverse
• hasActivity
• Hotel Activity
• isOfferedBy

6
Restrictions (Overview)

• Define a condition for property values
• allValuesFrom
• someValuesFrom
• hasValue
• minCardinality
• maxCardinality
• cardinality

7
Cardinality Restrictions

• Meaning The property must have at least/at
  most/exactly x values
• is the shortcut for and
• Example A Luxury Hotel is a hotel that has at
  least 2 Activities

8
allValuesFrom Restrictions

• Meaning All values of the property must be of a
  certain type
• Warning Also individuals with no values fulfill
  this condition
• Example Massage is an activity that is only
  possible in Luxury Hotel
• Same case for someValuesFrom restrictions

9
hasValue Restrictions

• Meaning At least one of the values of the
  property is a certain value
• Similar to someValuesFrom but with
  Individuals and primitive values
• Enumerated Classes Consist of exactly the listed
  individuals
• Example Hotel rating consists of three star,
  four star and five star.

10
Logical Class Definitions

• Define classes out of other classes
• unionOf (or)
• intersectionOf (and)
• complementOf (not)
• Allow arbitrary nesting of class descriptions (A
  and (B or C) and not D)

11
Class Conditions

• Necessary Conditions(Primitive / partial
  classes)If we know that something is a X,then
  it must fulfill the conditions...
• Necessary Sufficient Conditions(Defined /
  complete classes)If something fulfills the
  conditions...,then it is an X.

12
Reasoning with Classes

• Tool support for three types of reasoning exists
• Consistency checkingCan a class have any
  instances?
• ClassificationIs A a subclass of B?
• Instance classificationWhich classes does an
  individual belong to?
• For Protégé we use RACER

13
Resources

• Protégé Beta 3.0 (Full) http//protege.stanford.e
  du/download/prerelease/full/
• Racer
• http//www.cse.concordia.ca/haarslev/racer/downl
  oad.html