再帰：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溶液も存在します。