6533b7ddfe1ef96bd12753d2

RESEARCH PRODUCT

RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker

Christophe NicolleSylvain RampacekMahdi Gueffaz

subject

[ INFO.INFO-MO ] Computer Science [cs]/Modeling and SimulationTheoretical computer science[INFO.INFO-WB] Computer Science [cs]/WebComputer science0211 other engineering and technologies[ INFO.INFO-WB ] Computer Science [cs]/WebTemporal logic02 engineering and technologyRDF/XMLRDF020204 information systemsSemantic computing021105 building & construction0202 electrical engineering electronic engineering information engineeringSPARQLBIMRDFCwmSemantic WebBIM.Semantic Web Rule Language[INFO.INFO-WB]Computer Science [cs]/WebModel-Checkingcomputer.file_format[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationSPINSemantic graphSemantic technologyIFC[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulationcomputer

description

International audience; 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, RDF2SPIN, which converts RDF graphs into SPIN language. This conversion aims checking the semantic graphs with the model checker SPIN in order to verify the consistency of the data. To illustrate our proposal we used RDF graphs derived from IFC files. 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.

yearjournalcountryeditionlanguage
2011-06-21
https://u-bourgogne.hal.science/hal-00617983