如何在 Notation 3 规则中使用 :notIncludes？

Question

我目前正在学习如何在 CWM 中使用 Notation 3 中的规则。我想建立一个规则，在一个家庭 ontology 中给出 stepchilds。所以，stepchild是某人的child而不是这个人配偶的child

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

我不太明白如何使用 notIncludes... 另外，我想念 ?p1 :hasHusband ?p2 语句，但它甚至不能那样工作。

有谁知道我怎样才能让它发挥作用？

Answer 1

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

如何在 Notation 3 规则中使用 :notIncludes？

How to use :notIncludes in Notation 3 rules?

semantic-web

n3