« SPARQL Protocol and RDF Query Language/Système d'implication » : différence entre les versions
Contenu supprimé Contenu ajouté
début d'intro |
|||
Ligne 16 :
* faire des déductions sur les [[w:inférence|inférences]] contenues dans la base de données par des agents intelligents
* 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.
== Etat de la recommandation au sein du W3C ==
La recommandation SPARQL 1.1 est assez stable bien que non encore validé mais la partie qui concerne [http://www.w3.org/TR/sparql11-entailment/ le système d'implication dans SPARQL 1.1] n'est pas encore stabilisé. 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 le TP est l'une des versions qui est en cours d'implémentation.
== 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)]
| |||