RDF - Comment faire un changement de propriété transitif, basé sur le type rdf:?

Question

Je suis en train de trouver un moyen de déduire/une propriété en fonction se propager sur les types pour éviter une collision de nom:

:AOrder :Store :AStore ; 
     a :OrderType ; 
     :user :AUser . 

:AStore :name "Store Name"; 
     a :StoreType 

:AUser :name "Some User"; 
     a :UserType 

Sur la base des triplets ci-dessus, je voudrais conclure plusieurs autres triplets:

:AOrder :storeName "Store Name" . 
:AOrder :userName "Some User" . 

Comment est-ce que je peux faire ceci? Pour info, j'utilise actuellement Bigdata et Sesame. Un moyen serait d'utiliser SPIN, mais il ne semble pas que Bigdata + Sésame l'aient; On dirait que Jena est la seule chose avec quelque chose de comparable.

Answer 1

Vous pouvez exprimer à l'aide d'une opération de mise à jour SPARQL:

INSERT { 
    ?x :storeName ?store_name ; 
    :userName ?user_name . 
} 
WHERE { 
    ?x a :OrderType; 
    :Store [ :name ?store_name ] ; 
    :user [ :name ?user_name ] . 
} 

Exécuter cette opération chaque fois que votre magasin est mis à jour (si vous travaillez vous localement pouvez utiliser un RepositoryListener pour intercepter les événements de changement) et les triplets vous vouloir sera inséré.

Alternativement, regardez certains des outils de raisonnement personnalisés disponibles pour Sésame. Je ne suis pas sûr que Bigdata supporte un raisonneur personnalisé, mais vous pouvez jeter un oeil à this custom rule-based reasoner extension (bien qu'il soit légèrement dépassé). Ou jetez un oeil à OWLIM, qui est un backend Sésame avec des capacités de raisonnement OWL, qui prend également en charge les règles personnalisées.