Wikiversité

« SPARQL Protocol and RDF Query Language/Système d'implication » : différence entre les versions

Navigation interactive dans l’historique
← Modification précédenteModification suivante →
Contenu supprimé Contenu ajouté
VisuelWikicode
m Robot : Changement de type cosmétique
Aucun résumé des modifications
Ligne 10 :
}}
 
On a vu qu'un triplestore (ou base de données RDF) met en œuvre certaines caractéristiques qui les rendent très attractifs pour certains types d'applications. Les données ne sont plus liées à des schémas statiques car ses schémas statiques sont contenus directement au sein des données. On insère ces données, comme on l'a vu, via des requêtes d'écriture SPARQL ou à travers des importations de sources RDF via les outils de sauvegarde et d'importation de la base de données. <br />
Cependant la caractéristique la plus intéressante d'un triplestore est la possibilité de mettre en œuvre un système d'implication (en anglais, the entailment regime).
 
Ligne 17 :
* détecter les [[w:implication (pragmatique)|implications]] incohérentes au sein des données, c'est-à-dire détecter les erreurs d'intégrité des données.
 
Le système d'implication est l'équivalent àde ce que l'on nomme les mécanismes d'[[w:Intégrité_(base_de_données)|intégrité]] au sein d'une base de données relationnelle. CetteCe leçonchapitre va essayer de vous expliquer cette nouvelle approche qui servira de base au développement de l'intégrité des données RDF.
 
 
== Système d'implication ==
=== Définitions ===
Les ontologies du Web sémantique, comme [[w:Resource Description Framework#Vocabulaires_RDF|le vocabulaire RDF]], [[w:RDFS|RDFS]] ou encore [[w:Web Ontology Language|OWL]], fournissent des éléments de base pour la définition d'[[w:Ontologie (informatique)|ontologies]] ou vocabulaires destinés à structurer des ressources [[w:Resource Description Framework|RDF]]. Avec ces ressources structurées dans un [[w:triplestore|triplestore]], vous pouvez utiliser le langage de requête [[w:SPARQL|SPARQL]] pour les atteindre à travers le [[w:Web|Web]].
 
{{Définition
Ligne 41 ⟶ 42 :
{{Définition
| titre = Un graphe bien formé
| contenu = Un graphe RDF est considéré comme '''un graphe bien formé''' si les données dans ce graphe respectent le système d'implication.
}}
 
Ligne 88 ⟶ 89 :
</pre>
 
De toute évidence, ex:dog1 est une réponse à cause dedu triplet (1). Intuitivement, on peut s'attendre à ce que ex:cat1 soit aussi une réponse parce qu'il est un chat (2) et tous les chats sont des animaux (3). Même ex:cat2 est un animal parce qu'il est hébergé par par un zoo (5) et tout ce qui est hébergé par un zoo est un animal (4).
 
Cependant sans implications RDF ou RDFS, vous n'aurez que la réponse suivante à la requête SPARQL :
Ligne 135 ⟶ 136 :
Vous remarquerez que ex:cat2 n'est pas défini comme de type chat, Le système peut uniquement déduire qu'il est un animal.}}
 
Voici le résultat final de la requête "qui est un animal ?" si à condition que votre triplestore implémente les implications RDF et RDFS :
{| class="wikitable"
! scope=col | animal
Ligne 149 ⟶ 150 :
La recommandation SPARQL lecture et écriture 1.1 est assez stable bien que non encore validée mais la partie qui concerne [http://www.w3.org/TR/sparql11-entailment/ le système d'implication dans SPARQL 1.1] est loin d'être stabilisée. La raison est qu'il faut au moins une (ou deux) version implémentée de la recommandation pour la valider. Le logiciel 4SR que nous utiliserons dans un TP est l'une des versions qui est en cours d'implémentation.
 
Mais même si la recommandation n'est pas stable, le concept d'implication est présent partout donc il y a fort à parier que ce concept figure encore dans la version validée. C'est pour cela qu'il figure dans cettece leçonchapitre et qu'il vous permetpermettra de lire la documentation du W3C et des triplestores qui commencent à utiliser ce concept.
 
De plus, les concepts d'ontologies sont très complexes à appréhender et le fait de comprendre la finalité exacte d'une ontologie permet de relativiser son utilisation. Il est souvent contre productif d'utiliser des ontologies extrêmement complexes qui exploitent des implications qui ne seront pas développer avant bien longtemps au sein de triplestores dans le monde réel.
 
EvidemmentÉvidemment, cette leçon évoluera au rythme des implémentations des triplestores qui respectent les recommandations et nous irons donc au même rythme pour décrire l'utilisation des ontologies.
 
== Références ==
Récupérée de « https://fr.wikiversity.org/wiki/SPARQL_Protocol_and_RDF_Query_Language/Système_d%27implication »