Skip to Main content Skip to Navigation
Conference papers

Qualifying Semantic graphs using 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 modeling 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal-univ-bourgogne.archives-ouvertes.fr/hal-00618006
Contributor : Sylvain Rampacek <>
Submitted on : Wednesday, August 31, 2011 - 11:50:02 AM
Last modification on : Friday, October 23, 2020 - 4:40:43 PM
Long-term archiving on: : Thursday, December 1, 2011 - 2:25:50 AM

File

Qualifying_Semantic_graphs_usi...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00618006, version 1

Citation

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. Qualifying Semantic graphs using Model Checking. International Conference On Innovations In Information Technology 2011, Apr 2011, United Arab Emirates. pp.1569402529. ⟨hal-00618006⟩

Share

Metrics

Record views

571

Files downloads

422