Rekursion: von Prolog zu SWRL

Question

Wissen Sie, wie Rekursion in SWRL zu übersetzen. Zum Beispiel diese Art von Prolog-Regeln: (ein Vorfahre ist ein Elternteil oder ein Vorfahre eines Elternteil

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

Answer 1

Im Wesentlichen SWRL ist Datalog Gerade umgekehrt Köpfe und Körper:..

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

---

SWRLTab in Protégé:

Initial ass ertions:

Inferred (via Pellet) Behauptungen:

Natürlich reine OWL Lösung existiert auch.