递归：从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溶液同样存在。