rdf - Jena ルールの 'fb' と 'b' の意味 //OWL、RDFS

Question

プレフィックス b と fb がわからないJena ルールがあります。各 OWL ファイルと RDFS ファイルの違いは何ですか?

PS。ダウンロード URL は https://jena.apache.org/download/index.cgiで、jena-2.11.1-source-release.zip (MD5、PGP) をクリックします。

rules dir -> jena-core/src/main/resources/etc

Answer 1

これらの*.rulesファイルは、すべての異なるJena reasonersで使用されるルールを含むファイルです。

ファイルのヘッダーにあるコメントを参照してください。たとえば、owl-fb.rulesファイルの場合は次のようになります。

OWL ルール セット v0.3 このルール セットは、ハイブリッド ルール システム (前方連鎖と後方連鎖の混合) を使用して owl(f)lite を実装するように設計されています。以前のバージョンとは異なり、LP 後方エンジンと連携するように設計されているため、インスタンスの推論に一貫して固執しています。

これには、まだスケーラブルではない等式推論の実験的な前方バージョンが含まれています。

Sobはbackward chaining、ffor forward chaining、およびfb2 つの組み合わせを表します。