Dynamic Composition of Functionalities of Networked Devices in the Semantic Web
Sattisvar Tandabany · HAL (Le Centre pour la Communication Scientifique Directe) · 2009
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.