OWL DL + SQWRLサポートのためのOWL APIでの推論器の結合

Question

OWL 2 DLオントロジでいくつかのSQWRLルールを計算する必要があります。

問題がある：

• 現在のOWL 2 DLの推論だけ
• のみSQWRLのSWRLAPIエンジンはDroolsの-swrlapiウィッヒであるSWRL組み込み関数をサポートするOWL 2 RLであると私のDLオントロジーを処理することができませんJavaへの直接
  1. 使用OWLAPI：私は2つの解決策を検討

それは、二つの推論を組み合わせることが可能である：（ペレットなど）OWL 2 DL推論

何とかので、私の質問は、両方の推論（ペレットとのDrools-SWRLAPI）を使用して、静的なJavaコード

を避けるの上にSQWRLを実行彼らは矛盾しないように？

DL推論と

同様
1. 事前計算推論
2. はバックDL推論にSQWRL
3. プットを実行し、より多くの推論
4. を計算/検証するためにDroolsの-SWRLAPI上の結果オントロジーを実行しますループ

ありがとう！

Answer 1

これは、OWLReasonerが非バッファリングとして作成され、Drools-SWRLAPIが入力オントロジー内のすべての推定トリプルを具体化する場合に実行可能になります。これは当てはまらない可能性があるので、これらの推論を具体化するための措置を講じる必要があります。

私はSWRL APIとDroolsルールエンジンに慣れていないので、これが実行可能かどうかはわかりません。私はおそらくSWRLをサポートするオープンソースの推論の1を取ることによって開始し、Droolsのコードで自分のSWRLサポートを置き換えるために試してみた - これは推論は正確性と完全性を確保するために使用するアルゴリズムが適用されることを確実にするという利点を有している（間をループします

逆のアプローチ、つまり、OWL2DLの推論を具体化し、後でSWRLルールを適用すると、選択する必要があるという弱点があります。これは、2つの推論アプローチが適切な近似でなければなりません。これは推論実体化するために、分類学におけるクラス表現はOWLReasonerインタフェースを介して簡単に移動しないであろう、そしてプロセスは非常に計算コストであるかもしれない