An infrastructure for formally ensuring interoperability in a heterogeneous semantic web

Abstract : Because different applications and different communities require different features, the semantic web might have to face the heterogeneity of the languages for expressing knowledge. Yet, it will be necessary for many applications to use knowledge coming from different sources. In such a context, ensuring the correct understanding of imported knowledge on a semantic ground is very important. We present here an infrastructure based on the notions of transformations from one language to another and of properties satisfied by transformations. We show, in the particular context of semantic properties and description logics markup language, how it is possible (1) to define properties of transformations, (2) to express, in a form easily processed by machine, the proof of a property and (3) to construct by composition a proof of properties satisfied by compound transformations. All these functions are based on extensions of current web standard languages.
Type de document :
Communication dans un congrès
Proc. 1st semantic web working symposium (SWWS), Jul 2001, Stanford, United States. No commercial editor., pp.345-360, 2001, Proc. 1st semantic web working symposium (SWWS)
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00822913
Contributeur : Jérôme Euzenat <>
Soumis le : mardi 21 mai 2013 - 12:38:51
Dernière modification le : mercredi 11 avril 2018 - 01:53:53
Document(s) archivé(s) le : jeudi 22 août 2013 - 10:50:36

Fichier

euzenat2001f.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00822913, version 1

Collections

Citation

Jérôme Euzenat. An infrastructure for formally ensuring interoperability in a heterogeneous semantic web. Proc. 1st semantic web working symposium (SWWS), Jul 2001, Stanford, United States. No commercial editor., pp.345-360, 2001, Proc. 1st semantic web working symposium (SWWS). 〈hal-00822913〉

Partager

Métriques

Consultations de la notice

471

Téléchargements de fichiers

192