Home // AFIN 2011, The Third International Conference on Advances in Future Internet // View article

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

Authors:
Mahdi Gueffaz
Sylvain Rampacek
Christophe Nicolle

Keywords: Semantic graph, RDF, Model-checking, temporal logic, NµSMV, IFC, BIM.

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.)

Pages: 49 to 53

Copyright: Copyright (c) IARIA, 2011

Publication date: August 21, 2011

Published in: conference

ISSN: 2308-4340

ISBN: 978-1-61208-148-9

Location: Nice/Saint Laurent du Var, France

Dates: from August 21, 2011 to August 27, 2011