owlapiにおけるオントロジーの比較

Question

私はプロジェクトにOWLAPIを使用しています。それらの違いについては2つのオントロジーを比較する必要があります。これは空白のノードを無視するので、たとえば、同じOWL制限が両方のオントロジーにあるかどうかを判断できます。違いがあるかどうかを知る必要があるだけでなく、その違いが何であるかを知る必要があります。このような機能はOWLAPIに存在しますが、これは比較的簡単な方法ですか？

Answer 1

匿名クラス式の間の等価性は空白ノードidsに基づいていません - 匿名クラス式はテキスト出力内にブランクノードしか持たず、メモリ内ではidsは無視されます。したがって、オントロジーに公理が存在するかどうかを確認することで、デフォルトでdiffの式が正しく一致するようになります。

これは個人には当てはまりません。匿名の個人はオントロジー全体で同じであるとは見当たりません。これは仕様によるものです。 1つのオントロジー内の匿名の個人は、別のオントロジー内で見つけることができません。なぜなら、匿名の個人IDは、含まれているオントロジにスコープされているからです。

注：OWLAPIの単体テストは、オントロジーを変更せずに（つまり、入力構文と出力構文の間で丸めて）オントロジーを解析、書込み、解析できることを検証するために非常に似たタスクを実行する必要があります。インスピレーションを得るために見ることができるコード。詳細はTestBase.java - equal() methodを参照してください。これには、匿名の個人に異なるIDを扱うコードが含まれています。