1. 14-Nov-07 CS6795 Semantic Web Techniques 1 Ontology Tools

2. 14-Nov-07 CS6795 Semantic Web Techniques 2 Protégé http://protege.stanford.edu/ http://www.co- ode.org/resources/tutorials/ProtegeOWLTutorial.p df http://www.co- ode.org/resources/tutorials/ProtegeOWLTutorial.p df A nice resources for learning how to build ontologies http://www.co- Aode.org/resources/tutorials/ProtegeOWLTutorial- p4.0.pdf http://www.co- Aode.org/resources/tutorials/ProtegeOWLTutorial- p4.0.pdf

3. 14-Nov-07 CS6795 Semantic Web Techniques 3 Jamalaya

4. 14-Nov-07 CS6795 Semantic Web Techniques 4 Jambalya QuickViews

5. 14-Nov-07 CS6795 Semantic Web Techniques 5 OWL Doc Tools | Generate OWL Doc

6. 14-Nov-07 CS6795 Semantic Web Techniques 6 OWL Abstract Syntax Class(owl:Thing partial) ObjectProperty(a:hasPet domain(a:PetOwner) range(a:Animal)) Class(a:PetOwner partial restriction(a:hasPet allValuesFrom(a:Animal)) owl:Thing) Class(a:Animal partial) Class(a:Cat partial a:Animal) Class(a:Dog partial a:Animal) DisjointClasses(a:Cat a:Dog) Individual(a:Fluffy type(a:Cat)) Individual(a:Muffy type(a:Cat)) Individual(a:Tuffy type(a:Dog)) Individual(a:Scruffy type(a:Dog))

7. 14-Nov-07 CS6795 Semantic Web Techniques 7 Abstract Syntax Continued Class(a:CatLover partial restriction(a:hasPet allValuesFrom(a:Cat)) a:PetOwner) Class(a:DogLiker partial restriction(a:hasPet someValuesFrom(a:Dog)) a:PetOwner) Class(a:DogLover partial restriction(a:hasPet allValuesFrom(a:Dog)) a:PetOwner) Individual(a:Bill type(a:DogLiker) value(a:hasPet a:Fluffy) value(a:hasPet a:Scruffy)) Individual(a:Raj type(a:DogLiker) value(a:hasPet a:Tuffy)) Individual(a:Fang type(a:CatLover) value(a:hasPet a:Muffy)) Individual(a:Gilles type(a:DogLover) value(a:hasPet a:Tuffy)) Individual(a:Mei type(a:DogLover))

8. 14-Nov-07 CS6795 Semantic Web Techniques 8 Pellet Example command line: – "C:\Program Files\Java\jre1.6.0_02\bin\java" -jar c:/myfiles/pellet/pellet-1.5/lib/pellet.jar -if PetProject.owl - classify tree –realize owl:Thing ontology1186577852:PetOwner ontology1186577852:DogLover - (ontology1186577852:Mei, ontology1186577852:Gilles) ontology1186577852:DogLiker - (ontology1186577852:Raj, ontology1186577852:Bill) ontology1186577852:CatLover - (ontology1186577852:Fang) ontology1186577852:Animal ontology1186577852:Dog - (ontology1186577852:Tuffy, ontology1186577852:Scruffy) ontology1186577852:Cat - (ontology1186577852:Fluffy, ontology1186577852:Muffy)

9. 14-Nov-07 CS6795 Semantic Web Techniques 9 OwlSight: Lightweight Browser http://pellet.owldl.com/ontology-browser/

10. 14-Nov-07 CS6795 Semantic Web Techniques 10 Violating Constraints If you change Tuffy from a Dog to a Cat, – – and then load PetProject.owl, you get this messagePetProject.owl – Consistent: No – Reason: Individual http://www.owl- ontologies.com/Ontology1186577852.owl#Tuffy is forced to belong to class http://www.owl- ontologies.com/Ontology1186577852.owl#Dog and its complement

11. 14-Nov-07 CS6795 Semantic Web Techniques 11 SPARQL java -jar lib/pellet.jar -if PetProject.owl -queryString – "select ?x ?y ?z WHERE {?x ?y ?z} " – "prefix rdf: select ?x ?z WHERE {?x rdf:type ?z} " – "prefix owl: select ?x ?z WHERE {?x owl:disjointWith ?z} " – "prefix rdfs: select ?x ?z WHERE {?x rdfs:subClassOf ?z} "