ScaleSem : model checking and semantic web
type: Dataset
description: The increasing development of networks and especially the Internet has greatly expanded the gap between heterogeneous information systems. In a review of studies of interoperability of heterogeneous information systems, we find that all the work in this area tends to be in solving the problems of semantic heterogeneity. The W3C (World Wide Web Consortium) standards proposed to represent the semantic ontology. Ontology is becoming an indispensable support for interoperability of information systems, and in particular the semantics. The structure of the ontology is a combination of concepts, properties and relations. This combination is also called a semantic graph. Several languages have been developed in the context of the Semantic Web. Most of these languages use syntax XML (eXtensible Meta Language). The OWL (Ontology Web Language) and RDF (Resource Description Framework) are the most important languages of the Semantic Web, and are based on XML.RDF is the first W3C standard for enriching resources on the Web with detailed descriptions, and increases the facility of automatic processing of Web resources. Descriptions may be characteristics of resources, such as the author or the content of a website. These descriptions are metadata. Enriching the Web with metadata allows the development of the so-called Semantic Web. RDF is used to represent semantic graphs corresponding to a specific knowledge modeling. RDF files are typically stored in a relational database and manipulated using SQL, or derived languages such as SPARQL. This solution is well suited for small RDF graphs, but is unfortunately not well suited for large RDF graphs. These graphs are rapidly evolving, and adapting them to change may reveal inconsistencies. Driving the implementation of changes while maintaining the consistency of a semantic graph is a crucial task, and costly in terms of time and complexity. An automated process is essential. For these large RDF graphs, we propose a new way using form…
identifier: NNT: 2012DIJOS080
issued: 2026-05-09T11:54:21.858403
language: fr
modified: 2026-05-09T11:54:21.858408
contact point: Organization
  fn: CCSD
keyword: evolution-dontologie
keyword: graphe-semantique
keyword: incoherence-dontologie
keyword: infoeu-reposemanticsdoctoralthesis
keyword: infoinfo-ohcomputer-science-csother-csoh
keyword: logique-temporelle
keyword: logique-temporelle-ctl
keyword: logique-temporelle-ltl
keyword: methodes-formelles
keyword: model-checker-nusmv
keyword: model-checker-spin
keyword: model-checking
keyword: no-english-keyword
keyword: ontologie
keyword: rdfowl
keyword: requete-en-logique-temporelle-query-checking
keyword: spiotherengineering-sciences-physicsother
keyword: theses
keyword: verification-de-graphes-semantiques
keyword: web-semantique
landing page: https://theses.hal.science/tel-00801730

ScaleSem : model checking and semantic web
type: Distribution
format: HTML
issued: 2026-05-09T11:54:21.867752
modified: 2026-05-09T11:54:21.838344
access URL: https://theses.hal.science/tel-00801730

test_moissonnage_selune
type: Agent