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

De toute évidence, ex:dog1 est une réponse à cause du triplet (1). Intuitivement, on peut s'attendre à ce qu'ex:cat1 soit aussi une réponse parce qu'ilqu’il est un chat (2) et tous les chats sont des animaux (3). Même ex:cat2 est un animal parce qu'ilqu’il est hébergé par un zoo (5) et tout ce qui est hébergé par un zoo est un animal (4).

Vous remarquerez qu'ex:cat2 n'est pas défini comme de type chat. Le système peut uniquement déduire qu'ilqu’il est un animal.}}

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'ilqu’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.

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 figurera encore dans la version validée. C'est pour cela qu'ilqu’il est présent dans ce chapitre et qu'ilqu’il vous permettra de lire la documentation du W3C et des triplestores qui commencent à utiliser ce concept.