StrixDB
# StrixDB

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 langage de script Lua.
* appelé par tout langage de programmation en tant que DLL.

La résolution Datalog utilise une variante de l'algorithme SLG 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 ressource http://myserver/famillyRules contienne les règles suivantes :

Les 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.

## Exemple de raisonnement OWL

Les règles suivantes implementent le raisonnement sur les propriétés d'OWL. Remarque: les prédicats peuvent être des variables.

## Liens internes

* Web sémantique
* SPARQL
* Datalog
* Apache web server (httpd)
* Lua
