Composition dynamique de fonctionnalités de dispositifs en réseaux dans le web semantique

par Sattisvar Tandabany

Thèse de doctorat en Informatique

Sous la direction de Marie-Christine Rousset.

Soutenue en 2009

à l'Université Joseph Fourier (Grenoble) .


  • Résumé

    Dans des réseaux opportunistes --- dont la topologie est dynamique --- de dispositifs intelligents, nous traitons le problème de la recherche et de la composition dynamique de fonctionnalités à l'aide d'une description logique des dispositifs. Nous définissons un langage logique du premier ordre dans lequel les dispositifs, leurs fonctionnalités et leur propriétés sont exprimés, en utilisant une taxonomie de classes pour contraindre le type des ressources. Nous définissons conjointement un langage de requêtes basé sur celui de la description nous permettant d'utiliser des raisonneurs du type Prolog pour répondre aux requêtes. Ces réponses sont des instanciations des variables d'intérêt présentes dans la requête et représentent des constructions de fonctionnalités composées. Dans un second temps, pour faire face aux spécificités d'un réseau dynamique, nous utilisons la plateforme SomeWhere --- qui permet de faire du raisonnement en logique propositionnel lorsque la base de connaissances est totalement distribuée --- comme un service de lookup récupérant un sous-ensembles des ressources dont les descriptions sont nécessaires à l'obtention de toutes les réponses à la requête donnée via le raisonneur. Dans cette optique, nous utilisons un encodage des descriptions et de la requête écrites en logique du premier ordre vers la logique propositionnelle qui conserve les bonnes propriétés de la description.


  • Résumé

    In opportunistic networks — which topology is dynamic — of smart devices, we address the problem of looking for functionalities and of building a composition of functionalities with a logical description of the devices. We define a first order logic language in which the devices, their functionalities and their properties are expressed using taxonomies of classes to constrain the type of resources. We jointly define a query language based on the description language, allowing us to use a reasoner like P ROLOG to answer to the queries. Those answers are instanciations of the variables of interest which belong to the query. They represent composed functionalities. Next, to deal with the dynamicity of the network, the platform S OME W HERE — that make reasoning in propositional logic in a totally distributed manner — is used as a lookup service retrieving a subset of resources which descriptions are necessary to obtain all the answers to a certain query. For that purpose, we use an encoding of the descriptions and of the query, both written in first order logic, into propositional logic so that some good properties of the descriptions are kept.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (95 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 26 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS09/GRE1/0267/D
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : TS09/GRE1/0267
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.