Header
------

Ontology( 
 Annotation(rdfs:comment "An example OWL ontology")
 Annotation(rdfs:label "University Ontology")
 Annotation(owl:imports http://www.mydomain.org/persons)
)

Class Elements
--------------

 Class(associateProfessor partial academicStaffMember)

 Class(professor partial)
 DisjointClasses(associateProfessor assistantProfessor)
 DisjointClasses(professor associateProfessor)

 Class(faculty complete academicStaffMember)

Property Elements
-----------------

 DatatypeProperty(age range(xsd:nonNegativeInteger))

 ObjectProperty(isTaughtBy
  domain(course)
  range(academicStaffMember))
 SubPropertyOf(isTaughtBy involves)

 ObjectProperty(teaches
  inverseOf(isTaughtBy)
  domain(academicStaffMember)
  range(course))
  
 ObjectProperty(lecturesIn)
 EquivalentProperties(lecturesIn teaches)

Property Restrictions
---------------------

 Class(firstYearCourse partial 
  restriction(isTaughtBy allValuesFrom (Professor)))

 Class(mathCourse partial 
  restriction(isTaughtBy hasValue (949352)))

 Class(academicStaffMember partial 
  restriction(teaches someValuesFrom (undergraduateCourse)))

 Class(course partial 
  restriction(isTaughtBy minCardinality(1)))

 Class(department partial 
  restriction(hasMember minCardinality(10))
  restriction(hasMember maxCardinality(30)))

Special Properties
------------------

 ObjectProperty(hasSameGradeAs Transitive Symmetric
  domain(student)
  range(student))

Boolean Combinations
--------------------

 Class(course partial 
  complementOf(staffMember))

 Class(peopleAtUni complete 
  unionOf(staffMember student))

 Class(facultyInCS complete 
  intersectionOf(faculty
                 restriction(belongsTo
                             hasValue
                             (CSDepartment))))

 Class(adminStaff complete 
  intersectionOf(staffMember
                 complementOf(unionOf(faculty
                                      techSupportStaff))))

Enumerations
------------

 EnumeratedClass(weekdays Monday
                          Tuesday
                          Wednesday
                          Thursday
                          Friday
                          Saturday
                          Sunday)
  
Instances
---------
  
 Individual(949352
  type(academicStaffMember))

 Individual(949352
  type(academicStaffMember)
  value(age "39"^^&xsd;integer))

 ObjectProperty(isTaughtBy Functional)

 Individual(CIT1111
  type(course)
  value(isTaughtBy 949352)
  value(isTaughtBy 949318))

 Individual(949318
  type(lecturer))
 DifferentIndividuals(949318 949352)  

 DifferentIndividuals(949352 949111 949318)


African Wildlife Ontology
-------------------------

Ontology( 

 ObjectProperty(eaten-by inverseOf(eats))
 ObjectProperty(eats domain(animal))
 ObjectProperty(is-part-of Transitive)

 Class(animal partial 
  annotation(rdfs:comment "Animals form a class."))

 Class(branch partial 
  annotation(rdfs:comment "Branches are parts of trees.")
  restriction(is-part-of allValuesFrom (tree)))

 Class(carnivore complete 
  annotation(rdfs:comment 
             "Carnivores are exactly those animals that eat
              animals.")
  intersectionOf(animal
                 restriction(eats someValuesFrom (animal))))

 Class(giraffe partial 
  annotation(rdfs:comment
             "Giraffes are herbivores,
              and they eat only leaves.")
  herbivore
  restriction(eats allValuesFrom (leaf)))

 Class(herbivore complete 
  annotation(rdfs:comment 
             "Herbivores are exactly those animals that
              eat only plants or parts of plants.")
  intersectionOf(
       animal
       restriction(eats
                   allValuesFrom 
                   (unionOf(plant
                            restriction(is-part-of
                                        allValuesFrom
                                        (plant))))))) 
                            
 Class(leaf partial 
  annotation(rdfs:comment "Leaves are parts of branches.")
  restriction(is-part-of allValuesFrom (branch)))

 Class(lion partial 
  annotation(rdfs:comment
             "Lions are animals that eat only herbivores.")
  carnivore
  restriction(eats allValuesFrom (herbivore)))

 Class(plant partial 
  annotation(rdfs:comment
             "Plants form a class disjoint from animals."))

 Class(tasty-plant partial 
  annotation(rdfs:comment
             "Tasty plants are plants that are eaten 
              both by herbivores and carnivores.")
  plant
  restriction(eaten-by someValuesFrom (herbivore))
  restriction(eaten-by someValuesFrom (carnivore)))


 Class(tree partial 
  annotation(rdfs:comment "Trees are a type of plant.")
  plant)

 AnnotationProperty(rdfs:comment)
 DisjointClasses(plant animal)
)


Printer Ontology
----------------

Ontology( 

 Annotation(owl:versionInfo
            "My example version 1.2, 17 October 2002")

 DatatypeProperty(manufactured-by
  domain(product)
  range(xsd:string))

 DatatypeProperty(price
  domain(product)
  range(xsd:nonNegativeInteger))

 DatatypeProperty(printingResolution
  domain(printer)
  range(xsd:string))

 DatatypeProperty(printingSpeed
  domain(printer)
  range(xsd:string))

 DatatypeProperty(printingTechnology
  domain(printer)
  range(xsd:string))

 Class(1100se partial 
  annotation(rdfs:comment
             "1100se printers belong to the 1100 series
              and cost $450.")
  1100series
  restriction(price hasValue ("450"^^&xsd;integer)))

 Class(1100series partial 
  annotation(rdfs:comment
             "1100series printers are HP laser jet
              printers with 8ppm printing speed and 600dpi 
              printing resolution.")
  hpLaserJetPrinter
  restriction(printingSpeed hasValue ("8ppm"^^&xsd;string))
  restriction(printingResolution
              hasValue ("600dpi"^^&xsd;string)))

 Class(1100xi partial 
  annotation(rdfs:comment
             "1100xi printers belong to the 1100 series
              and cost $350.")
  1100series
  restriction(price hasValue ("350"^^&xsd;integer)))

 Class(hpLaserJetPrinter partial 
  annotation(rdfs:comment
             "HP laser jet printers are HP products
              and laser jet printers.")
  laserJetPrinter
  hpPrinter)

 Class(hpPrinter partial 
  annotation(rdfs:comment
             "HP printers are  HP products and printers.")
  hpProduct
  printer)

 Class(hpProduct complete 
  annotation(rdfs:comment
             "HP products are exactly those products
              that are manufactured by Hewlett Packard.")
  intersectionOf(
      product 
      restriction(manufactured-by
                  hasValue ("Hewlett Packard"^^&xsd;string))))

 Class(laserJetPrinter complete 
  annotation(rdfs:comment
             "Laser jet printers are exactly those printers
              that use laser jet printing technology.")
  intersectionOf(
      printer 
      restriction(printingTechnology
                  hasValue ("laser jet"^^&xsd;string))))

 Class(padid partial 
  annotation(rdfs:comment
             "Printing and digital imaging devices
              form a subclass of products.")
  annotation(rdfs:label "Device")
  product)

 Class(personalPrinter partial 
  annotation(rdfs:comment "Printers for personal use form
                           a subclass of printers.")
  printer)

 Class(printer partial 
  annotation(rdfs:comment "Printers are printing and 
                           digital imaging devices.")
  padid)

 Class(product partial 
  annotation(rdfs:comment "Products form a class."))
)