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

Question

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

<newsid1  hasAnnotation  Gamma>
<newsid1  hasAnnotation Beta>

我想在这个语句上定义一个规则：如果主题 newsid1 hasAnnotation 为 Gamma or 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 参考资料