問題タブ [reasoner]

オントロジーが一貫しているかどうかを確認しようとしています。オントロジーは一貫している可能性がありますが、それでも満足できないクラスがいくつかある可能性があります。ケース Aとしましょう。

しかし、私の問題は、オントロジーが一貫性テストに合格できない場合、つまり一貫性がない場合です (ケース B )。私の問題は、ケース Bでオントロジーの満たされないクラスを取得できないことです。

私の最終的な目的は、満たされないクラスを処理してそれらにいくつかの変更を加え、一貫性のないオントロジーを矛盾するオントロジーにすることです。したがって、ケース A (満足できないクラスにアクセスできる) の目的を達成できます。それらを処理し、それらの一部を修正します。しかし、今、私はケース Bのために何ができるでしょうか?

次のコードは、これら 2 つのケースを示しています。

ケース Bの場合、どうすればよいですか? hereには、次のように書かれています。

満足できないクラスを見つけたい場合は、すべてのクラスで isSatisfiable メソッドを呼び出すだけです。 reasoner.isSatisfiable(className);

Case Bに次のコードを入れます。

しかし、次のようにエラーが発生します。

では、ケース Bのオントロジーをどのように処理できますか?

アップデート

@Ignazio のコメントに基づいて、私の質問のコードの //CASE B の代わりに、この新しい関数を呼び出します。

この新機能でも、満足のいくカラスは見つかりません！

@Ignazioが投稿したコードも試しました。そこにある特定の例では、そのコードは数秒で実行されますが、私の小さな一貫性のないオントロジーでは、1 日経っても結果は出力されません。

正当化セットと一緒に満足できないクラスを取得する方法について、これ以上のアイデアはありますか?

私はセマンティック Web フィールドの初心者であり、より多くの推論を比較しようとしています。これは私のコードです:

私の出力は次のようなものです:

誰かが私にこれが何を意味するのか説明できますか? 進行状況モニターの出力に関するドキュメントはありますか? 2 番目の質問: 推論されたクラス/公理の数を取得するにはどうすればよいですか? 助けてくれてありがとう、リタ