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

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

14-Nov-07 CS6795 Semantic Web Techniques 3 Jamalaya

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

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

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))

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))

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 ontology :PetOwner ontology :DogLover - (ontology :Mei, ontology :Gilles) ontology :DogLiker - (ontology :Raj, ontology :Bill) ontology :CatLover - (ontology :Fang) ontology :Animal ontology :Dog - (ontology :Tuffy, ontology :Scruffy) ontology :Cat - (ontology :Fluffy, ontology :Muffy)

14-Nov-07 CS6795 Semantic Web Techniques 9 OwlSight: Lightweight Browser

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 ontologies.com/Ontology owl#Tuffy is forced to belong to class ontologies.com/Ontology owl#Dog and its complement

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} "