definire le regole per AllegroGraph triplica e come applicarli

Question

sto usando AllegroGraph per memorizzare dichiarazione come questa:

<newsid1 hasAnnotation Gamma> 
<newsid1 hasAnnotation Beta> 

vorrei definire una regola su questo staments che dice: se il soggettonewsid1 hasAnnotationsiaGammaoBeta, quindi aggiungere una nuova dichiarazione in triplestore che dice che il soggettohasAnnotation Theta, vale a dire la dichiarazione

<newsid1 hasAnnotation Theta> 

Le mie domande sono le seguenti:

1. Come posso definire una regola per Allegro?
2. Come posso applicare queste regole alle dichiarazioni?

Answer 1

1) È possibile definire l'uso di Prolog functors per definire queste regole. Nel tuo caso definirai.

;; 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) Eseguire quindi la seguente query prologo (utilizzando l'AGview per exemple) per aggiungere queste dichiarazioni notizie

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

È possibile leggere le seguenti documenti per capire questo codice:

• Prolog functors
• Lisp Reference