SCALESEM : Evaluation of Semantic Graph based on Model Checking

Abstract : Semantic interoperability problems have found their solutions using languages and techniques from the Semantic Web. The proliferation of ontologies and meta-information has improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modelling and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of research concerns the adaptation of model checking techniques to semantic graphs. In this paper, we present a first method of converting RDF graphs into NμSMV and PROMELA languages.
Type de document :
Communication dans un congrès
ACM SIGMIS. 7th International Conference on Web Information Systems and Technologies (WEBIST 2011), May 2011, Netherlands. INSTICC, pp.395-398, 2011
Liste complète des métadonnées

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

https://hal-univ-bourgogne.archives-ouvertes.fr/hal-00617998
Contributeur : Sylvain Rampacek <>
Soumis le : mercredi 31 août 2011 - 11:38:28
Dernière modification le : lundi 21 mars 2016 - 17:27:12
Document(s) archivé(s) le : jeudi 1 décembre 2011 - 02:25:45

Fichier

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

Identifiants

  • HAL Id : hal-00617998, version 1

Collections

Citation

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. SCALESEM : Evaluation of Semantic Graph based on Model Checking. ACM SIGMIS. 7th International Conference on Web Information Systems and Technologies (WEBIST 2011), May 2011, Netherlands. INSTICC, pp.395-398, 2011. 〈hal-00617998〉

Partager

Métriques

Consultations de la notice

258

Téléchargements de fichiers

99