Dynamic Composition of Functionalities of Networked Devices in the Semantic Web - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2009

Dynamic Composition of Functionalities of Networked Devices in the Semantic Web

Composition Dynamique de Functionnalités de Dispositifs en Réseau dans le Web Sémantique

Sattisvar Tandabany
  • Fonction : Auteur
  • PersonId : 865064

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.
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.
Fichier principal
Vignette du fichier
Thesis_Sattisvar.pdf (674.33 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-00436707 , version 1 (27-11-2009)
tel-00436707 , version 2 (27-11-2009)

Identifiants

  • HAL Id : tel-00436707 , version 2

Citer

Sattisvar Tandabany. Dynamic Composition of Functionalities of Networked Devices in the Semantic Web. Computer Science [cs]. Université Joseph-Fourier - Grenoble I, 2009. English. ⟨NNT : ⟩. ⟨tel-00436707v2⟩
245 Consultations
618 Téléchargements

Partager

Gmail Facebook X LinkedIn More