SCALESEM : Evaluation of Semantic Graph based on Model Checking

Mahdi Gueffaz (1) , Sylvain Rampacek (1) , Christophe Nicolle (1)

1 Le2i - Laboratoire Electronique, Informatique et Image [UMR6306]

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.

Mots clés: Semantic graph; Model-checking; Temporal logic.; Temporal logic

Domaines: Web; Modélisation et simulation

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