SPARQL 1.1蘊涵制度，並與FROM子句

Question

我目前記錄/測試約1.1 SPARQL制度蘊涵和建議，反覆指出

作用域圖是圖形的等同於活躍的圖形查詢

但它沒有指定什麼是活動圖引用：它是查詢中使用的數據集？商店中所有圖形的聯合？

作爲一個測試，以確定這一點，我得到這個圖形在芝麻記憶存儲與RDF Schema和直下式推理店（v2.7.14）

@prefix ex:<http://www.example.org/> . 
ex:book1 rdf:type ex:Publication . 
ex:book2 rdf:type ex:Article . 
ex:Article rdfs:subClassOf ex:Publication . 
ex:publishes rdfs:range ex:Publication . 
ex:MITPress ex:publishes ex:book3 . 

我一直在嘗試下面的查詢URIed <http://www.example.org/> （這意味着使用默認圖形從而推理引擎）

SELECT ?s WHERE { ?s a ex:Publication . } 

正如預期的那樣，它返回我所有三個實例

<http://www.example.org/book1> 
<http://www.example.org/book2> 
<http://www.example.org/book3> 

而查詢：

SELECT ?s FROM ex: WHERE { ?s a ex:Publication . } 

只返回

<http://www.example.org/book1> 

在上述情況下，不應該兩個結果是一樣的嗎？

（根據推薦），如果數據和架構的兩個圖形之間的商店（和喜歡<urn:rdfs-schema><urn:data>，甚至是分散在多個圖）分裂和查詢使用兩個圖（或模式的一個子集，希望發生的事情相關的圖），而不是默認圖？

意思應該是整個商店中的推理是全局還是依賴於查詢數據集？

或者，也許是建議鬆散足以使這個實現相關的問題？

感謝您的燈光，

最大。

編輯這個問題被重定向到SPARQL 1.1 entailment regimes and query with FROM clause (follow-up)

Answer 1

你的第二個查詢不僅是因爲芝麻的RDFS inferencer，entailed語句插入默認圖，而不是在命名圖（S）從爲處所蘊涵來只返回book1。因此，所要查詢的結果根本不存在於您所查詢的圖表中。

這種設計選擇的原因至少是部分歷史性的，因爲芝麻RDFS推理引擎早於W3C的蘊含體系概念。當時的基本原理是，在推斷多個命名圖（例如一個前提來自圖A而另一個來自B）時，插入默認圖（而不是A或B或兩者）是最簡單和最少的混淆。

芝麻目前沒有明確支持W3C蘊含制度規範。但是，如果您覺得可以通過簡單的改進使其更加兼容，那麼通過所有方式log a feature request。

（披露：芝麻開發商）

Answer 2

恰恰是在默認的圖形不被SPARQL 1.1標準中規定的內容。特別是看到13.1 Examples of RDF Datasets其中提到：

RDF數據集的定義不限制 命名和默認圖的關係。信息可以在不同的 圖中重複;圖表之間的關係可以暴露。兩個有用的 安排是：

• 有在包括關於命名圖
• 來源的信息，包括在默認的圖形的命名圖中的信息以及默認的圖形信息。

然而，通過使用FROM子句指定哪些圖形應該是默認的圖形，或者通過使用多個FROM子句指定哪些圖表應合併爲默認曲線圖。

這一切都涉及默認圖。該活動圖是另一種說法，你會在SPARQL 1.1規範，請參閱：

是用於匹配一個基本的圖形格式的圖形是 活動圖。在前面的章節中，所有查詢都被顯示爲 ，其針對單個圖形執行，RDF數據集 的默認圖形作爲活動圖形執行。使用GRAPH關鍵字可以使活動的 圖形成爲數據集中所有命名圖形之一，作爲 查詢的一部分。

因此，可以使用從（可能多次）來控制默認的圖形，由此，初始有效圖形，然後圖表{＆hellip; }在查詢中更改活動圖形。