Title
Introduction
Concurrence
Conclusion
HopSlide Help (v2.6.0)
Keyboard
Toggle this help
alt-h
Reload slides
alt-r
Toggle slide selector
alt-s
alt-t
Open a full screen window
alt-w
Update size
alt-u
Toggle big cursor
alt-m
Toggle focus
alt-f
Toggle drawing area
alt-c
Next slide
PgDn
Ret
Enter
Space
Previous slide
PgUp
alt-p
First slide
Home
Last slide
End
Close slide
Esc
Mouse
Reload slides
shift Button1
Slides selector
crtl Button1
Focus enlarge/shrink
Button4
Button5
inline
inline
inline
inline
inline
inline
inline
inline
inline
inline
inline
inline
inline
inline
inline
big-pointer.png
Title
Langages et techniques du Web sémantique
pour l'ingénierie des besoins
Isabelle Mirbel
Université de Nice Sophia Antipolis
Laboratoire I3S (UNS/CNRS)
INRIA Sophia-Antipolis Mediterranée
France
GDR GPL IB - Paris Octobre 2015
Introduction
Introduction
  • Web sémantique
  • sur le Web
  • Contextes collaboratifs
  • Opérationnalisation de besoins dans le contexte du web
  • Besoins dans les plateformes de developpement collaboratives (Z. Azmeh, P. Crescenzo, I. Mirbel)
  • Consistence des besoins : ArgREC (S. Villata, I. Mirbel)
Introduction
1
2
3
Conclusion
2 of 28
Concurrence
Opérationnalisation de besoins dans le contexte du Web
  • Recherche de ressources Web (O. Corby, C. Faron-Zucker, I. Mirbel)
  • Composition de services
  • Informatique ambiante
3 of 28
Recherche de ressources Web
image/svg+xml Contexte - Partage de démarches de recherche sur le Web- Décomposition & réutilisation de besoins
Introduction
1
2
3
Conclusion
4 of 28
Recherche de ressources Web
image/svg+xml Approche - Représentation intentionnelle des démarches- Langages & techniques du Web sémantique Contexte - Partage de démarches de recherche sur le Web- Décomposition & réutilisation de besoins
Introduction
1
2
3
Conclusion
5 of 28
Recherche de ressources Web
image/svg+xml Mise en oeuvre - Modèles conceptuels formalisés et publiés selon les standards du Web (RDF/S, SPARQL)- Raisonnements chainage arrière / règles SPARQL Approche - Représentation intentionnelle des démarches- Langages & techniques du Web sémantique Contexte - Partage de démarches de recherche sur le Web- Décomposition & réutilisation de besoins
Introduction
1
2
3
Conclusion
6 of 28
Modélisation intentionnelle de processus de recherche
image/svg+xml Search resources to build a course on relational database Search resources aboutrelational model Search resources aboutdatabase history Search resources aboutnormal forms Search resources about SQL Search for resourcesabout Java API Search for resourcesabout PHP API i i1 i2 i3 i4 i5 Search resources on howto interact with a databasefrom a programming language OR i1 i2 i3 i4 i5 start stop PHP Java Expert i1 i2 i3 i4 i5 i3a i3b start stop PHP Java implemented by Search for resourcesabout normal forms Search for resourcesabout normal form definitions Search for resourcesabout normal form transformations i3b i3a i3 start stop refinement
Introduction
1
2
3
Conclusion
7 of 28
Processus de recherche & requêtes associées (RDF/S, SPARQL)
image/svg+xml <rdf:RDF xmlns:rdf="..." xmlns:map"..." xmlns:ctxt="..." xmlns:dom="..."><map:Section> <map:hasSource> <map:Intention rdf:nodeID="ia"> <map:hasVerb rdf:resource="ctxt:Search"/> <map:hasObject rdf:resource="dom:NFDefinition"/> </map:Intention> </map:hasSource> <map:hasTarget> <map:Intention rdf:nodeID="ib"> <map:hasVerb rdf:resource="ctxt:Search"/> <map:hasObject rdf:resource="dom:NormalizationRule"/> </map:Intention> </map:hasTarget></map:Section></rdf:RDF> SELECT ?rWHERE { ?r rdf:type dom:NormalFormUNION { ?r rdf:type ?t ?t rdfs:subClassOf dom:NormalForm}} Query Search Process Intention Stop Start hasObject hasVerb Map Section hasStrategy Resource hasSource hasTarget GenericQuery IntentionAchievementGuideline operationalizedBy Object Verb Parameter Beneficiary Quality Ways Means Manner path bundle thread hasResource composedOf Subclass of Class Property Legend Search Instance of Neophyte Expert DetailedDescription ShortDescription NormalizationRule NormalForm DomainOntology MAP Ontology DomainIndependentOntology
Introduction
1
2
3
Conclusion
8 of 28
Opérationalisation à l'aide de règles SPARQL
image/svg+xml <rdf:RDF xmlns:rdf="..." xmlns:map"..." xmlns:ctxt="..." xmlns:dom="..."><map:Section> <map:hasSource> <map:Intention rdf:nodeID="ia"> <map:hasVerb rdf:resource="ctxt:Search"/> <map:hasObject rdf:resource="dom:NFDefinition"/> </map:Intention> </map:hasSource> <map:hasTarget> <map:Intention rdf:nodeID="ib"> <map:hasVerb rdf:resource="ctxt:Search"/> <map:hasObject rdf:resource="dom:NormalizationRule"/> </map:Intention> </map:hasTarget></map:Section></rdf:RDF> SELECT ?rWHERE { ?r rdf:type dom:NormalFormUNION { ?r rdf:type ?t ?t rdfs:subClassOf dom:NormalForm}} Query Search Process ABSTRACT RULE WHERE { GRAPH ?g { ?s1 map:hasSource ?i0 ?i0 rdf:type map:Start ?s1 map:hasTarget ?i1 ?i1 map:hasObject d:NFDefinition ?s2 map:hasSource ?i1 ?s2 map:hasTarget ?i2 ?i2 map:hasObject d:NormalizationRule ?s3 map:hasSource ?i2 ?s3 map:hasTarget ?i4 ?i4 rdf:type map:Stop }} CONSTRUCT { _:s map:hasTarget _:i _:i map:hasObject d:NormalForm _:s map:operationalizedBy ?g} SIGNATURE BODY INTENTIONAL CONCRETE RULE OPERATIONAL CONSTRUCT { _:s map:hasTarget _:i _:i map:hasObject d:NFDefinition _:s map:hasResource ?r}WHERE { ?r rdf:type dom:NormalForm UNION { ?r rdf:type ?t ?t rdfs:subClassOf dom:NormalForm }} SIGNATURE BODY
Introduction
1
2
3
Conclusion
9 of 28
Recherche de séquences de ressources web
image/svg+xml BackwardchainingCORESE i2 i3 i4 i5 start stop Direction of reading
Introduction
1
2
3
Conclusion
10 of 28
Recherche de séquences de ressources web
image/svg+xml BackwardchainingCORESE i2 i3 i4 i5 start stop Direction of reading
  • Preuve de concept... OK
Introduction
1
2
3
Conclusion
11 of 28
Opérationnalisation de besoins dans le contexte du Web
  • Recherche de ressources Web
  • Composition de services (P. Crescenzo, I. Mirbel)
  • Informatique ambiante
12 of 28
Composition de services
image/svg+xml Contexte - Assemblage de services pour l'opérationnalisation de processus métiers- Partage et capitalisation au sein de communautés de neuro-scientistes
Introduction
1
2
3
Conclusion
13 of 28
Composition de services
image/svg+xml Contexte - Assemblage de services pour l'opérationnalisation de processus métiers- Partage et capitalisation au sein de communautés de neuro-scientistes Approche - Représentation intentionnelle des démarches- Langages & techniques du Web sémantique- Annotation sémantique des services (OWL-S)
Introduction
1
2
3
Conclusion
14 of 28
Composition de services
image/svg+xml Contexte - Assemblage de services pour l'opérationnalisation de processus métiers- Partage et capitalisation au sein de communautés de neuro-scientistes Mise en oeuvre - Modèles conceptuels formalisés et publiés selon les standards du Web (RDF/S, SPARQL)- Raisonnements chainage arrière / règles SPARQL Approche - Représentation intentionnelle des démarches- Langages & techniques du Web sémantique- Annotation sémantique des services (OWL-S)
Introduction
1
2
3
Conclusion
15 of 28
SATIS
image/svg+xml map & OWL-S Ontologies domain, Process modelingexpert Basic reusablebuilding blocksauthoring ServiceDesigner Atomic reusablebuilding blocksauthoring Domainexpert Specific building blocksauthoring CommunitySemantic Memory
Introduction
1
2
3
Conclusion
16 of 28
SATIS
image/svg+xml Intentionselection Backwardchaining onSPARQL rules ? ? ? map & OWL-S Ontologies domain, ? http://.../ressource1 http://.../ressource2 http://.../ressource3 http://.../ressource5 http://.../ressource6 ? Ruleselection http://.../ressource1 http://.../ressource2 http://.../ressource3 http://.../ressource5 http://.../ressource6 AND OR OR Process modelingexpert Basic reusablebuilding blocksauthoring ServiceDesigner Atomic reusablebuilding blocksauthoring Domainexpert Specific building blocksauthoring CommunitySemantic Memory
Introduction
1
2
3
Conclusion
17 of 28
SATIS
image/svg+xml Intentionselection Backwardchaining onSPARQL rules ? ? ? map & OWL-S Ontologies domain, ? http://.../ressource1 http://.../ressource2 http://.../ressource3 http://.../ressource5 http://.../ressource6 ? Ruleselection http://.../ressource1 http://.../ressource2 http://.../ressource3 http://.../ressource5 http://.../ressource6 AND OR OR Process modelingexpert Basic reusablebuilding blocksauthoring ServiceDesigner Atomic reusablebuilding blocksauthoring Domainexpert Specific building blocksauthoring CommunitySemantic Memory
  • Chaînage arrière... KO
Introduction
1
2
3
Conclusion
18 of 28
Opérationnalisation de besoins dans le contexte du Web
  • Recherche de ressources Web
  • Composition de services
  • Informatique ambiante (J-Y. Tigli, S. Lavirotte, I. Mirbel)
19 of 28
Informatique ambiante
image/svg+xml Contexte - Composition dynamique de services en informatique ambiante
Introduction
1
2
3
Conclusion
20 of 28
Informatique ambiante
image/svg+xml Contexte - Composition dynamique de services en informatique ambiante Approche - Extention de la représentation intentionnelle des besoins- Langages & techniques du Web sémantique- Annotation sémantique des shémas d'application
Introduction
1
2
3
Conclusion
21 of 28
Informatique ambiante
image/svg+xml Contexte - Composition dynamique de services en informatique ambiante Mise en oeuvre - Modèles conceptuels formalisés et publiés selon les standards du Web (RDF/S, SPARQL)- Raisonnements à l'aide du langage de transformation STTL Approche - Extention de la représentation intentionnelle des besoins- Langages & techniques du Web sémantique- Annotation sémantique des shémas d'application
Introduction
1
2
3
Conclusion
22 of 28
Informatique ambiante
image/svg+xml Dispositifs Schémasd'application Représentation intentionnelledes besoins BOTTOMUP TOPDOWN
Introduction
1
2
3
Conclusion
23 of 28
Informatique ambiante
image/svg+xml ? ? ? ? Fragments de cartes Fragments de cartes+requêtes de sélection Fragments de cartesémantiquement annotés TransformationSTTL TransformationSTTL Annuairede services Plan BPMN Arborescence intentionnelle DESIGN TIME RUN TIME
Introduction
1
2
3
Conclusion
24 of 28
Informatique ambiante
image/svg+xml ? ? ? ? Fragments de cartes Fragments de cartes+requêtes de sélection Fragments de cartesémantiquement annotés TransformationSTTL TransformationSTTL Annuairede services Plan BPMN Arborescence intentionnelle DESIGN TIME RUN TIME - Formalisation de l'opérationnalisationdes cartes (PAR, OR, XOR)- Notion de contexte
Introduction
1
2
3
Conclusion
25 of 28
Informatique ambiante
image/svg+xml ? ? ? ? Fragments de cartes Fragments de cartes+requêtes de sélection Fragments de cartesémantiquement annotés TransformationSTTL TransformationSTTL Annuairede services Plan BPMN Arborescence intentionnelle DESIGN TIME RUN TIME - Formalisation de l'opérationnalisationdes cartes (PAR, OR, XOR)- Notion de contexte - SPARQL-based TransformaTion Language for RDF - Langage générique de transformation de RDF - Extension synthaxique (légère) de SPARQL - Moteur de règles implémenté en STTL
Introduction
1
2
3
Conclusion
26 of 28
Conclusion
Conclusion
  • Actions/activités
  • Annotation des schémas d'application
  • Appariement schémas d'application / besoin
  • Contexte
  • Prototype / tests
  • Informatique ambiante / WoT
  • Visualisation sur le Web
  • Business Intelligence (open data)
  • bridging social semantics and formal semantics on the web (WIMMICS)
Introduction
1
2
3
Conclusion
27 of 28
Langages et techniques du Web sémantique
pour l'ingénierie des besoins
Isabelle Mirbel
Université de Nice Sophia Antipolis
Laboratoire I3S (UNS/CNRS)
INRIA Sophia-Antipolis Mediterranée
France
GDR GPL IB - Paris Octobre 2015