遞歸：從Prolog到SWRL

Question

你知道如何翻譯SWRL中的遞歸嗎？例如，這種類型的Prolog的規則：（祖先是父或母體的祖先

ancestor(X,Y):- parent (X,Y). 
ancestor(X,Y):- parent(X,Z), ancestor(Z,Y). 

Answer 1

在本質上，SWRL是Datalog只需扭轉頭部和身體：。

hasParent(?x, ?y) -> hasAncestor(?x, ?y) 
hasAncestor(?y, ?z)^hasParent(?x, ?y) -> hasAncestor(?x, ?z) 

---

SWRLTab在門徒新：

初始屁股ertions：

推斷（通過小球）的斷言：

當然，純OWL溶液同樣存在。