0000000000245280

AUTHOR

Sylvain Rampacek

showing 2 related works from this author

Extending SPARQL with Temporal Logic

2009

The data integration and sharing activities carried on in the framework of the Semantic Web lead to large knowledge bases that must be queried, analyzed, and exploited efficiently. Many of the knowledge representation languages of the Semantic Web, starting with RDF, are based on directed, labeled graphs, which can be also manipulated using graph algorithms and tools coming from other domains. In this paper, we propose an analysis approach of RDF graphs by reusing the verification technology developed for concurrent systems. To this purpose, we define a translation from the SPARQL query language into XTL, a general-purpose graph manipulation language implemented in the CADP verification too…

[ INFO.INFO-MO ] Computer Science [cs]/Modeling and Simulation[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB][INFO.INFO-WB] Computer Science [cs]/Web[INFO.INFO-WB]Computer Science [cs]/Web[ INFO.INFO-WB ] Computer Science [cs]/WebInformationSystems_DATABASEMANAGEMENTlabeled transition system[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]ACM : H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languagesSPARQL[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulationmodel checkingRDFACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking[ INFO.INFO-DB ] Computer Science [cs]/Databases [cs.DB]temporal logicACM : D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking[INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB][ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO]ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulationverification
researchProduct

SCALESEM : Evaluation of Semantic Graph based on Model Checking

2011

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 …

[ INFO.INFO-MO ] Computer Science [cs]/Modeling and SimulationModel-checking[INFO.INFO-WB] Computer Science [cs]/WebTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSSemantic graph[INFO.INFO-WB]Computer Science [cs]/Web[ INFO.INFO-WB ] Computer Science [cs]/WebTemporal logic[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationTemporal logic.
researchProduct