benchmarking - OWL Lite、DL、完全な推論ルールを見つける方法は?

Question

推論ルールとルール情報を検索したい。

しかし、W3C は例を提供しました: http://www.w3.org/TR/2004/REC-owl-guide-20040210/#owl_sameAs

(推論ルール試験)

owl:sameAs(?a, ?b) ^ owl:sameAs(?b, ?c) ^ notEqual(?a, ?b) ^ notEqual(?b, ?c) -> owl:sameAs(?a, ?c)

Answer 1

推論を実行したい場合は、推論を実行できるものを使用する必要があります。Pellet、Hermit、Fact++ などの専用の推論ツール、または Stardog や OWLIM などの推論をサポートする rdf データベースを使用できます。

参照しているドキュメントはかなり古いため、OWLの現在のバージョンをチェックアウトすることもできます。