« 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é (- d'utiliser + d’utiliser ) |
m Robot : Remplacement de texte automatisé (- l'utilisation + l’utilisation , - d'asile + d’asile , - s'inspirer + s’inspirer , - l'expression + l’expression , - d'usage + d’usage , - d'autre + d’autre , - d'important + d’important... |
||
Ligne 48 :
|-
|
* Un chien est un animal
* le chat1 est un chat
* Les chats sont des animaux
* les zoos hébergent uniquement des animaux
* Le zoo1 héberge le chat2
| [[Fichier:Regime entailment basic.svg|300px|Regime entailment basic|]]
|-
Ligne 72 :
Maintenant examiner la requête suivante :
<source lang="sql">
PREFIX
SELECT ?animal
WHERE
Ligne 125 :
==== Avec les implications de RDFS ====
Afin de récupérer ex:cat1 et
Voici le raisonnement pour trouver :
Ligne 134 :
Vous remarquerez qu'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 ?"
{| class="wikitable"
! scope=col | animal
Ligne 152 :
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 exploitant des implications qui ne seront pas développées avant bien longtemps au sein de triplestores dans le monde réel.
É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
== 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)]
{{Bas de page
| |||