Wie zu verwenden: notIncludes in Notation 3 Regeln?

Question

Ich lerne gerade, wie man die Regeln in Notation 3 mit CWM verwendet. Ich möchte eine Regel erstellen, die die Stiefkinder in einer Familienontologie gibt. Also ist das Stiefkind das Kind von jemandem, aber nicht das Kind von dessen Ehepartner.

@prefix ex: <http://www.smith-family.com/familyOntology.owl#> . 
@prefix log: <http://www.w3.org/2000/10/swap/log#>.  
{ 
     ?p1 :hasWife ?p2 . 
     ?p2 :hasChild ?c . 
     : log:notIncludes {?p1 :hasChild ?c} 
    } 
    => {?p1 :hasStepChild ?c}. 

ich nicht wirklich verstehen, wie notIncludes verwenden ... Auch vermisse ich die p1:? HasHusband p2 Aussage, aber es funktioniert auch nicht wie das funktioniert.

Weiß jemand, wie ich es zum Funktionieren bringen könnte?

Answer 1

Sie müssen die Datenmenge und die Negation als Fehler angeben. Siehe https://www.w3.org/2000/10/swap/doc/paper/#neg23 als Referenz.