Download - Ontology templates
Web Science & Technologies
University of Koblenz ▪ Landau, Germany
A Model-Driven Approach for Using Templates in OWL Ontologies
Fernando Silva Parreiras
Gerd Gröner
Tobias Walter
Steffen Staab
Gerd Grö[email protected]
EKAW 20103 of 20
WeST
Ontology Design Pattern
Which classes
extend ?How to use a pattern ?
Gerd Grö[email protected]
EKAW 20104 of 20
WeST
Too much Knowledge!
135
702
Ontology Patterns
Classes in the COMM Ontology
Gerd Grö[email protected]
EKAW 20105 of 20
WeST
Templates
Documents Web Page Templates in C++ Java Classes (Generics)
Gerd Grö[email protected]
EKAW 20106 of 20
WeST
Advantages
encapsulate complexity
improve productivity (reuse templates)
reliability of templates
Bind and unbind templates
Gerd Grö[email protected]
EKAW 20107 of 20
WeST
Model-Driven Approach
Model-Driven Development raises the level of abstraction
Template metamodel: extend different OWL metamodels
Templates: OWL ontologies Queries
Gerd Grö[email protected]
EKAW 20108 of 20
WeST
Semantics of Ontology Templates
Templates as generators
OWL complexity is composed (not added)
Declarative specification
Gerd Grö[email protected]
EKAW 20109 of 20
WeST
Methodology
Ontology Template
Effective OntologyBinding
Declaration(Class(:Genre))Declaration(Class(:Group))Declaration(Class(:Performer))Declaration(Class(:Record))Declaration(Class(:Object))Declaration(Class(:Position))DisjointClasses(:Position :Performer)Declaration(ObjectProperty(:creatorOf))SubObjectPropertyOf(:creatorOf owl:topObjectProperty)Declaration(ObjectProperty(:hasStyle))SubObjectPropertyOf(:hasStyle owl:topObjectProperty)Declaration(ObjectProperty(:stylePeriod))SubObjectPropertyOf(:stylePeriod owl:topObjectProperty)Declaration(NamedIndividual(:Blues))ClassAssertion(:Genre :Blues)Declaration(NamedIndividual(:Country))ClassAssertion(:Genre :Country)Declaration(NamedIndividual(:Mick))ClassAssertion(:Performer :Mick)Declaration(NamedIndividual(:Rock))ClassAssertion(:Genre :Rock)Declaration(NamedIndividual(:Samba)ClassAssertion(:Genre :Samba)
Gerd Grö[email protected]
EKAW 201014 of 20
WeST
Binding
Replace parameters with the actual values from the domain ontology
Transformation of the implicit ontology document to the effective ontology
Gerd Grö[email protected]
EKAW 201016 of 20
WeST
Effective Ontology
Declaration(Class(:Record))Declaration(Class(:Object))Declaration(Class(:Position))DisjointClasses(:Position :Performer)Declaration(ObjectProperty(:creatorOf))SubObjectPropertyOf(:creatorOf owl:topObjectProperty)Declaration(ObjectProperty(:hasStyle))SubObjectPropertyOf(:hasStyle owl:topObjectProperty)Declaration(ObjectProperty(:stylePeriod))SubObjectPropertyOf(:stylePeriod owl:topObjectProperty)Declaration(NamedIndividual(:Blues))ClassAssertion(:Genre :Blues)Declaration(NamedIndividual(:Country))ClassAssertion(:Genre :Country)Declaration(NamedIndividual(:Mick))ClassAssertion(:Performer :Mick)Declaration(NamedIndividual(:Rock))ClassAssertion(:Genre :Rock)Declaration(NamedIndividual(:Samba)ClassAssertion(:Genre :Samba)
Gerd Grö[email protected]
EKAW 201017 of 20
WeST
Artists of a given style
Prefix: owl = <http://www.w3.org/2002/07/owl#>
IRI <http://ArtistsStyle#>
Parameters: ?artist type owl:Class,
?style type owl:oneOf
Select ?x
Where (
?x type (?artist and (hasStyle some ?style))
)
Gerd Grö[email protected]
EKAW 201018 of 20
WeST
Groups and Styles popular in the USA
Prefix: = <http://Ontology1261152793434.owl#>
Prefix: q = <http://ArtistsStyle#>
Bind: (q:artist Group) (q:style {Rock Blues Country})
Gerd Grö[email protected]
EKAW 201019 of 20
WeST
Effective Query
Prefix: = <http://Ontology1261152793434.owl#>
Select ?x
Where (
?x type (Group and
(hasStyle some {Rock Blues Country} ))
)
Gerd Grö[email protected]
EKAW 201020 of 20
WeST
Conclusion
Saves Time
Multiple Languages
Multiple Syntaxes
Download it and try yourself! http://twouse.googlecode.com/