HADAS a team from Grenoble Informatics Laboratory

Dynamic Composition of Functionalities of Networked Devices in Semantic Web

Sattisvar Tandabany
under the direction of Marie-Christine Rousset

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 f the devices. We define a first order logic language in which the devices, their functionalities and their properties are expressed sing 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 Prolog to answer to the queries.
Those answers are instanciations of the variables of interest which elong to the query. They represent composed functionalities. Next, to
deal with the dynamicity of the network, the platform SomeWhere --- that make reasoning in propositional logic in a totally distributed manner --- is used as a lookup service retrieving a subset of esources 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.