Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

RDF2NμSMV: Mapping Semantic Graphs to NμSMV Model Checker

Abstract : The most frequently used language to represent the semantic graphs is the RDF (W3C standard for meta-modeling). The construction of semantic graphs is a source of numerous errors of interpretation. 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 between two areas: the Semantic Web and the model checking. For this, we developed a tool, RDF2NμSMV, which converts RDF graphs into NμSMV language. This conversion aims checking the semantic graphs with the model checker NμSMV in order to verify the consistency of the data. To illustrate our proposal we used RDF graphs derived from IFC files (Building Information Modeling). These files represent digital 3D building model. Our final goal is to check the consistency of the IFC files that are made from a cooperation of heterogeneous information sources (plumbers, architects, electricians, etc.)
Type de document :
Communication dans un congrès
Domaine :
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-00617722
Contributeur : Sylvain Rampacek <>
Soumis le : mardi 30 août 2011 - 13:15:43
Dernière modification le : vendredi 23 octobre 2020 - 16:40:39
Archivage à long terme le : : jeudi 30 mars 2017 - 14:16:15

Fichier

RDF2NI_SMV_Mapping_Semantic_Gr...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00617722, version 1

Citation

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. RDF2NμSMV: Mapping Semantic Graphs to NμSMV Model Checker. International Conference on Advances in Future Internet (AFIN 2011), Aug 2011, Nice/Saint Laurent du Var, France. pp.5. ⟨hal-00617722⟩

Partager

Métriques

Consultations de la notice

720

Téléchargements de fichiers

146