如何使用 :not包含符号 3 规则

Question

我目前正在学习如何在 CWM 中使用符号 3 中的规则。我想建立一个规则，在家庭本体中给出继子女。因此，继子女是某人的孩子，但不是该某人配偶的孩子。

@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}.

我真的不明白如何使用 notInclude...另外，我想念 ？p1 ：hasHusband ？p2 语句，但它甚至不能那样工作。

有谁知道我怎样才能让它工作？

Answer 1

您必须指定数据集以及否定失败应用于什么。请参阅 https://www.w3.org/2000/10/swap/doc/paper/#neg23 以供参考。