ontology templates

• 1. Web Science & Technologies University of Koblenz Landau, Germany A Model-Driven Approach for Using Templates in OWL Ontologies Fernando Silva ParreirasGerd GrnerTobias WalterSteffen Staab

2. Ontology Design Pattern WeST Gerd GrnerEKAW 2010groener@uni-koblenz.de 2 of 20 3. Ontology Design PatternHow tWhich ce lassesxtend ? ?o us epatter a n WeST Gerd GrnerEKAW 2010groener@uni-koblenz.de 3 of 20 4. Too much Knowledge!135Ontology Patterns702Classes in the COMM Ontology WeST Gerd Grner EKAW 2010groener@uni-koblenz.de4 of 20 5. Templates Documents Web Page Templates in C++ Java Classes (Generics) WeST Gerd GrnerEKAW 2010groener@uni-koblenz.de 5 of 20 6. Advantages encapsulate complexity improve productivity(reuse templates) reliability of templates Bind and unbind templatesWeSTGerd GrnerEKAW 2010 groener@uni-koblenz.de 6 of 20 7. Model-Driven ApproachModel-Driven Development raises the level ofabstraction Template metamodel: extend different OWL metamodels Templates:OWL ontologiesQueriesWeST Gerd GrnerEKAW 2010groener@uni-koblenz.de 7 of 20 8. Semantics of Ontology TemplatesDeclarative specification Templates as generatorsOWL complexity is composed (not added) WeST Gerd GrnerEKAW 2010groener@uni-koblenz.de 8 of 20 9. MethodologyOntologyEffective Template BindingOntology 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) WeSTGerd Grner EKAW 2010 groener@uni-koblenz.de9 of 20 10. Ontology Template WeSTGerd GrnerEKAW 2010 groener@uni-koblenz.de 10 of 20 11. Encapsulate Ontology Patterns WeST Gerd GrnerEKAW 2010groener@uni-koblenz.de 11 of 20 12. Reuse Existing SWRL Rules WeSTGerd GrnerEKAW 2010 groener@uni-koblenz.de 12 of 20 13. Many Versions of Ontologies WeST Gerd GrnerEKAW 2010groener@uni-koblenz.de 13 of 20 14. Binding Transformation of the implicit ontology document to the effective ontologyReplace parameters with the actual values from the domain ontology WeSTGerd GrnerEKAW 2010 groener@uni-koblenz.de 14 of 20 15. Binding ExampleAgent role template WeST Gerd GrnerEKAW 2010groener@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 GrnerEKAW 2010groener@uni-koblenz.de 16 of 20 17. Artists of a given stylePrefix: owl = IRI Parameters: ?artist type owl:Class,?style type owl:oneOf Select ?x Where (?x type (?artist and (hasStyle some ?style)) ) WeST Gerd GrnerEKAW 2010groener@uni-koblenz.de 17 of 20 18. Groups and Styles popular in the USA Prefix: = Prefix: q = Bind: (q:artist Group) (q:style {Rock Blues Country}) WeST Gerd GrnerEKAW 2010groener@uni-koblenz.de 18 of 20 19. Effective QueryPrefix: = Select ?xWhere (?x type (Group and(hasStyle some {Rock Blues Country} ))) WeSTGerd GrnerEKAW 2010 groener@uni-koblenz.de 19 of 20 20. Conclusion Saves Time Multiple LanguagesMultiple SyntaxesDownload it and try yourself! http://twouse.googlecode.com/WeSTGerd GrnerEKAW 2010 groener@uni-koblenz.de 20 of 20