A Model-Driven Approach for Using Templates in Ontology Engineering, presented at the EKAW2010 conference

1. 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

2. Ontology Design Pattern
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 2 of 20

3. Ontology Design Pattern
How t
Which c
e
lasses
xtend ?
?
o us e
patter a
n
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 3 of 20

4. Too much Knowledge!
135 Ontology Patterns
702 Classes in the COMM Ontology
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 4 of 20

5. Templates
Documents
Web Page
Templates in C++
Java Classes (Generics)
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 5 of 20

6. Advantages
encapsulate complexity
improve productivity
(reuse templates)
reliability of templates
Bind and unbind templates
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 6 of 20

7. Model-Driven Approach
Model-Driven Development raises the level of
abstraction

Template metamodel:
extend different OWL metamodels
Templates:
OWL ontologies
Queries
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 7 of 20

8. Semantics of Ontology Templates
Declarative specification
Templates as generators
OWL complexity is composed (not added)
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 8 of 20

9. Methodology
Ontology Effective
Template Binding Ontology
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)
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 9 of 20

10. Ontology Template
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 10 of 20

11. Encapsulate Ontology Patterns
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 11 of 20

12. Reuse Existing SWRL Rules
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 12 of 20

13. Many Versions of Ontologies
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 13 of 20

14. Binding
Transformation of the implicit ontology
document to the effective ontology
Replace parameters with the actual values
from the domain ontology
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 14 of 20

15. Binding Example
Agent role
template
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 15 of 20

16. 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)
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 16 of 20

17. 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))
)
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 17 of 20

18. Groups and Styles popular in the USA
Prefix: = <http://Ontology1261152793434.owl#>
Prefix: q = <http://ArtistsStyle#>
Bind: (q:artist Group) (q:style {Rock Blues Country})
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 18 of 20

19. Effective Query
Prefix: = <http://Ontology1261152793434.owl#>
Select ?x
Where (
?x type (Group and
(hasStyle some {Rock Blues Country} ))
)
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 19 of 20

20. Conclusion
Saves Time
Multiple Languages
Multiple Syntaxes
Download it and try yourself! http://twouse.googlecode.com/
WeST Gerd Gröner EKAW 2010
groener@uni-koblenz.de 20 of 20