Zdefiniuj zasady AllegroGraph trójek i jak je stosować

Question

Używam AllegroGraph przechowywać oświadczenie takiego:

<newsid1 hasAnnotation Gamma> 
<newsid1 hasAnnotation Beta> 

chciałbym zdefiniować regułę na tej staments który mówi: jeżeli przedmiotemnewsid1 hasAnnotationalboGammalubBeta, następnie dodać nowe oświadczenie w triplestore, który mówi, że przedmiotemhasAnnotation Theta, czyli rachunku

<newsid1 hasAnnotation Theta> 

moje pytania są następujące:

1. Jak mogę określić taką regułę dla Allegro?
2. W jaki sposób mogę zastosować te zasady do wyciągów?

Answer 1

1) Aby zdefiniować te reguły, można zdefiniować użycie Prolog functors. W twoim przypadku zdefiniujesz.

;; Functors to add triples. 
(<-- (a-- ?s ?p ?o) 
;; Fails unless all parts ground. 
(lispp (not (get-triple :s ?s :p ?p :o ?o))) 
(lisp (add-triple ?s ?p ?o))) 

;; Functors to seek news that should have theta annotation 
(<-- (shouldHaveAnnotationTheta ?news) 
(q- ?news !namespace:hasAnnotation !"Gamma")) 

(<- (shouldHaveAnnotationTheta ?news) 
(q- ?news !namespace:hasAnnotation !"Beta")) 

2) Run następnie następujące zapytanie prolog (używając AGview dla exemple), aby dodać te oświadczenia wiadomości

(select (?news) 
(shouldHaveAnnotationTheta ?news) 
(a-- ?news !namespace:hasAnnotation !"Theta") 
(fail)) 

można przeczytać następujące dokumenty zrozumieć ten kod:

• Prolog functors
• Lisp Reference