SPARQL 查询以获取仅具有部分而不是所有属性的实例

Question

假设我有三元组

uri:ObjA1 uri:propAA uri:Obj1A .
uri:ObjA1 uri:propAA uri:Obj1B .

uri:ObjA2 uri:propAA uri:Obj1A .
uri:ObjA2 uri:propAA uri:Obj1B .
uri:ObjA2 uri:propAA uri:Obj1C .

现在，我要做的是找到所有只有 propAA 值 Obj1A 和 Obj1B 的实例。基本上，查询应该返回 ObjA1 而不是 ObjA2，因为只有 ObjA1 只为 propAA 取值 Obj1A 和 Obj1B。我现在拥有的是

SELECT * where {
    ?sub uri:propAA uri:Obj1A .
    ?sub uri:propAA uri:Obj1B .
    FILTER NOT EXISTS {
        ?sub uri:propAA ?obj .
        FILTER((?obj != uri:Obj1A) && (?obj != uri:Obj1B)) .
    }
}

现在，此查询有效。如果我不放置 FILTER NOT EXISTS 子句，那么它会同时返回 ObjA1 和 ObjA2。我现在正在寻找的是知道是否有更好的方法来编写这个查询？更好意味着更高效或更简洁（或两者兼而有之）。

Answer 1

您可以使用NOT IN 运算符稍微缩短一些内容，也可以使用, 连接器来避免重复三重模式：

SELECT * where {
    ?sub uri:propAA uri:Obj1A, uri:Obj1B .
    FILTER NOT EXISTS {
        ?sub uri:propAA ?obj .
        FILTER(?obj NOT IN (uri:Obj1A, uri:Obj1B))
    }
}

我怀疑任何一种更改都会对性能产生影响，但它更简洁，而且（恕我直言）更易于阅读。

FWIW，这里的双重否定是重写全称量化的经典方法。毕竟，从逻辑上讲，∀x P(x) 等于 ∄x ¬P(x)。由于 SPARQL 没有 FORALL 运算符，因此您必须使用 NOT EXISTS 和双重否定。

Answer 2

根据三重模式，您正在寻找?sub 的解决方案，其中uri:propAA 的值同时为uri:Obj1A 和uri:Obj1B。这是 SPARQL 中的基本连词：

SELECT * 
WHERE {
   ?sub uri:propAA uri:Obj1A .
   ?sub uri:propAA uri:Obj1B .
}