OVERVIEW EXAMPLE PRESENTATIONS PROBLEMS
& QUIZS
ERRATA LINKS
SW Vision
XML
RDF
OWL
Logic
Applications
Ontology Engineering
Conclusion




     Aditional Topics
Examples for chapter 4 - OWL

Click here to see some more examples from the book.


Small ontology

   <owl:Class rdf:ID="associateProfessor">
      <rdfs:subClassOf rdf:resource="#academicStaffMember"/>
   </owl:Class>

   <owl:Class rdf:about="associateProfessor">
      <owl:disjointWith rdf:resource="#professor"/>
      <owl:disjointWith rdf:resource="#assistantProfessor"/>
   </owl:Class>

   <owl:Class rdf:ID="faculty">
      <owl:equivalentClass rdf:resource="#academicStaffMember"/>
   </owl:Class>

   <owl:ObjectProperty rdf:ID="isTaughtBy">
      <rdfs:domain rdf:resource="#course"/>
      <rdfs:range rdf:resource="#academicStaffMember"/>
      <rdfs:subPropertyOf rdf:resource="#involves"/>
   </owl:ObjectProperty>

   <owl:ObjectProperty rdf:ID="teaches">
      <rdfs:range rdf:resource="#course"/>
      <rdfs:domain rdf:resource="#academicStaffMember"/>
      <owl:inverseOf rdf:resource="#isTaughtBy"/>
   </owl:ObjectProperty>

   <owl:Class rdf:about="#firstYearCourse">
      <rdfs:subClassOf>
         <owl:Restriction>
            <owl:onProperty rdf:resource="#isTaughtBy"/>
            <owl:allValuesFrom rdf:resource="#Professor"/>
         </owl:Restriction>
      </rdfs:subClassOf>
   </owl:Class>

   <owl:Class rdf:about="#course">
      <rdfs:subClassOf>
         <owl:Restriction>
            <owl:onProperty rdf:resource="#isTaughtBy"/>
            <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
         </owl:Restriction>
      </rdfs:subClassOf>
   </owl:Class>

   <owl:Class rdf:ID="peopleAtUni">
      <owl:unionOf rdf:parseType="Collection">
      <owl:Class rdf:about="#staffMember"/>
      <owl:Class rdf:about="#student"/>
      </owl:unionOf>
   </owl:Class>

Some instances

   <academicStaffMember rdf:ID="949352">
      <uni:age rdf:datatype="&xsd;integer">39<uni:age>
   </academicStaffMember>

   <course rdf:about="CIT1111">
      <isTaughtBy rdf:resource="949318"/>
      <isTaughtBy rdf:resource="949352"/>
   </course>