SPARQL代数：从命名图棘手的问，如果不存在任何三元

Question

取这两个命名图：

# graph :yesterday 
:Foo 
    :likes :Bar ; 
    :likes :Qux . 

# graph :today 
:Foo 
    :likes :Bar ; 
    :likes :Baz . 

现在说，你要看看是否有从图:yesterday三元都是从图:today缺席。你将如何ASK这个查询？

ASK 
FROM NAMED :yesterday 
FROM NAMED :today 
{ 
    GRAPH :yesterday { 
     ?s ?p ?o . 
     ... 
    } 
} 

Answer 1

SPARQL有两种用于否定的操作：使用你最自然的操作。当我阅读问题描述时，它更像下面的第一个问题，但在这种问题情况下，它们非常相似。当模式的某个部分或其他部分与任何内容不匹配或者没有共同的变量时，它们的效果会有所不同。

NOT EXISTS测试模式的不存在（还有EXISTS）。它是应用于第一个模式的每个解决方案的过滤器。它就像一个嵌套的ASK，其中变量被替换为传入的过滤器。

PREFIX : <http://example/> 
SELECT * { 
    GRAPH :yesterday { ?s ?p ?o } 
    FILTER NOT EXISTS { GRAPH :today { ?s ?p ?o } } 
} 

MINUS执行两种模式（左右两侧），然后在没有匹配的一个右侧任意位置以返回左边的行。这是一个反连接。

PREFIX : <http://example/> 
SELECT * { 
    GRAPH :yesterday { ?s ?p ?o } 
    MINUS { GRAPH :today { ?s ?p ?o } } 
} 

对于这两个我得到：

------------------------ 
| s | p  | o | 
======================== 
| :Foo | :likes | :Qux | 
------------------------ 

TRIG：

@prefix : <http://example/> . 

:yesterday { 
    :Foo 
    :likes :Bar ; 
    :likes :Qux . 
} 

:today { 
    :Foo 
    :likes :Bar ; 
    :likes :Baz . 
}