私は OWL オントロジーに取り組んでおり、いくつかの特定の問題が必要です。オントロジー スキーマ (TBox) だけが必要で、道に迷ってしまいました。推論と sparql および OWL API を使用して完了することができる操作は何ですか?
より具体的には、次のものが必要です。1- クラスとプロパティ間のカーディナリティを確認します。2- 特定のクラスの包含関係を見つけます。3- 特定の事実が成り立つかどうかを確認します (たとえば、2 つのクラスが互いに素であるなど)。 4- 一連のクラス間のパス (クラスとプロパティの系列) を見つけます。
推論、sparql、OWL API はそれぞれ何に使用されますか? そして、どちらが私の状況に適していますか?
実際、どのように始めて、どのテクニックを使用すればよいかわかりません。加えて。どなたか参考にさせていただけませんか？
ありがとう。
番号 1 は明確ではありません。どのカーディナリティ公理がアサートされているか知りたいですか? これは推論なしで実行できます。番号 4 も少しあいまいですが、例を挙げていただけますか?
2、3、および 5 では、推論を正確に実行する必要があります。
推論は、暗黙的な情報を明示するプログラムです。包含、実現、一貫性チェックはすべて、推論が必要な操作です。あなたのタスクでは、包摂が明らかに必要です。
OWLAPI は、OWL オントロジーを操作するための Java API です。あなたの場合、接続コードを記述して、タスクに推論を使用すると役立つ場合があります。互換性のある推論には、Pellet、HermiT、FaCT++ などがあります。
SPARQL は RDF クエリ言語です。OWLAPI ではサポートされていません。タスクに使用することもできますが、RDF 指向というよりも OWL 指向に見えます。Jena は、RDF、OWL、SPARQL、および Pellet などの推論機能とのインターフェースをサポートする Java ライブラリです。上記のタスクをどのように解決するかによっては、OWLAPI よりも多くの要件に適合する可能性があります。
イエナのチュートリアル: https://jena.apache.org/tutorials/index.html
OWLAPI ドキュメント: https://github.com/owlcs/owlapi/wiki/Documentation