====== Projet Recherche de Master de Rocher Gérald (PFE) ====== ====== Sélection Sémantique de Services pour Dispositif : Gestion Dynamique de la Base de Connaissance ====== ===== Etudiant Rocher Gérald ===== === Poursuite en stage === [[https://www.tigli.fr/doku.php?id=recherche:masters:stage_rocher_gerald|Page wiki du stage]] ===== Résumé du Sujet :===== Dans les systèmes informatiques ambiants, les applications logicielles sont composées à partir d'une sélection de services logiciels intégrés à des dispositifs et des objets de notre vie quotidienne qui, devenant communicants (Internet of Things), peuvent dès lors, être observés et contrôlés. Ces objets et ces dispositifs, fixes ou mobiles, sont soumis aux phénomènes physiques de l’environnement réel dans lequel ils sont placés ce qui implique une évolution de leur disponibilité dans le temps et dans l'espace. Il est donc primordial que le mécanisme de sélection de services, au-delà des fonctionnalités offertes par les services, tienne compte également de leur dynamique physique inhérente à leur intégration dans le monde réel. Dans ce cadre, l'utilisation des standards du web sémantique (Web of Things) est étudiée pour obtenir, à partir d’annotations sémantiques formelles sur les dispositifs et les services, une représentation dynamique et incrémentale des connaissances fonctionnelles et contextuelles qui leur est associée et permettre la gestion de leur évolution dans le temps et dans l'espace. === Mots clefs === Semantic Web, knowledge representation and management, Context, Ambient computing, Web of Things ===== Positionnement du Sujet (DONE) ===== Cf. {{:recherche:masters:minutes_131014.pdf|compte rendu meeting G. Rocher 131014}} Cf. {{:recherche:masters:positionnement_du_sujet_pfe_recherche_gerald_rocher_jyt_201014.pdf|Slides positionnement du sujet dans les travaux Rainbow JYT 201014}} === Introduction à l'adaptation dynamique d'une composition de services à la variation des services sur dispositifs disponibles === Cf. le projet ANR CONTINUUM : [[http://continuum.unice.fr/_media/livrables:livrable_d3.1.pdf|livrable 1 sur la gestion de l'hétérogénéité]], [[http://continuum.unice.fr/_media/livrables:livrable_d3.2-3.pdf|livrable 2 sur la gestion de l'hétérogénéité]] et Application la BdC CONQUER (A. Benyelloul, F. Jouanot, M.C. Rousset. Conquer: an RDFS-based model for context querying, UbiMob 2010, Lyon, Juin 2010). ===== Description of Work ===== {{:recherche:masters:dow.pdf|}} Commentaires sur ce travail: {{:recherche:masters:reviews_dow_gerald_rocher.pdf|}} ===== Etude bibliographique ====== === Synthèse === {{:recherche:masters:systematic_litterature_review.pdf|}} Commentaires sur ce travail: {{:recherche:masters:reviews_slr_gerald_rocher.pdf|}} === Bibliographie complète === {{:recherche:masters:bibliographie.pdf|}} ===== Travail effectué ===== Le document ci-dessous présente l'avancement des travaux. == Ver0.1 (9 Décembre 2014) == {{:recherche:masters:wip_ver0.1.pdf|}} * a) Présentation des standards du web sémantique (RDF/RDFS et OWL) * b) Modélisation d'une ontologie simple (A l'aide de l'outil Protégé) * c) Mise en place de 3 scénarios mettant en oeuvre la contextualisation de propriétés dynamiques à partir de l'approche 4D-Fluents généralisée ([[http://www.google.fr/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&uact=8&ved=0CCQQFjAA&url=http%3A%2F%2Fceur-ws.org%2FVol-671%2Fpat01.pdf&ei=KlSHVJiCMoHkUriLggP&usg=AFQjCNEISBcjSu9_Q1llHtPSAbwdyphLDA&sig2=auTBEMvRHzX2N6Tkamkk7A&bvm=bv.81449611,d.d24|Context Slices: Representing Contexts in OWL]]) * d) Mise en place de requêtes SPARQL pour validation * e) Ajout de règles pour le raisonnement (langage SWRL) + plug-in Pellet (raisonneur) __Ontologies au format .owl utilisées dans les scénarios:__ {{:recherche:masters:scenarios_ver0_1.zip|}} == Rendu correspondant au jalon#2 == Formalisation de l'état d'avancement avec une vidéo de démonstration {{:recherche:masters:jalon2_gerald_rocher.pdf|}} == Rendu final == {{:recherche:masters:rapport_final_pfe_g_rocher.pdf|}} {{:recherche:masters:rapport_final_pfe_g_rocher.docx|}} == Présentation == {{https://www.dropbox.com/s/8ujvwwqa0htfvvj/Y1415_S051.pdf?dl=1|Soutenance du 5 Mars 2015}} ==== Demo ==== === Package === {{https://www.dropbox.com/s/uu1toq1vvv8bt5j/PFE_G_Rocher_Demo.zip?dl=1|package demo}} == Video == {{https://www.dropbox.com/s/woyhs3qo9m6uilp/Y1415_S051.mpeg4?dl=0|video de demonstration}} ===== Meetings ===== === 111014 : explication du sujet, G. Rocher === === 131014 : explication des résultats de R. Daikhi et portage de ses résultats logiciels === {{:recherche:masters:minutes_131014.pdf|}} === 241014 : Positionnement du sujet dans les travaux sur les schémas d'adaptation et plus précisément dans le cycle de la sélection de service === {{:recherche:masters:minutes_241014.pdf|}} {{:recherche:masters:minutes_241014_v1_jy.pdf|}} === 031114 : Meeting O. Corby 10h:11h === === 031114 : Meeting J.-Y. Tigli 11h: 12h === * Remarque 1 sur le scénario 1 : qu'il soit réaliste par rapport à l'approche sous-jacente, i.e. en utilisant des schémas d'adaptation (SA). La modifcation majeure, même si elle n'est pas détaillée dans l'implémnetation, c'est de faire apparaître un détecteur de présence dans le salon. Le scenario est lors bien "implémentable" avec les SA (trois au total). Le téléphone quant à lui n'a pas d'intérêt (il peut accueillir la composition logicielle globale mais mieux vaut la voir comme "cloudée" pour l'instant ...). ** Mettre en italique ** le texte qui spécifie les conditions sémantique sur les dispositifs pris en compte. * Remarque 1 sur le scénario 2 : un seul SA. ** Mettre en italique ** la condition sémantique : lave linge de Bob entre 22h et 6h * QUESTION pour Olivier : est-ce un sujet à écarter car trop lourd à côté de la gestion des propriétés dynamiques ? * QUESTION pour Rhama: état de Conquer pour travailler ? === 241114 : Meeting J.-Y. Tigli 14h: 15h === === 281114 : Meeting J.-Y. Tigli O. Corby 16h: 18h === * Revue et commentaires sur la SLR === 021214 : Meeting J.-Y Tigli 10h30 : 12h === * Envoyer dernière version de la SLR à O.Corby (DONE) * Préparer l'état de l'avancement (DONE -- ver0.1) === 121214 : Meeting J.Y Tigli 12h30 : 14h === * Présentation de l'état d'avancement en préparation au rendu du jalon#2 {{:recherche:masters:wip_ver0.1.pdf|}} ===== ARCHIVES sur les installations logicielles des travaux de Daikhi ===== Les pages Web sur les travaux de Rhama Daikhi sur lesquels s'appuie ce projet sont sur ([[https://www.tigli.fr/doku.php?id=recherche:masters:daiki_rhama | Site Web du projet de stage de Master de Daikhi Rahma 2013 2014]].