Using ontologies function management

Transcription

1 for Using ontologies function management Caroline Domerg, Juliette Fabre and Pascal Neveu 22th July 2010 O. Corby C.Faron-Zucker E.Gennari A. Granier I. Mirbel V. Negre A. Tireau

2 Semantic Web tools Ontology description Web interface overview Conclusion

3 Semantic Web tools Ontology description Plant adaptation to climatic change Environmental stresses X several species High-throughput phenotyping Databases Web interface overview Conclusion

4 Semantic Web tools Ontology description Web interface overview Conclusion Plant adaptation to climatic change Environmental stresses X several species High-throughput phenotyping Databases Experiment monitoring Data analysis and modeling

5 Semantic Web tools Ontology description Web interface overview Conclusion Plant adaptation to climatic change Environmental stresses X several species High-throughput phenotyping Databases High production of R functions Experiment monitoring Data analysis and modeling

6 Semantic Web tools Ontology description Conclusion Plant adaptation to climatic change Environmental stresses X several species High-throughput phenotyping Databases Many authors and turnover Web interface overview High production of R functions Experiment monitoring Data analysis and modeling

7 Semantic Web tools Ontology description Conclusion Plant adaptation to climatic change Environmental stresses X several species High-throughput phenotyping Databases Many authors and turnover Web interface overview High production of R functions Experiment monitoring Data analysis and modeling How to share, capitalize, organize and valorize these functions?

8 Semantic Web tools AIMS Ontology description Web interface overview Conclusion Store and organize the functions Give an easy and long-term access IDEAS Create an ontology to describe R functions Provide a new kind of repository with reasoning and powerful search tools TOOLS W3C Semantic Web technologies

9 Semantic Web tools Ontology description Web interface overview Conclusion Ontology Formal description of concepts and relations between concepts Examples of concept: Rfunction Argument Examples of relation: hasargument Person isanewversionof Provides a controlled vocabulary Designed to be understood by computers RDF, RDFS and OWL: standard tools to write ontologies

10 Semantic Web tools Ontology description Web interface overview Conclusion RDF Resource: documents, images, programs, etc Description: attributes, properties and relations Framework: model, language and syntaxes (XML) for these descriptions

11 Semantic Web tools Ontology description Web interface overview Conclusion RDF An example about R function descriptions: R function attributes and properties Relations between R functions ( F1.R, hasauthor, John ) ( F1.R, calls, F2.R ) F2.R calls F1.R RDF is a semantic graph model hasauthor John

12 Semantic Web tools Ontology description Web interface overview Conclusion RDFS RDF Schema Provides elements to structure RDF resources such as: Class hierarchy Property restrictions (domain, range) Example of class: the Rfunction class Rfunction is_a F1.R is_a F2.R F1.R and F2.R inherit the properties and attributes of the Rfunction class

13 Semantic Web tools Ontology description Web interface overview Conclusion OWL Ontology Web Language Built on top of RDF Allows to define rules: transitivity, symmetry, inverse of, etc Provides powerful description of concepts and their relationships Example of OWL rule: INVERSE OF couldbeusedafter Func.R F2.R F1.R couldbeusedbefore

14 Semantic Web tools Ontology description Web interface overview Conclusion Ontology querying RDF/OWL files SPARQL Ontology and annotations Query <owl:objectproperty rdf:about="#couldbeusedafter"> <rdfs:range rdf:resource="#rfunction"/> <rdfs:domain rdf:resource="#rfunction"/> <owl:inverseof rdf:resource="#couldbeusedbefore"/> </owl:objectproperty> Language for RDF/OWL

15 Semantic Web tools Ontology description Web interface overview Conclusion Ontology querying RDF/OWL files SPARQL Ontology and annotations Query <owl:objectproperty rdf:about="#couldbeusedafter"> <rdfs:range rdf:resource="#rfunction"/> <rdfs:domain rdf:resource="#rfunction"/> <owl:inverseof rdf:resource="#couldbeusedbefore"/> </owl:objectproperty> Language for RDF/OWL CORESE (Inria Edelweiss) Software and engine to run: rules (transitivity, etc) and to infer SPARQL queries Query results

16 Semantic Web tools Ontology description Web interface overview Conclusion Global view #date #documentation #Rpackage Has creation date Has repository date #intention Requires R package #name Has name Has documentation #description Has intention Has description Argument Person Has argument Rfunction Has author Has contact Has value Has type Has description Has audience Value Has type Has description #type #description Belongs to Calls R core function #RcoreFunction Calls local R function Could be used after Could be used before Is adapted from Is a new version of Looks like Group

17 Semantic Web tools Ontology description Web interface overview Conclusion General description of R functions #description Person Has description #name Has author Has contact Has name Belongs to Rfunction Has audience Has creation date #date Has documentation #documentation Group

18 Semantic Web tools Ontology description Web interface overview Conclusion Detailed description of R functions #intention Value Has intention Has type Has description Has value Rfunction #type #description Has argument Requires R package Argument #Rpackage Has type Has description

19 Semantic Web tools Ontology description Web interface overview Conclusion Relations with other R functions Rfunction TRANSITIVITY Calls R core function #RcoreFunction Could be used after Could be used before Looks like Is adapted from Is a new version of Calls local R function Allow to create the call graph of the R functions INVERSE OF SYMMETRY TRANSITIVITY

20 Semantic Web tools Ontology description Web interface overview Conclusion Relations with other R functions Growth_Computation.R Growth_Fitting.R Could be used after Calls local R function Growth_Analysis.R Calls local R function Growth_Modeling.R

21 Semantic Web tools Ontology description Web interface overview Conclusion Relations with other R functions RELATIONS DEDUCED BY INFERENCE Growth_Computation.R INVERSE OF Growth_Fitting.R Could be used after Could be used before TRANSITIVITY Calls local R function Growth_Analysis.R Calls local R function Calls local R function Growth_Modeling.R

22 Semantic Web tools Ontology description Web interface overview Conclusion GUI for edition and creation of annotations A few minutes thanks to pre-filled forms Generation and storage of OWL file

23 Semantic Web tools Ontology description Web interface overview Conclusion Function consultation card Information about the function (author, arguments, intentions, etc) Download of R function and associated files (documentation, datasets, etc)

24 Semantic Web tools Ontology description Web interface overview Conclusion Function consultation card Example 1 Visualization of the call graph Example 2 Hypertext links towards semantically related functions

25 Semantic Web tools Ontology description Web interface overview Conclusion Powerful search tools Build a SPARQL request adding conditions on the properties Example: search the functions Dedicated to the Information System 'Phenodyn' and with an intention of Visualisation That could be used after 'ImportData.R' That call the R core function 'anova'

26 Semantic Web tools Ontology description Web interface overview Conclusion Prospects Add formal relations with reports, articles, etc Perform more automatic extraction from R function documentation

27 Semantic Web tools Ontology description Web interface overview Conclusion Prospects Add formal relations with reports, articles, etc Perform more automatic extraction from R function documentation Conclusions Users find this repository relevant (efficient search, easy annotating) Semantic Web tools allow reasoning for an 'intelligent' repository Models and softwares tools are easy to adapt: for other fields of research for other programming languages for mathematical models