SCALESEM - Evaluation of Semantic Graph based on Model Checking

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle

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

References

  1. Becket, D., McBride, B., 2004. RDF/ XML Syntax Specification (Revised). W3C recommandation. http://www.w3.org/TR/2004/REC-rdf-syntax-gramma r-20040210/.
  2. Ben-Ari, M., 2008. Principles of the SPIN Model Checker. Springer. ISBN: 978-1-84628-769-5.
  3. Berners-Lee, t., Hendler, J., and Lassila, O., 2001. The Semantic Web. Scientific American. pp. 34-43.
  4. Bray, T., Paoli, J., Sperberg-McQueen., C., M., Maler, E., Yergeau, F., Cowan, J., 2006. Extensible Markup Language (XML) 1.1 (second edition) W3C recommendation, http://www.w3.org/TR/2006/RECxml11-20060816/.
  5. Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M., 2000. NuSMV: a new symbolic model checker.
  6. Kahan, J., Koivunen, M., Prud'Hommeaux, E., Swick, R., R, 2001. Annotea: An Open RDF Infrastructure for Shared Web Annotations, in Proc. of the WWW 10th International Conference, Hong Kong. http://www10. org/cdrom/papers/488/index.html
  7. Katoen, J. P., 2002. The principal of Model Checking. University of Twente.
  8. Pnueli, A., 1977. The temporal logic of programs. In proc. 18th IEEE Symp. Foundations of Computer Science (FOCS'77), Providence, RI, USA. pages 46-57.
Download


Paper Citation


in Harvard Style

Gueffaz M., Rampacek S. and Nicolle C. (2011). SCALESEM - Evaluation of Semantic Graph based on Model Checking . In Proceedings of the 7th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-989-8425-51-5, pages 395-398. DOI: 10.5220/0003334703950398


in Bibtex Style

@conference{webist11,
author={Mahdi Gueffaz and Sylvain Rampacek and Christophe Nicolle},
title={SCALESEM - Evaluation of Semantic Graph based on Model Checking},
booktitle={Proceedings of the 7th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},
year={2011},
pages={395-398},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003334703950398},
isbn={978-989-8425-51-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - SCALESEM - Evaluation of Semantic Graph based on Model Checking
SN - 978-989-8425-51-5
AU - Gueffaz M.
AU - Rampacek S.
AU - Nicolle C.
PY - 2011
SP - 395
EP - 398
DO - 10.5220/0003334703950398