Utilisateur:Opoirel/brouillon

Informations
Développé par	Olivier Poirel
Environnement	Windows
Langues	Anglais
Type	Web sémantique
Site web	www.strixdb.com

Cette page est un brouillon appartenant à Opoirel

Conseils de rédaction

→ N'hésitez pas à publier sur le brouillon un texte inachevé et à le modifier autant que vous le souhaitez.
→ Pour enregistrer vos modifications au brouillon, il est nécessaire de cliquer sur le bouton bleu : « Publier les modifications ». Il n'y a pas d'enregistrement automatique.

Si votre but est de publier un nouvel article, votre brouillon doit respecter les points suivants :

Respectez le droit d'auteur en créant un texte spécialement pour Wikipédia en français (pas de copier-coller venu d'ailleurs).
Indiquez les éléments démontrant la notoriété du sujet (aide).
Liez chaque fait présenté à une source de qualité (quelles sources – comment les insérer).
Utilisez un ton neutre, qui ne soit ni orienté ni publicitaire (aide).
Veillez également à structurer votre article, de manière à ce qu'il soit conforme aux autres pages de l'encyclopédie (structurer – mettre en page).

→ Si ces points sont respectés, pour transformer votre brouillon en article, utilisez le bouton « publier le brouillon » en haut à droite. Votre brouillon sera alors transféré dans l'espace encyclopédique.

Cet article est une ébauche concernant le Web sémantique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) — pour plus d’indications, visitez le projet Web Sémantique.

StrixDB est une base de données dédiée RDF. Elle est conçue pour permettre la manipulation et le raisonnement pour des graphes RDF de taille moyenne.

Caractéristiques

StrixDB a les caractéristiques suivantes :

requêtes avec SPARQL et modifications avec SPARQL/Update.
inférence dans SPARQL avec des règles Datalog (règles avec récursion, négation et négation dans la récursion).
propriétés ACID (atomicity, consistency, isolation, durability). StrixDB utilise le SGBD Gigabase.
serialisation des graphes RDF au format standard XML ou Turtle.

StrixDB peut être utilisé :

en tant que serveur SPARQL (utilisation en tant que module d'un serveur HTTP Apache).
en tant qu'application avec le language de script Lua.
appelé par tout langage de programmation en tant que DLL.

La résolution Datalog utilise une variante de l'algorithme SLG ^[1] adaptée aux triples RDF.

Exemples de règles

Les règles s'expriment dans une syntaxe inspirée de Datalog ou de Turtle. En supposant que la resource http://myserver/famillyRules contienne les règles suivantes :

prefix ns: <http://myserver/familly#>.
prefix foaf: <http://xmlns.com/foaf/0.1/>.
{?x ns:ancestorOf ?y } :- {?x ns:parentOf ?y}
{?x ns:ancestorOf ?y} :- {?x ns:parentOf ?z. ?z ns:ancestorOf ?y}

ns:motherOf(?mother,?child) :- ns:parentOf(?mother,?child), not ns:fatherOf(?mother,?child).

ns:fatherOf(?f,?child) :- ns:parentOf(?f,?child), not foaf:gender(?f,foaf:female).

Alors, ces règles peuvent être utilisées dans une requête SPARQL en utilisant la clause USING. Cette clause, spécifique à StrixDB est similaire à la clause FROM qui spécifie les graphes RDF ciblés par la requête.

PREFIX ns: <http://myserver/familly#>
SELECT ?person ?ancestor
USING <http://myserver/famillyRules>
WHERE { ?person ns:ancestorOf ?ancestor }

Example de raisonnement OWL

Les règles suivantes implementent le raisonnement sur les propriétés d'OWL. Elles sont un exemple illustrant que les même des prédicats peuvent être utilisés comme variables :

?p(?x,?y) :- a(?p, owl:SymmetricProperty), ?p(?y,?x).

?p(?x,?y) :- a(?p, owl:TransitiveProperty), ?p(?x,?z), ?p(?z,?y).

?invers1(?x,?y) :- owl:inverseOf(?invers1,?invers2), ?invers2(?y,?x).
?invers1(?x,?y) :- owl:inverseOf(?invers2,?invers1), ?invers2(?y,?x).

?equiv1(?x,?y) :- owl:equivalentProperty(?equiv1,?equiv2), ?equiv2(?x,?y).
?equiv1(?x,?y) :- owl:equivalentProperty(?equiv2,?equiv1), ?equiv2(?x,?y).

?p(?x,?y) :- rdfs:subPropertyOf(?p1,?p), ?p1(?x,?y).

Liens internes

Liens Externes

References

↑ Tabled Evaluation with Delaying for General Logic Programs - Weidong Chen, David S. Warren (1996)

Catégorie:Web_sémantique

[1] Tabled Evaluation with Delaying for General Logic Programs - Weidong Chen, David S. Warren (1996)

[1]