You are here : 
IAF Calls & Action Lines
Enabling technologies for semantic interoperability
(Jérôme Euzenat, INRIA Rhône-Alpes)
The vision of a "semantic web" is realised by the annotation of each web page, containing informal knowledge as we know it now, with formal knowledge whose terminology is described in an ontology. For several reasons (legacy knowledge, ease of use, heterogeneity of devices and adaptability, timelessness), it is not likely that this formal knowledge will be encoded in the very same language. The interoperability of the formal knowledge languages must then be studied in order to gather, to transform and to adapt the knowledge acquired through the semantic web.
We are pursuing researches for achieving interoperability between these formal annotations at the semantic level (i.e. based on the meaning of the knowledge language constructs). Several complementary tracks of research are developing: describing modular families of languages allows to deal with adaptability by choosing the most suitable language while easing the exchange of knowledge; the pattern approach (followed with Heiner Stuckenschmidt) allows to describe structures shared by languages from which it is easier to transform knowledge; the transformation and property approach allows to define the properties satisfied by elementary transformations (e.g. meaning preservation) and the combination of such transformations preserving properties.
These tracks share common grounds such as the description of the semantics of the used languages and proof checking techniques that can be part of the web of trust.
- Presentation slides
- e-mail: Jerome.Euzenat@inrialpes.fr
- URL: http://www.inrialpes.fr/exmo