SPARQL否定：所有foaf：非foaf的代理：人員

Question

我想寫一個SPARQL查詢應該給我所有foaf:Agents這不是foaf:Persons。

我看不到一種將this OPTIONAL/BOUND construct應用於此問題的方法，因爲所有屬性（如rdfs:subClassOf和rdf:type）都是傳遞和反射的。

我嘗試這樣做：

SELECT * WHERE { 
?x rdf:type foaf:Agent 
OPTIONAL { ?y rdf:type foaf:Person } 
FILTER (!BOUND(?y)) } 

但RDF：類型似乎是傳遞，至少JENA/ARQ/SDB。

Answer 1

這不起作用的原因是因爲您有兩個單獨的變量綁定（?x和?y），它們與您的查詢無關。所以?x必須綁定在結果集中（這是你想要的），但如果?y沒有綁定，你還沒有學到任何關於?x的新知識。

更新：在理想的查詢中，根本不需要?y;您可以直接測試?x的傳入/傳出edegs。當你想要檢查給定的變量綁定中是否存在一條邊時，這很難（不可能）在SPARQL 1.0中完成。然而，SPARQL 1.1將提供支持否定：

PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> 
PREFIX foaf: <http://xmlns.com/foaf/0.1/> 

SELECT ?agent 
WHERE 
{ 
    ?agent rdf:type foaf:Agent . 
    NOT EXISTS { ?agent rdf:type foaf:Person . } 
} 

@Kingsley Idehen的做法（使用第三方SPARQL擴展）可以幫助你在短期內解決這個問題。

Answer 2

通過炫技SPARQL擴展 端點驗證 http://lod.openlinksw.com/sparql（LOD雲緩存實例）

SELECT DISTINCT×○

WHERE {

X一個FOAF：？？？代理。 ？x？p？o。 濾波器（BIF：存在（（選擇（1）其中{XA的foaf：人}）））

}

極限10

DESCRIBE X

WHERE {

？

？xa foaf：Agent。

濾波器（BIF：存在（（選擇（1）其中{XA的foaf：人}））） }

限200

Answer 3

要SPARQL 1.0做到這一點，你必須要做：

SELECT * WHERE { 
    ?x rdf:type foaf:Agent 
    OPTIONAL { ?y rdf:type foaf:Person . FILTER (?x = ?y) . } 
    FILTER (!BOUND(?y)) 
} 

正如菲爾M.說，SPARQL 1.1將引入新的語法，使這更直接寫入。

李

Answer 4

下面是否定的（草案）SPARQL 1.1規範：http://www.w3.org/TR/sparql11-query/#negation

Answer 5

下現在的作品，SPARQL 1.1的禮貌：

PREFIX RDF：http://www.w3.org/1999/02/22-rdf-syntax-ns#

PREFIX FOAF： http://xmlns.com/foaf/0.1/

SELECT DISTINCT COUNT（？agent）

WHERE { ？agent rdf：type foaf：Agent。

FILTER (NOT EXISTS { ?agent rdf:type foaf:Person . }) 

}

活生生的例子鏈接：

1. Query Solution

2. Query Definition