Definir reglas para AllegroGraph triplica y la forma de aplicarlos

Question

estoy usando AllegroGraph para almacenar declaración como esta:

<newsid1 hasAnnotation Gamma> 
<newsid1 hasAnnotation Beta> 

me gustaría definir una regla en este staments que dice: si el sujeto newsid1 hasAnnotationya seaGammaoBeta, continuación, agregue un nuevo comunicado en el triplestore que dice que el sujetohasAnnotation Theta, es decir, la declaración

<newsid1 hasAnnotation Theta> 

Mis preguntas son las siguientes:

1. cómo puedo definir una norma de este tipo de Allegro?
2. ¿Cómo puedo aplicar estas reglas a las declaraciones?

Answer 1

1) Puede definir el uso Prolog functors para definir estas reglas. En tu caso definirás.

;; 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) Ejecutar a continuación, la siguiente consulta prólogo (utilizando el AGview para exemple) para agregar estas declaraciones noticias

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

Usted puede leer los siguientes documentos para entender este código:

• Prolog functors
• Lisp Reference