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

Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n)
Ligne 16 :
 
 
== 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]] (Web Ontology Language), fournissent des éléments de base pour la définition d'ontologies ou de 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êtes [[w:SPARQL|SPARQL]] pour les atteindre à travers le [[w:Web|Web]].
Ligne 41 :
}}
 
=== Différences entre les systèmes d'implication ===
Pour illustrer les différences entre des implications simples, RDF et RDFS, examiner les données suivantes :
{|class="wikitable"
Ligne 78 :
</source>
 
==== Sans système d'implication ====
 
<pre>
Ligne 105 :
}}
 
==== Avec les implications de RDF ====
Les recommandations de RDF contiennent l'ontologie de base que devront contenir les triple­stores, par exemple avec ''rdf:type'' ou encore ''rdf:Property''. Les implications RDF permettent d'obtenir quelques inférences, mais pas celles qui sont requises pour obtenir "ex:cat1 et ex:cat2 sont des animaux".
 
Ligne 123 :
Sans implication, la requête donnerait une réponse vide, mais sous implication RDF, le triplet (5) peut servir à déduire que zoo:host est une propriété du type ex:zoo1 et ainsi servir de solution à cette requête SPARQL.
 
==== Avec les implications de RDFS ====
 
Afin de récupérer ex:cat1 et ex:cat2, on aurait besoin d'un système qui supporte les implications [[w:RDFS|RDFS]].
Ligne 145 :
|}
 
== À suivre ==
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(s) implémentée(s) de la recommandation pour la valider. Le logiciel 4SR que nous utiliserons dans un TP est l'une des versions qui sont en cours d'implémentation.
 
Ligne 154 :
É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 ==
* [http://www.w3.org/TR/sparql11-entailment/ Système d'implication dans SPARQL 1.1]
* [http://eprints.ecs.soton.ac.uk/22093/1/eswc2011_salvadores_4sr.pdf Scalable Reasoning in 4store (publication)]