リンクされたデータへの推論SPARQLエンドポイント

Question

SPARQLクエリを介してリンクされたデータSPARQLエンドポイントにクエリを行うとき、提供される推論のタイプは何ですか？例えば

、DBpedia SNORQL endpointも（A subClassOf BとB subClassOf C場合、A subClassOf C）基本的なサブクラス推論を提供しません。 FactForge SPARQL endpointはいくつかの推論を提供しますが（それはどのような推論であるかははっきりしませんが）、その推論をオンとオフに切り替える可能性があります。

私の質問： 適用される推論の種類はどのように識別できますか？推論のサポートが限られている場合は、エンドポイントのみを使用して拡張できますか？

Answer 1

推論制御は、エンジンとエンドポイントによって異なります。

（私の雇用主から、Virtuosoを搭載し、OpenLink Software）public DBpedia SPARQL endpointががpragmas in your SPARQLによって制御されている（「推論規則」SPARQLエンドポイント問い合わせフォームページの右上にあるリンクからアクセス可能）、各種inference rulesを提供しません等（SNORQL、form you linkedにない）、 -

DEFINE input:inference 'urn:rules.skos' 

あなたはSPARQLを介して、任意の事前定義されたルールセットの内容を見ることができます - 上記

SELECT * 
    FROM <urn:rules.skos> 
WHERE { ?s ?p ?o } 

ため

ライブqueryとresultsが表示されます。

このtutorial containing many examplesを参照してください。

Answer 2

推論はSPARQLエンドポイント間で普遍的にサポートされているわけではありませんが、RDFS、RSFS +、およびOWL 2 RLプロファイルでサポートされる推論のほとんどはSPARQL自体でサポートされています。たとえば、あなたのsubClassOfの含意を使用して:Aのインスタンスに照会することはSPARQLのプロパティパスでサポートすることができます。

SELECT ?inst 
WHERE { 
    ?cls rdfs:subClassOf* :A . 
    ?inst a ?cls . 
} 

最初のトリプルパターンは:Aのすべてのサブクラスを取得し、:A（あなただけのサブクラスをしたい場合は代わりに*の+を使用するなど、 :A）、2番目のトリプルはすべてのクラスのすべてのインスタンスを検出します。

OWL 2のほとんどはSPARQLで実現することができる方法を確認するには、Reasoning in OWL 2 RL and RDF Graphs using Rulesを参照してください。例外のカップルと、これらの全ては、SPARQLで実現することができる（実際には、おそらく、このようなeq-ref、それらのいくつか、（論理学者が嘲笑も計算笑のために良いである）を必要としません）。

は、OWL 2 RLルールのサブセットでは解決できない重量物の持ち上げ分類問題を越えて、いくつかの用途の場合、あります。

だから、最後には、勧告はあなたが必要な含意を理解することです。 OWLがこの問題を完全に熟考し、いくつかのSPARQLパターンで暮らすことができる可能性があります。特定の推論プロファイルがサポートされているかどうか心配することなく、SPARQLエンドポイントをヒットできます。