Skip to Main content Skip to Navigation

Dynamic Composition of Functionalities of Networked Devices in the Semantic Web

Abstract : 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.
Document type :
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download
Contributor : Sattisvar Tandabany <>
Submitted on : Friday, November 27, 2009 - 7:03:35 PM
Last modification on : Thursday, November 19, 2020 - 12:59:39 PM
Long-term archiving on: : Saturday, November 26, 2016 - 4:09:31 PM


  • HAL Id : tel-00436707, version 2



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



Record views


Files downloads