定义 AllegroGraph 三元组的规则以及如何应用它们

Question

我正在使用 AllegroGraph 来存储这样的语句：

<newsid1  hasAnnotation  Gamma>
<newsid1  hasAnnotation Beta>

我想在这个语句上定义一个规则：if the subject newsid1 hasAnnotation either Gamma 或 Beta，然后在三元组中添加一条新语句，表示主题 hasAnnotation Theta，即语句

<newsid1  hasAnnotation Theta>

我的问题如下：

1. 我如何为 Allegro 定义这样的规则？
2. 我如何将这些规则应用于语句？

Answer 1

1）您可以定义使用 Prolog 函子来定义这些规则。根据您的情况，您将定义。

;; 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) 然后运行以下 prolog 查询（以 AGview 为例）来添加这些新闻语句

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

您可以阅读以下文档来理解此代码：

• Prolog 函子
• Lisp 参考