0000000000652699
AUTHOR
Mahdi Gueffaz
La logique temporelle pour interroger et qualifier des graphes sémantiques
National audience; La logique temporelle pour interroger et qualifier des graphes sémantiques
Qualification et interrogation de graphes sémantiques à l'aide du Model Checking
National audience; Qualification et interrogation de graphes sémantiques à l'aide du Model Checking
SCALESEM : Evaluation of Semantic Graph based on Model Checking
International audience; 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 …