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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ontology templates

by Gerd Groener on Oct 15, 2010

Accessibility

Categories

Tags

Upload Details

Usage Rights

Statistics

Ontology templates — Presentation Transcript