a survey of context modelling and reasoning techniques

1. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
a survey of context modelling and reasoning techniques
Tlili Bilel & Bourounia Abir
Master de Recherche En Sciences de L’informatique
2016-2017
1 / 37 Tlili Bilel & Bourounia Abir a survey of context modelling and reasoning techniques

2. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
1 Introduction
2 / 37 Tlili Bilel & Bourounia Abir a survey of context modelling and reasoning techniques

3. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
1 Introduction
2 Mod´elisation contextuelle et raisonnement
2 / 37 Tlili Bilel & Bourounia Abir a survey of context modelling and reasoning techniques

4. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
1 Introduction
2 Mod´elisation contextuelle et raisonnement
3 Mod`eles plus expressifs
2 / 37 Tlili Bilel & Bourounia Abir a survey of context modelling and reasoning techniques

5. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
1 Introduction
2 Mod´elisation contextuelle et raisonnement
3 Mod`eles plus expressifs
4 Conclusion
2 / 37 Tlili Bilel & Bourounia Abir a survey of context modelling and reasoning techniques

6. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Content
1 Introduction
2 Mod´elisation contextuelle et raisonnement
3 Mod`eles plus expressifs
4 Conclusion
3 / 37 Tlili Bilel & Bourounia Abir a survey of context modelling and reasoning techniques

7. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Introduction
Informatique Pervasive
4 / 37 Tlili Bilel & Bourounia Abir a survey of context modelling and reasoning techniques

8. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Introduction
Informatique Pervasive
Informatique pervasive : (Computing Pervasive) qui se traduit litteralement par infor-
matique omnipresente.
4 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

9. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Introduction
Informatique Pervasive
Informatique pervasive : (Computing Pervasive) qui se traduit litteralement par infor-
matique omnipresente.

10. Est le fait d’avoir des objets intelligents et communicants un peu partout c’est `a dire
d’int´egrer des processeurs et des interfaces r´eseaux dans les objets de tous les jours comme
par exemple un frigo pour qu’il commande de lui-mˆeme un nouveau produit lorsqu’il
d´etecte que celui qu’il a en ”stocke” est p´erim´e.
4 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

11. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Introduction
Mod´elisation Contextuelle
5 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

12. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Introduction
Mod´elisation Contextuelle
Le fait qu’une grande partie de l’informatique pervasive se base sur des approches de
mod´elisation contextuelles et du raisonnement, a fait l’objet d’une ´evolution remarquable.
5 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

13. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Introduction
Mod´elisation Contextuelle
Le fait qu’une grande partie de l’informatique pervasive se base sur des approches de
mod´elisation contextuelles et du raisonnement, a fait l’objet d’une ´evolution remarquable.

14. des applications flexibles

15. des applications adaptables

16. des applications ´evolutives

17. des applications agissantes
5 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

18. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Content
1 Introduction
2 Mod´elisation contextuelle et raisonnement
Exigences
Premi`eres approches de la mod´elisation
Vers des outils de mod´elisation plus expressifs
3 Mod`eles plus expressifs
4 Conclusion
6 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

19. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Exigences
Exigences
H´et´erog´en´eit´e et mobilit´e:
7 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

20. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Exigences
Exigences
H´et´erog´en´eit´e et mobilit´e:
Traitement d’une grande vari´et´e de sources d’informations contextuelles.
7 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

21. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Exigences
Exigences
H´et´erog´en´eit´e et mobilit´e:
Traitement d’une grande vari´et´e de sources d’informations contextuelles.
Relations et d´ependances:
7 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

22. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Exigences
Exigences
H´et´erog´en´eit´e et mobilit´e:
Traitement d’une grande vari´et´e de sources d’informations contextuelles.
Relations et d´ependances:
La d´etection des relations entre les diff´erentes sources afin de garantir le bon fonction-
nement des applications contextuelles.
La d´efinition des d´ependances entre diff´erentes entit´es constituant les applications.
7 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

23. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Exigences
Exigences
H´et´erog´en´eit´e et mobilit´e:
Traitement d’une grande vari´et´e de sources d’informations contextuelles.
Relations et d´ependances:
La d´etection des relations entre les diff´erentes sources afin de garantir le bon fonction-
nement des applications contextuelles.
La d´efinition des d´ependances entre diff´erentes entit´es constituant les applications.
Historique du contexte:
7 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

24. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Exigences
Exigences
H´et´erog´en´eit´e et mobilit´e:
Traitement d’une grande vari´et´e de sources d’informations contextuelles.
Relations et d´ependances:
La d´etection des relations entre les diff´erentes sources afin de garantir le bon fonction-
nement des applications contextuelles.
La d´efinition des d´ependances entre diff´erentes entit´es constituant les applications.
Historique du contexte:
Garantir l’acc`es des applications aux ´etats ant´erieurs et/ou futurs des entit´es.
7 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

25. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Exigences
Exigences
H´et´erog´en´eit´e et mobilit´e:
Traitement d’une grande vari´et´e de sources d’informations contextuelles.
Relations et d´ependances:
La d´etection des relations entre les diff´erentes sources afin de garantir le bon fonction-
nement des applications contextuelles.
La d´efinition des d´ependances entre diff´erentes entit´es constituant les applications.
Historique du contexte:
Garantir l’acc`es des applications aux ´etats ant´erieurs et/ou futurs des entit´es.
Imperfection:
7 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

26. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Exigences
Exigences
H´et´erog´en´eit´e et mobilit´e:
Traitement d’une grande vari´et´e de sources d’informations contextuelles.
Relations et d´ependances:
La d´etection des relations entre les diff´erentes sources afin de garantir le bon fonction-
nement des applications contextuelles.
La d´efinition des d´ependances entre diff´erentes entit´es constituant les applications.
Historique du contexte:
Garantir l’acc`es des applications aux ´etats ant´erieurs et/ou futurs des entit´es.
Imperfection:
La tol´erance du raisonnement par rapport `a l’imperfection de certaines informations.
Garantir plus au moins la qualit´e de l’information pour bien supporter le raisonnement
du contexte.
7 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

27. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Exigences
Exigences
Raisonnement:
8 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

28. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Exigences
Exigences
Raisonnement:
Assurer une suffisance de techniques de raisonnement capable de prendre la bonne
d´ecision mˆeme lors du changement de l’´etat de l’environnement.
La possibilit´e de d´eriver des nouveaux faits contextuels en se basant sur l’existant.
8 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

29. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Exigences
Exigences
Raisonnement:
Assurer une suffisance de techniques de raisonnement capable de prendre la bonne
d´ecision mˆeme lors du changement de l’´etat de l’environnement.
La possibilit´e de d´eriver des nouveaux faits contextuels en se basant sur l’existant.
Usabilit´e des formalismes de mod´elisation:
8 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

30. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Exigences
Exigences
Raisonnement:
Assurer une suffisance de techniques de raisonnement capable de prendre la bonne
d´ecision mˆeme lors du changement de l’´etat de l’environnement.
La possibilit´e de d´eriver des nouveaux faits contextuels en se basant sur l’existant.
Usabilit´e des formalismes de mod´elisation:
La faisabilit´e de traduire des situations du monde r´eel par des formalismes de mod´elisation
L’exigence de pr´eparer des mod`eles de l’information simples `a manipuler par l’application.
8 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

31. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Exigences
Exigences
Raisonnement:
Assurer une suffisance de techniques de raisonnement capable de prendre la bonne
d´ecision mˆeme lors du changement de l’´etat de l’environnement.
La possibilit´e de d´eriver des nouveaux faits contextuels en se basant sur l’existant.
Usabilit´e des formalismes de mod´elisation:
La faisabilit´e de traduire des situations du monde r´eel par des formalismes de mod´elisation
L’exigence de pr´eparer des mod`eles de l’information simples `a manipuler par l’application.
Approvisionnement efficace du contexte:
8 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

32. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Exigences
Exigences
Raisonnement:
Assurer une suffisance de techniques de raisonnement capable de prendre la bonne
d´ecision mˆeme lors du changement de l’´etat de l’environnement.
La possibilit´e de d´eriver des nouveaux faits contextuels en se basant sur l’existant.
Usabilit´e des formalismes de mod´elisation:
La faisabilit´e de traduire des situations du monde r´eel par des formalismes de mod´elisation
L’exigence de pr´eparer des mod`eles de l’information simples `a manipuler par l’application.
Approvisionnement efficace du contexte:
Garantir un acc`es efficace aux informations du contexte en pr´esence de plusieurs model´es
et objets de donn´ees.
8 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

33. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Premi`eres approches de la mod´elisation
Key-value
L’utilisation du couple cl´e-valeur pour la repr´esentation de listes des attributs et leurs
valeurs en d´ecrivant l’information contextuelle utilis´ee par une application du contexte.
9 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

34. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Premi`eres approches de la mod´elisation
Key-value
L’utilisation du couple cl´e-valeur pour la repr´esentation de listes des attributs et leurs
valeurs en d´ecrivant l’information contextuelle utilis´ee par une application du contexte.
Exemple
9 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

35. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Premi`eres approches de la mod´elisation
Markup-Models
Les model´es Markup utilisent diff´erents langages de Markup comme XML et RDF.
10 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

36. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Premi`eres approches de la mod´elisation
Markup-Models
Les model´es Markup utilisent diff´erents langages de Markup comme XML et RDF.
Composite Capabilities/Preference Profile(CC/PP)
Utilise RDF.
Introduit les contraintes ´el´ementaires et les relations entre les entit´es.
10 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

37. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Vers des outils de mod´elisation plus expressifs
Vers des outils de mod´elisation plus expressifs
Des approches de mod´elisation limit´ees:
11 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

38. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Vers des outils de mod´elisation plus expressifs
Vers des outils de mod´elisation plus expressifs
Des approches de mod´elisation limit´ees:
Les premi`eres approches de mod´elisation contextuelle,repr´esent´ees par CC/PP et autres
approches similaires,ne r´epondent pas aux exigences que nous avons pr´ec´edemment men-
tionn´es.
11 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

39. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Vers des outils de mod´elisation plus expressifs
Vers des outils de mod´elisation plus expressifs
Des approches de mod´elisation limit´ees:
Les premi`eres approches de mod´elisation contextuelle,repr´esent´ees par CC/PP et autres
approches similaires,ne r´epondent pas aux exigences que nous avons pr´ec´edemment men-
tionn´es.
Vers des approches plus expressives:
11 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

40. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Vers des outils de mod´elisation plus expressifs
Vers des outils de mod´elisation plus expressifs
Des approches de mod´elisation limit´ees:
Les premi`eres approches de mod´elisation contextuelle,repr´esent´ees par CC/PP et autres
approches similaires,ne r´epondent pas aux exigences que nous avons pr´ec´edemment men-
tionn´es.
Vers des approches plus expressives:
Vers des outils de mod´elisation plus expressifs qui offrent une meilleure solution pour des
exigences bien d´etermin´ees.
11 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

41. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Vers des outils de mod´elisation plus expressifs
Vers des outils de mod´elisation plus expressifs
Des approches de mod´elisation limit´ees:
Les premi`eres approches de mod´elisation contextuelle,repr´esent´ees par CC/PP et autres
approches similaires,ne r´epondent pas aux exigences que nous avons pr´ec´edemment men-
tionn´es.
Vers des approches plus expressives:
Vers des outils de mod´elisation plus expressifs qui offrent une meilleure solution pour des
exigences bien d´etermin´ees.
ΠObject-role based Models of context information
11 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

42. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Vers des outils de mod´elisation plus expressifs
Vers des outils de mod´elisation plus expressifs
Des approches de mod´elisation limit´ees:
Les premi`eres approches de mod´elisation contextuelle,repr´esent´ees par CC/PP et autres
approches similaires,ne r´epondent pas aux exigences que nous avons pr´ec´edemment men-
tionn´es.
Vers des approches plus expressives:
Vers des outils de mod´elisation plus expressifs qui offrent une meilleure solution pour des
exigences bien d´etermin´ees.
ΠObject-role based Models of context information
 Spatial Models of context information
11 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

43. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Vers des outils de mod´elisation plus expressifs
Vers des outils de mod´elisation plus expressifs
Des approches de mod´elisation limit´ees:
Les premi`eres approches de mod´elisation contextuelle,repr´esent´ees par CC/PP et autres
approches similaires,ne r´epondent pas aux exigences que nous avons pr´ec´edemment men-
tionn´es.
Vers des approches plus expressives:
Vers des outils de mod´elisation plus expressifs qui offrent une meilleure solution pour des
exigences bien d´etermin´ees.
ΠObject-role based Models of context information
 Spatial Models of context information
Ž Ontology-based Models of context information
11 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

44. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Vers des outils de mod´elisation plus expressifs
Vers des outils de mod´elisation plus expressifs
Des approches de mod´elisation limit´ees:
Les premi`eres approches de mod´elisation contextuelle,repr´esent´ees par CC/PP et autres
approches similaires,ne r´epondent pas aux exigences que nous avons pr´ec´edemment men-
tionn´es.
Vers des approches plus expressives:
Vers des outils de mod´elisation plus expressifs qui offrent une meilleure solution pour des
exigences bien d´etermin´ees.
ΠObject-role based Models of context information
 Spatial Models of context information
Ž Ontology-based Models of context information
 Hybrid context Models
11 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

45. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Content
1 Introduction
2 Mod´elisation contextuelle et raisonnement
3 Mod`eles plus expressifs
Object-role based models
Spatial models
Ontology-based models
Abstractions de contexte de haut niveau
Incertitude des informations contextuelles
Mod`eles de contexte hybride
4 Conclusion
12 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

46. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Object-role based models
Vue d’ensemble du CML
­ CML est bas´e sur Object-Role Modeling, il fournit une notation graphique con¸cue
pour aider `a analyser et `a sp´ecifier formellement les exigences du contexte d’une appli-
cation contextuelle.
13 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

47. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Object-role based models
Vue d’ensemble du CML
­ CML est bas´e sur Object-Role Modeling, il fournit une notation graphique con¸cue
pour aider `a analyser et `a sp´ecifier formellement les exigences du contexte d’une appli-
cation contextuelle.
13 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

48. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Object-role based models
Vue d’ensemble du CML
Exemple
14 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

49. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Object-role based models
Soutien au raisonnement
¢ CML s’appuie sur la formalit´e de ORM pour soutenir l’´evaluation des assertions sim-
ples ainsi que des requˆetes SQL-lite.
15 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

50. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Object-role based models
Soutien au raisonnement
¢ CML s’appuie sur la formalit´e de ORM pour soutenir l’´evaluation des assertions sim-
ples ainsi que des requˆetes SQL-lite.
¢Une des nouvelles fonctionnalit´es du CML est sa capacit´e `a soutenir l’interrogation sur
des informations incertaines (en particulier, des informations ambigu¨es Repr´esent´e `a l’aide
de la construction alternatives ) en utilisant une logique `a trois valeurs.
15 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

51. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Object-role based models
Soutien au raisonnement
¢ CML s’appuie sur la formalit´e de ORM pour soutenir l’´evaluation des assertions sim-
ples ainsi que des requˆetes SQL-lite.
¢Une des nouvelles fonctionnalit´es du CML est sa capacit´e `a soutenir l’interrogation sur
des informations incertaines (en particulier, des informations ambigu¨es Repr´esent´e `a l’aide
de la construction alternatives ) en utilisant une logique `a trois valeurs.
15 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

52. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Object-role based models
Evaluation
16 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

53. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Spatial models
Mod`eles spatiaux d’information contextuelle
L’espace est un contexte important dans nombreuses applications contextuelles.
17 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

54. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Spatial models
Mod`eles spatiaux d’information contextuelle
L’espace est un contexte important dans nombreuses applications contextuelles.
Il est mentionn´e dans certain d´efinitions du contexte en tant qu’un fait vitale.
17 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

55. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Spatial models
Mod`eles spatiaux d’information contextuelle
L’espace est un contexte important dans nombreuses applications contextuelles.
Il est mentionn´e dans certain d´efinitions du contexte en tant qu’un fait vitale.
exemple de mod´elisation en trois aspects contextuels :

56. Who you are?

57. Who you are with?

58. What resources are nearby?
17 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

59. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Spatial models
Mod`eles spatiaux d’information contextuelle
L’espace est un contexte important dans nombreuses applications contextuelles.
Il est mentionn´e dans certain d´efinitions du contexte en tant qu’un fait vitale.
exemple de mod´elisation en trois aspects contextuels :

60. Who you are?

61. Who you are with?

62. What resources are nearby?
L’espace comme aspect central des entit´es du contexte:

63. An entity is a person, place or object that is considered relevant to the interaction be-
tween a user and an application, including the user and applications themselves
17 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

64. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Spatial models
Mod`ele d’information contextuelle

65. La plupart des mod`eles de contexte spatial sont des mod`eles fond´es sur des faits.
18 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

66. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Spatial models
Mod`ele d’information contextuelle

67. La plupart des mod`eles de contexte spatial sont des mod`eles fond´es sur des faits.

68. Ces model´es organisent les informations par leurs emplacement physique.
18 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

69. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Spatial models
Mod`ele d’information contextuelle

70. La plupart des mod`eles de contexte spatial sont des mod`eles fond´es sur des faits.

71. Ces model´es organisent les informations par leurs emplacement physique.

72. Cet emplacement peut ˆetre celui:
Des entit´es du monde r´eel.
Des capteurs qui mesurent les informations du contexte.
Du Contexte non physique.
18 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

73. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Spatial models
Mod`ele d’information contextuelle

74. La plupart des mod`eles de contexte spatial sont des mod`eles fond´es sur des faits.

75. Ces model´es organisent les informations par leurs emplacement physique.

76. Cet emplacement peut ˆetre celui:
Des entit´es du monde r´eel.
Des capteurs qui mesurent les informations du contexte.
Du Contexte non physique.

77. L’emplacement de l’information peut ˆetre soit pr´ed´efinit soit obtenu par un syst`eme de
positionnement.
18 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

78. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Spatial models
Mod`ele d’information contextuelle
Les couches d’ontologies spatiales propos´ees par Frank
19 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

79. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Spatial models
Soutien au raisonnement
Les mod`eles de contexte spatial permettent de raisonner sur l’emplacement et les rela-
tions spatiales des objets.
20 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

80. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Spatial models
Soutien au raisonnement
Les mod`eles de contexte spatial permettent de raisonner sur l’emplacement et les rela-
tions spatiales des objets.
Ces relations couvrent L’inclusion dans une zone ou une plage distincte et la distance `a
d’autres entit´es.
20 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

81. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Spatial models
Soutien au raisonnement
Les mod`eles de contexte spatial permettent de raisonner sur l’emplacement et les rela-
tions spatiales des objets.
Ces relations couvrent L’inclusion dans une zone ou une plage distincte et la distance `a
d’autres entit´es.
Il existe trois types des requˆetes sur les informations du contexte spatial:
20 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

82. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Spatial models
Soutien au raisonnement
Les mod`eles de contexte spatial permettent de raisonner sur l’emplacement et les rela-
tions spatiales des objets.
Ces relations couvrent L’inclusion dans une zone ou une plage distincte et la distance `a
d’autres entit´es.
Il existe trois types des requˆetes sur les informations du contexte spatial:
1 Position: r´ecup´erer la position d’un objet.
20 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

83. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Spatial models
Soutien au raisonnement
Les mod`eles de contexte spatial permettent de raisonner sur l’emplacement et les rela-
tions spatiales des objets.
Ces relations couvrent L’inclusion dans une zone ou une plage distincte et la distance `a
d’autres entit´es.
Il existe trois types des requˆetes sur les informations du contexte spatial:
1 Position: r´ecup´erer la position d’un objet.
2 Range: r´ecup´erer des objets situ´es dans une zone spatiale.
20 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

84. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Spatial models
Soutien au raisonnement
Les mod`eles de contexte spatial permettent de raisonner sur l’emplacement et les rela-
tions spatiales des objets.
Ces relations couvrent L’inclusion dans une zone ou une plage distincte et la distance `a
d’autres entit´es.
Il existe trois types des requˆetes sur les informations du contexte spatial:
1 Position: r´ecup´erer la position d’un objet.
2 Range: r´ecup´erer des objets situ´es dans une zone spatiale.
3 Voisin le plus proche: r´ecup´erer une liste d’un ou plusieurs objets qui sont les plus
proches de la position d’un objet.
20 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

85. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Motivation

86. Le contexte peut ˆetre consid´er´e comme un type sp´ecifique de connaissances.
21 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

87. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Motivation

88. Le contexte peut ˆetre consid´er´e comme un type sp´ecifique de connaissances.

89. Si un framework connu pour la repr´esentation et le raisonnement des connaissances
peut ˆetre appropri´e pour g´erer le contexte?
21 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

90. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Motivation

91. Le contexte peut ˆetre consid´er´e comme un type sp´ecifique de connaissances.

92. Si un framework connu pour la repr´esentation et le raisonnement des connaissances
peut ˆetre appropri´e pour g´erer le contexte?
OWL-DL peut ˆetre une logique de description du contexte

93. Puisque les ontologies sont essentiellement des descriptions de Concepts et de leurs re-
lations, OWL admet le raisonnement atomique n´ecessaire pour la repr´esentation du con-
texte comme une sorte de connaissance.
21 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

94. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Mod`ele d’information contextuelle
OWL-DL comme mod`ele de choix, permet de d´efinir un domaine particulier en d´efinissant
22 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

95. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Mod`ele d’information contextuelle
OWL-DL comme mod`ele de choix, permet de d´efinir un domaine particulier en d´efinissant
Des classes
22 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

96. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Mod`ele d’information contextuelle
OWL-DL comme mod`ele de choix, permet de d´efinir un domaine particulier en d´efinissant
Des classes
Des Objets
22 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

97. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Mod`ele d’information contextuelle
OWL-DL comme mod`ele de choix, permet de d´efinir un domaine particulier en d´efinissant
Des classes
Des Objets
Des relations(object properties)
22 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

98. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Mod`ele d’information contextuelle
OWL-DL comme mod`ele de choix, permet de d´efinir un domaine particulier en d´efinissant
Des classes
Des Objets
Des relations(object properties)
des propri´et´es de l’objet(data type)
22 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

99. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Mod`ele d’information contextuelle
OWL-DL comme mod`ele de choix, permet de d´efinir un domaine particulier en d´efinissant
Des classes
Des Objets
Des relations(object properties)
des propri´et´es de l’objet(data type)
Exemple 1

100. On admet les trois classe Person, Male et Female.

101. une instance de la classe Male peut ˆetre d´efinit par:
Male ≡ Person ¬Female
22 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

102. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Mod`ele d’information contextuelle

103. Pour un niveau plus complexe de mod´elisation,OWL-DL d´efinit les restrictions pour
forcer toutes/certains valeurs d’une propri´et´e.
23 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

104. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Mod`ele d’information contextuelle

105. Pour un niveau plus complexe de mod´elisation,OWL-DL d´efinit les restrictions pour
forcer toutes/certains valeurs d’une propri´et´e.

106. Des informations peuvent ˆetre d´eduites par des tˆaches de raisonnement sur la base des
donn´ees brutes directement acquises par les capteurs et d’autres donn´ees contextuelles
complexes peuvent ˆetre repr´esent´ees par des expressions OWL-DL structur´ees.
23 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

107. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Mod`ele d’information contextuelle

108. Pour un niveau plus complexe de mod´elisation,OWL-DL d´efinit les restrictions pour
forcer toutes/certains valeurs d’une propri´et´e.

109. Des informations peuvent ˆetre d´eduites par des tˆaches de raisonnement sur la base des
donn´ees brutes directement acquises par les capteurs et d’autres donn´ees contextuelles
complexes peuvent ˆetre repr´esent´ees par des expressions OWL-DL structur´ees.
Exemple 2 (CARE framework)

110. BusinessMeeting as including any activity performed in a conference room within a
company building, and having at least two actors, each of which is an employee1
BusinessMeeting Activity ≥ 2hasActor ∀hasActor.Employee
∃hasLocation.(ConfRoom CompanyBuilding)
23 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

111. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Soutien au raisonnement
Formalisme de pr´esentation simple supporte le raisonnement.
24 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

112. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Soutien au raisonnement
Formalisme de pr´esentation simple supporte le raisonnement.
Sur la base des connaissances acquises, il est possible de tirer automatiquement de nou-
velles connaissances sur le contexte actuel.
24 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

113. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Soutien au raisonnement
Formalisme de pr´esentation simple supporte le raisonnement.
Sur la base des connaissances acquises, il est possible de tirer automatiquement de nou-
velles connaissances sur le contexte actuel.
Supporter la d´etection des incoh´erences possibles dans l’information contextuelle.
24 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

114. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Soutien au raisonnement
Formalisme de pr´esentation simple supporte le raisonnement.
Sur la base des connaissances acquises, il est possible de tirer automatiquement de nou-
velles connaissances sur le contexte actuel.
Supporter la d´etection des incoh´erences possibles dans l’information contextuelle.
Raisonnement ontologique peut ˆetre ex´ecut´ee pour inf´erer de nouvelles informations de
contexte bas´ees sur les classes et les propri´et´es d´efinies, et sur objets r´ecup´er´es `a partir
des capteurs et d’autres sources du contexte.
24 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

115. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Evaluation
25 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

116. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Evaluation
Bien Que le mod`ele ontologique:
25 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

117. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Evaluation
Bien Que le mod`ele ontologique:
Est une solution satisfaisante pour une large gamme des applications contextuelle.
25 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

118. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Evaluation
Bien Que le mod`ele ontologique:
Est une solution satisfaisante pour une large gamme des applications contextuelle.
A la capacit´e d’exprimer les relations et les d´ependances entre les donn´ees du contexte.
25 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

119. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Evaluation
Bien Que le mod`ele ontologique:
Est une solution satisfaisante pour une large gamme des applications contextuelle.
A la capacit´e d’exprimer les relations et les d´ependances entre les donn´ees du contexte.
Supporte l’h´et´erog´en´eit´e et l’interop´erabilit´e.
25 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

120. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Evaluation
Bien Que le mod`ele ontologique:
Est une solution satisfaisante pour une large gamme des applications contextuelle.
A la capacit´e d’exprimer les relations et les d´ependances entre les donn´ees du contexte.
Supporte l’h´et´erog´en´eit´e et l’interop´erabilit´e.
Mais!!!
25 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

121. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Evaluation
Bien Que le mod`ele ontologique:
Est une solution satisfaisante pour une large gamme des applications contextuelle.
A la capacit´e d’exprimer les relations et les d´ependances entre les donn´ees du contexte.
Supporte l’h´et´erog´en´eit´e et l’interop´erabilit´e.
Mais!!!
En ce qui concerne la ponctualit´e, nous notons qu’au moment de la r´edaction de l’article
il existe tr`es peu d’appui pour la mod´elisation des aspects temporels dans les ontologies.
25 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

122. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Ontology-based models
Evaluation
Bien Que le mod`ele ontologique:
Est une solution satisfaisante pour une large gamme des applications contextuelle.
A la capacit´e d’exprimer les relations et les d´ependances entre les donn´ees du contexte.
Supporte l’h´et´erog´en´eit´e et l’interop´erabilit´e.
Mais!!!
En ce qui concerne la ponctualit´e, nous notons qu’au moment de la r´edaction de l’article
il existe tr`es peu d’appui pour la mod´elisation des aspects temporels dans les ontologies.
Les op´erateurs fournis par OWL-DL sont parfois insuffisantes pour d´efinir des descrip-
tions du contexte complexes.
25 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

123. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
Motivation

124. L’information acquise par des capteurs physique sans aucune interpr´etation repr´esente
un contexte dit bas niveau.
26 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

125. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
Motivation

126. L’information acquise par des capteurs physique sans aucune interpr´etation repr´esente
un contexte dit bas niveau.

127. Cette information peut ˆetre insuffisante, incertaine et vuln´erable aux changements.
26 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

128. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
Motivation

129. L’information acquise par des capteurs physique sans aucune interpr´etation repr´esente
un contexte dit bas niveau.

130. Cette information peut ˆetre insuffisante, incertaine et vuln´erable aux changements.

131. En fait, la limitation des indices contextuels de bas niveau lors de la mod´elisation des
interactions et des comportements humains risque de r´eduire l’utilit´e des applications sen-
sibles au contexte.
26 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

132. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
Motivation

133. L’information acquise par des capteurs physique sans aucune interpr´etation repr´esente
un contexte dit bas niveau.

134. Cette information peut ˆetre insuffisante, incertaine et vuln´erable aux changements.

135. En fait, la limitation des indices contextuels de bas niveau lors de la mod´elisation des
interactions et des comportements humains risque de r´eduire l’utilit´e des applications sen-
sibles au contexte.
¯ L’id´ee est d’abstraire le contexte du bas niveau en cr´eant une nouvelle couche du mod`ele
qui obtient les perceptions des capteurs comme entr´ee et g´en`ere ou d´eclenche des actions
syst`eme.
26 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

136. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
D´efinition des situations
27 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

137. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
D´efinition des situations

138. Une situation est une abstraction s´emantique `a partir des faits contextuels de bas niveau,
de la connaissance et l’interpr´etation du monde r´eel.
27 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

139. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
D´efinition des situations

140. Une situation est une abstraction s´emantique `a partir des faits contextuels de bas niveau,
de la connaissance et l’interpr´etation du monde r´eel.

141. Cette abstraction doit ˆetre int´egr´ee dans un mod`ele ou dans une repr´esentation de la
situation.
27 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

142. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
D´efinition des situations

143. Une situation est une abstraction s´emantique `a partir des faits contextuels de bas niveau,
de la connaissance et l’interpr´etation du monde r´eel.

144. Cette abstraction doit ˆetre int´egr´ee dans un mod`ele ou dans une repr´esentation de la
situation.
1 Soit durant le processus de la sp´ecification:
27 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

145. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
D´efinition des situations

146. Une situation est une abstraction s´emantique `a partir des faits contextuels de bas niveau,
de la connaissance et l’interpr´etation du monde r´eel.

147. Cette abstraction doit ˆetre int´egr´ee dans un mod`ele ou dans une repr´esentation de la
situation.
1 Soit durant le processus de la sp´ecification:
L’homme d´efinit les situations et leurs relations en se basant sur sa connaissance.
27 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

148. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
D´efinition des situations

149. Une situation est une abstraction s´emantique `a partir des faits contextuels de bas niveau,
de la connaissance et l’interpr´etation du monde r´eel.

150. Cette abstraction doit ˆetre int´egr´ee dans un mod`ele ou dans une repr´esentation de la
situation.
1 Soit durant le processus de la sp´ecification:
L’homme d´efinit les situations et leurs relations en se basant sur sa connaissance.
2 Par reconnaissance automatiques des situations:
27 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

151. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
D´efinition des situations

152. Une situation est une abstraction s´emantique `a partir des faits contextuels de bas niveau,
de la connaissance et l’interpr´etation du monde r´eel.

153. Cette abstraction doit ˆetre int´egr´ee dans un mod`ele ou dans une repr´esentation de la
situation.
1 Soit durant le processus de la sp´ecification:
L’homme d´efinit les situations et leurs relations en se basant sur sa connaissance.
2 Par reconnaissance automatiques des situations:
Les perceptions des capteurs sont agr´eg´ees et associ´ees `a une ´etiquette de situation
d´efinie par l’homme.
27 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

154. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
Relations entre situations

155. Une fois que la situation r´eelle est connue,on peut connaˆıtre les relations possibles (par
exemple, connaˆıtre les situations possibles successeur de la situation actuelle.
28 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

156. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
Relations entre situations

157. Une fois que la situation r´eelle est connue,on peut connaˆıtre les relations possibles (par
exemple, connaˆıtre les situations possibles successeur de la situation actuelle.

158. L’aspect ´etatique des situations est souvent soulign´e par la contrainte selon laquelle au
moins une situation doit ˆetre active `a la fois.
28 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

159. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
Relations entre situations

160. Une fois que la situation r´eelle est connue,on peut connaˆıtre les relations possibles (par
exemple, connaˆıtre les situations possibles successeur de la situation actuelle.

161. L’aspect ´etatique des situations est souvent soulign´e par la contrainte selon laquelle au
moins une situation doit ˆetre active `a la fois.

162. Cela peut fournir plus de stabilit´e et de meilleures performances, mais n´ecessite un
mod`ele de situation complet (exhaustif) pour l’application contextuelle.
28 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

163. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
Relations entre situations

164. Une fois que la situation r´eelle est connue,on peut connaˆıtre les relations possibles (par
exemple, connaˆıtre les situations possibles successeur de la situation actuelle.

165. L’aspect ´etatique des situations est souvent soulign´e par la contrainte selon laquelle au
moins une situation doit ˆetre active `a la fois.

166. Cela peut fournir plus de stabilit´e et de meilleures performances, mais n´ecessite un
mod`ele de situation complet (exhaustif) pour l’application contextuelle.

167. Toutes les situations potentielles, leurs relations et leurs transitions doivent ˆetre in-
cluses dans ce mod`ele, ce qui n’est pas toujours possible.
28 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

168. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
Mod`ele d’abstraction du contexte de haut niveau
29 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

169. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Abstractions de contexte de haut niveau
Mod`ele d’abstraction du contexte de haut niveau
29 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

170. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Incertitude des informations contextuelles
Motivation
30 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

171. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Incertitude des informations contextuelles
Motivation
Le monde physique et les mesures faites par l’ˆetre humain sont sujets `a l’incertitude.
30 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

172. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Incertitude des informations contextuelles
Motivation
Le monde physique et les mesures faites par l’ˆetre humain sont sujets `a l’incertitude.
Il faut avoir des model´es d’incertitude qui incluent des entit´es cens´es sentir les con-
textes incertains.
30 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

173. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Incertitude des informations contextuelles
Solutions propos´ees
31 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

174. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Incertitude des informations contextuelles
Solutions propos´ees

175. La logique floue:
31 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

176. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Incertitude des informations contextuelles
Solutions propos´ees

177. La logique floue:
Les valeurs de confiance repr´esentent des degr´es d’appartenance(pas de probabilit´e).
Utile pour capturer et repr´esenter des notions.
31 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

178. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Incertitude des informations contextuelles
Solutions propos´ees

179. La logique floue:
Les valeurs de confiance repr´esentent des degr´es d’appartenance(pas de probabilit´e).
Utile pour capturer et repr´esenter des notions.

180. La logique probabiliste:
Permet de faire des assertions logiques associ´ees `a une probabilit´e.
Permet de faire des ´enonc´es tels que la probabilit´e de E est inf´erieure `a 1/3 et
la probabilit´e de E est au moins deux fois la probabilit´e de F .
31 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

181. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Incertitude des informations contextuelles
Solutions propos´ees

182. La logique floue:
Les valeurs de confiance repr´esentent des degr´es d’appartenance(pas de probabilit´e).
Utile pour capturer et repr´esenter des notions.

183. La logique probabiliste:
Permet de faire des assertions logiques associ´ees `a une probabilit´e.
Permet de faire des ´enonc´es tels que la probabilit´e de E est inf´erieure `a 1/3 et
la probabilit´e de E est au moins deux fois la probabilit´e de F .

184. Mod`ele de Markov cach´e(HMM):
Repr´esente des s´equences stochastiques comme des chaˆınes de Markov: les ´etats ne
sont pas directement observ´es.
Les probabilit´es d’occurrence d´ependent des ´etats cach´es.
31 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

185. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Mod`eles de contexte hybride
Pourquoi le mod`ele Hybride?
32 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

186. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Mod`eles de contexte hybride
Pourquoi le mod`ele Hybride?
Les approches de mod´elisation du contexte et du raisonnement qu’on a d´ej`a mentionn´ees
ne satisfont pas toutes les sp´ecifications requises.
32 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

187. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Mod`eles de contexte hybride
Pourquoi le mod`ele Hybride?
Les approches de mod´elisation du contexte et du raisonnement qu’on a d´ej`a mentionn´ees
ne satisfont pas toutes les sp´ecifications requises.
Les chercheurs ont ´et´e men´es `a pr´esenter des mod`eles hybrides en combinant plusieurs
approches.
32 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

188. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Mod`eles de contexte hybride
Approche Hybrides
Mod`ele bas´e sur l’objet + Mod`ele bas´e sur les ontologies
33 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

189. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Mod`eles de contexte hybride
Approche Hybrides
Mod`ele bas´e sur l’objet + Mod`ele bas´e sur les ontologies

190. Combinaison des ontologies avec les approches bas´ees sur l’objet offertes par le CML.
33 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

191. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Mod`eles de contexte hybride
Approche Hybrides
Mod`ele bas´e sur l’objet + Mod`ele bas´e sur les ontologies

192. Combinaison des ontologies avec les approches bas´ees sur l’objet offertes par le CML.

193. Fusionner la gestion de l’ambigu¨ıt´e et de l’imperfection du mod`ele objet avec le sup-
port de l’interop´erabilit´e et le soutien du raisonnement du mod`ele bas´e sur les ontologies.
Exemple 1

194. Utilisation du raisonnement ontologique pour d´eduire une nouvelle connaissance.

195. hasCurrActivity ∗ (x, BusinessMeeting) → hasAvailState(x, Busy)
33 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

196. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Mod`eles de contexte hybride
Approche Hybrides
Vers un mod`ele hybride hi´erarchique: gains et enjeux ouverts
34 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

197. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Content
1 Introduction
2 Mod´elisation contextuelle et raisonnement
3 Mod`eles plus expressifs
4 Conclusion
35 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

198. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Conclusion
36 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

199. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Conclusion
Dans cet article, les chercheurs ont pr´esent´e l’´etat de l’art dans la mod´elisation con-
textuelle et le raisonnement qui soutient la collecte, l’´evaluation et la diffusion de l’informatio
contextuelle dans l’informatique pervasive.
36 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

200. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
Conclusion
Dans cet article, les chercheurs ont pr´esent´e l’´etat de l’art dans la mod´elisation con-
textuelle et le raisonnement qui soutient la collecte, l’´evaluation et la diffusion de l’informatio
contextuelle dans l’informatique pervasive.
Les approches existantes de la mod´elisation de l’information contextuelle diff`erent dans
la puissance expressive des mod`eles d’information contextuelle, dans le soutien qu’ils peu-
vent fournir pour le raisonnement sur l’information contextuelle et dans la performance
du raisonnement.
36 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques

201. Sommaire Introduction Mod´elisation contextuelle et raisonnement Mod`eles plus expressifs Conclusion
37 / 37 Tlili Bilel Bourounia Abir a survey of context modelling and reasoning techniques