 |
 |
Communication dans un congrès
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.
Littérature citée [18 références]
https://hal-univ-bourgogne.archives-ouvertes.fr/hal-00618006
Contributeur : Sylvain Rampacek Connectez-vous pour contacter le contributeur
Soumis le : mercredi 31 août 2011 - 11:50:02
Dernière modification le : mardi 19 octobre 2021 - 11:45:32
Archivage à long terme le : : jeudi 1 décembre 2011 - 02:25:50
Contributeur : Sylvain Rampacek Connectez-vous pour contacter le contributeur
Soumis le : mercredi 31 août 2011 - 11:50:02
Dernière modification le : mardi 19 octobre 2021 - 11:45:32
Archivage à long terme le : : jeudi 1 décembre 2011 - 02:25:50
Fichier
Qualifying_Semantic_graphs_usi...
Fichiers produits par l'(les) auteur(s)