RIF-SPARQL: implémentation d'un dialecte RIF à l'aide du moteur SPARQL - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Poster Année : 2012

RIF-SPARQL: implémentation d'un dialecte RIF à l'aide du moteur SPARQL

Résumé

Semantic Web models have close relationships with rule based languages and systems. In particular, the SPARQL query language restricted to the CONSTRUCT query form can be seen as a rule language: answering such a query is similar to apply a rule in forward chaining to enrich an RDF base, whith the rule antecedent corresponding to the WHERE clause and its consequent to the CONSTRUCT clause of the SPARQL query. In this paper we study the similarities between SPARQL and RIF , the rule interchange format recommended by the W3C. Starting with the Corese semantic engine which enables to query RDF/S data with SPARQL and is provided with both a forward and a backward chaining rule system, we have searched for the maximal RIF dialect which can be expressed in SPARQL. We have developed a RIF parser which build an internal representation of a RIF rule into an abstract syntax tree (AST), and a translator of a RIF AST into a SPARQL AST so that Corese has become an implementation of the RIF -SPARQL dialect. Here we present the results of our work.
Les modèles du web sémantique entretiennent des relations étroites avec les langages et systèmes à base de règles. En particulier le langage SPARQL restreint aux requêtes de la forme construct peut être vu comme un langage de règles logiques: le traitement d'une telle requête correspond à l'application en chaînage avant d'une règle dont la prémisse est la clause where et la conclusion la clause construct de la requête et qui permet d'enrichir une base de faits rdf/s. Dans cet article, nous nous intéressons aux relations qui existent entre SPARQL et le langage rif recommandé par le W3C pour l'échange de règles sur le web. Partant du moteur Corese qui permet d'interroger une base rdf/s dans le langage SPARQL et qui est muni de deux moteurs de règles (en chaînage avant et arrière), nous avons cherché à définir le dialecte rif maximal qui peut être exprimé dans le langage SPARQL. Nous avons développé un parseur rif qui construit une représentation d'une règle rif en un arbre de syntaxe abstraite (AST) et un traducteur d'un AST de rif en un AST de SPARQL de sorte que le moteur Corese aitt une implémentation d'un dialecte rif-SPARQL. Nous présentons ici les résultats de ce travail.

Domaines

Web
Fichier non déposé

Dates et versions

hal-00685022 , version 1 (03-04-2012)

Identifiants

  • HAL Id : hal-00685022 , version 1

Citer

Oumy Seye, Olivier Corby, Catherine Faron Zucker. RIF-SPARQL: implémentation d'un dialecte RIF à l'aide du moteur SPARQL. EGC 2012 - 12e Conférence Internationale Francophone sur l'Extraction et la Gestion des Connaissances, Jan 2012, Bordeaux, France. 2012. ⟨hal-00685022⟩
449 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More