OWLAPI：公理の更新/削除を処理する際のパフォーマンスへの影響

Question

OWLクラス（例えば、SubclassOf公理）から公理を更新/削除したいと考えています。

私は二つのアプローチ次き：

1）は、すべての新しい公理を作成するすべての古い公理を削除します。

2）新しい公理と比較して選択的公理を削除します。

注： -ため、私はOWLAPIのためのパフォーマンスの面でaheasに行く最善の戦略ある

Q.を作成+として、削除、更新例を治療しなければならないいくつかの制限に？

などです。 私はClass XのためのsubClassOf公理を以下している -

1) A or B 
2) name exactly 1 xsd:string 
3) P and not Q 

と私はこれらの公理を削除/更新したい - 公理の削除のパフォーマンスが公理の追加に相当し

1) A [Update] 
2) name min 1 xsd:string [Update] 
3) Axiom is deleted [Delete] 

Answer 1

。主なアクションは、既存の要素を見つけたり、新しい要素を追加したりするために地図を検索することです。

入力にはO（Constant）が含まれているため、複雑さの大部分はオントロジーのサイズとは無関係です（これは非常に大きなオントロジでは当てはまりませんが、ほとんどのオントロジーでは正確です）。

要するに、提案された解決策（2）にパフォーマンスの問題はありません。

私は、公理を再作成することはお勧めしません。これは、メモリ使用に関して高価になる可能性があります。公理は不変なので、新しいオブジェクトと古いオブジェクトはまったく同じように動作します。