問題タブ [reification]

ジェネリック型パラメーターをチェックする関数があり、その型が期待される値の 1 つである場合は、その型に適した処理を行います。型が予期しないものである場合、例外がスローされます。

これは機能しますが、実行時にチェックを行っています。ジェネリック型パラメーターが期待される型の 1 つでない場合、実行時例外ではなく、コンパイル エラーを取得する方法を見つけたいと思います。おそらく契約で、これは可能ですか？

rdf:Statement件名によると、複数のrdf:predicateトリプルが接続されたシングルをアサートすることは有効ですか?

SPARUL背景: (つまり、 )に基づく単純なルールを使用して、推論されたトリプルを構築しようとしていINSERT <inferred triples> WHERE <preconditions>ます。私のデータセットでは、語彙に基づいてステートメントを具体化しました。次のrdf:ような推論を行うことは理にかなっています。

このような推論の目的は、主に語彙のマッピングです。語彙の定義で検索する人は、 が定義され?p1ている語彙を使用して人々が述べたステートメントも検索します?p(例: skos:prefLabel(?p) rdfs:subPropertyOf schema:name(?p1))。

ステートメントが 1 つしか持つことができないrdf:predicate、またはその逆であると述べているドキュメントが見つかりません。1 つの述語のみがよりクリーンなオプションになるように思われますが、その場合は、既存のステートメントのほとんどすべて (来歴や有意性スコアなどの追加のトリプルを含む) を複製し、次?p1の述語として使用する必要があります。新しいもの。

代わりに、単にrdf:predicate既存のものに を追加すると、暗黙のセマンティクスは次のようになります?p。?p1何かが欠けています。

実際、具体化されたステートメントのカウントは、 のようなトリプルのカウントに基づいていないことがわかりますが?s a rdf:Statement、私の場合は大したことではないようです。

具体化されたrdfトリプルでプロパティパスを使用することは可能ですか?

指定されたクラス (に格納されている?class) のすべてのスーパークラスを取得したい。