Ontology Language Extension to Support Collaborative Ontology Building
•Download as PPT, PDF•
0 likes•140 views
The document proposes POWL, an extension of OWL to support collaborative ontology building through modularity and localized semantics. POWL introduces the concepts of packages, scope limitation modifiers, views and interfaces to allow partitioning an ontology into modules. This addresses issues with current ontology languages like lack of modularity, unintended interactions between fragments, and all-or-nothing sharing. POWL defines a model-theoretic semantics and both an XML and OWL-compatible syntax to represent packages.
![Ontology Language Extension to Support Collaborative Ontology Building ,[object Object],[object Object],[object Object],[object Object],Jie Bao and Vasant Honavar Artificial Intelligence Research Laboratory, Computer Science Department, Iowa State University Ames IA USA 50010 {baojie,honavar}@cs.iastate.edu What is it about? Why Package ? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],? Localization vs. Globalization ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Partially vs. AllOrNothing ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Hiding vs. Sharing ,[object Object],[object Object],[object Object],[object Object],Organizational vs. Semantic Structure ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Semantics Syntax Package ,[object Object],[object Object],[object Object],Nested Package ,[object Object],[object Object],Entity ,[object Object],[object Object],Scope Limitation Modifier ,[object Object],[object Object],[object Object],[object Object],[object Object],View and Interface ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],POWL/XML POWL/RDF Package <powl:package rdf:ID=“animal"> </powl:package> <powl:package rdf:ID=“GlobalPackage"> </powl:package> <powl:package rdf:ID=“animal"> <owl:Class rdf:ID=“Dog“/> <owl:ObjectProperty rdf:ID=“eats”/> <Dog rdf:ID=“billy”> </powl:package> <powl:package rdf:ID=“animal"> <owl:Class rdf:ID=“Dog“ powl:SLM=“public” /> <owl:ObjectProperty rdf:ID=“eats” powl:SLM=“protected” /> <Dog rdf:ID=“billy” powl:SLM=“private” > </powl:package> <powl:package rdf:ID=“animal"> <powl:import rdf:resource=“plant”/> (other term definitions…) </powl:package> <powl:view rdf:ID=“life"> <powl:import rdf:resource=“animal”> <powl:import rdf:resource=“plant”> <owl:Class rdf:ID=“Dog“> <owl:equivalentClass rdf:resource=“animal:Dog" /> </owl:Class> </powl:view> <powl:package rdf:ID=“animal"> <powl:package rdf:ID=“myAnimal"> <owl:Class rdf:resource=“Dog”/> </powl:package > </powl:package> <owl:Class rdf:ID=“animal "> <rdfs:subClassOf rdf:resource= “ powl:Package" /> </owl:Class> powl:Package owl:Class powl:GlobalPackage ∈ powl:Package Class Dog subClassOf restriction(powl: classIn hasValue (animal)) Property eats_helper powl: instanceIn animal eats_helper ∈ powl:Helper eats_helper ∈ eats. eats_helper Instance Billy ∈ Dog Billy powl:instanceIn animal Class Dog subClassOf restriction(powl: classPublicIn hasValue(animal)) Property eats_helper powl: instanceProtectedIn animal eats_helper ∈ powl:Helper eats_helper ∈ eats. eats_helper Instance Billy ∈ Dog Billy powl: instancePrivateIn animal NOTE: we will use “term inPackage package “ as abbreviations for those axioms <powl:package rdf:ID=“animal"> <powl:import rdf:resource=“plant”/> </powl:package> (other term definitions…) NOTE: they are different! POWL/XML defined a ‘container’ for other definitions, while POWL/RDF defined a package instance that could be used in other triples. life View life powl:import animal life powl:import plant Life.Dog inPackage life Life.Dog animal:Dog myFavoriteAnimal Interface myFavoriteAnimal powl:import animal myFavoriteAnimal .Dog inPackage myFavoriteAnimal myFavoriteAnimal .Dog animal:Dog Animal ∈ powl:package myAnimal ∈ powl:package myAnimal nestIn Animal Dog inPackage myAnimal Helper: powl: nestIn powl:inPackage Package SLM SLM Importing Importing View View Nested Package Nested Package Reasoning package or view could answer a Satisfiable request if a possible interpretation is found locally; otherwise it will consult the packages and views in its domain. This research is supported in part by grants from the NSF (0219699) and the NIH(GM 066387) to Vasant Honavar P 1 P 2 public private A Package with multiple interfaces P 1 P 2 P 3 A View can be built upon multiple packages and can be referred to by multiple modules P 1 P 3 P 4 P 2](https://image.slidesharecdn.com/2004-11-03iswc2004poster-100706165248-phpapp01/85/Ontology-Language-Extension-to-Support-Collaborative-Ontology-Building-1-320.jpg)
