問題タブ [pellet]

SubClassOf リレーションに注釈を付けることができることはわかっています。

しかし、私が本当にやりたかったのはこれです：

私が望むのは、サブクラスの関係ではなく、関係 :prop1 :instance1 および :prop2 :instance を持つすべてのオブジェクトにとって意味のある注釈を作成することです。

ObjectIntersectionOf のクラスを作成したくありません。実際の例では、そのようなクラスが何千もあるからです。

以下のファイルでペレット 2.3.1 を実行すると、次のエラーが発生します。

ドラフト2.フクロウ

いくつかの変更が発生し、推論 (私の場合はペレット) がこれらの変更と一致する場合にのみ、ファイルに保存する必要があるオントロジーがあります。だから私は書く：

オントロジーが変更された場合にのみペレットを同期し、一貫性がある場合はそれを同期して変更を適用します。続行する方法はありますか？ありがとうございました

(編集: オントロジーを変更するために manager.applyChange メソッドを使用します)。

Java owl-api でペレットを使用して swrl を使用しようとしています。私は見てきました: owl2 と swrl チュートリアル ペレット とswrl 定義の組み込み swrl のテスト

A(?x) -> B(?x) のような単純な推論にswrlを使用することができました

しかし、「組み込み」のswrl述語（equal、greaterThan、lesserThanなど）を使用する必要がある場合に行き詰まります。テストプログラムのどこかに問題があると思います（おそらく名前空間にあります）が、できませんどこを見つける。

予想される出力は次のとおりです。

しかし、実際の出力は次のとおりです。

A クラスが見つかりません。 ここに私のプログラムのコード:

これを使用して実行されるテストプログラム：

誰かが私を修正するのを手伝ってもらえますか?

私はOWL APIでペレット推論器の最後のバージョンを使用しています:

マネージャーには、いくつかのオントロジーがロードされます。ここで、マネージャーでロードされたすべてのオントロジーに対してペレットによって行われたすべての推論をファイルに保存する必要がありますが、例が見つかりません。誰かが私を助けることができますか？ありがとうございました ！

私はフクロウのオントロジーにプロパティの具体化を追加することに苦労しており、プロパティの具体化に関する W3 wiki の提案に出くわしました。私は、ペレット (またはその問題の推理者) が語彙とそれに対する理由を、ネイティブと SWRL ルールの両方で理解できるかどうか疑問に思っていました。提案された語彙はここにあります。

protege4 を使用してオントロジーを構築しましたが、Java で操作したいと考えています。ペレット推理器を使ってやってみました。

しかし、私はいくつかのエラーがあります。

コードの何が問題なのか理解できないので、助けが必要です。

コード ：

敬具、グレース

OWL (バージョン 4.0.2) e Pellet (3.0) を使用してオントロジーを作成し、SWRL ルールを使用して新しい事実を推測しています。しかし、OWL API の一部の jar は、推論を試みている間に膨大な量のメッセージを出力しており、最終的には結果が表示されません。

オントロジー情報を設定する場所は次のとおりです。

ログの一部をお送りします:

14:54:38.961 [メイン] DEBUG osordf.rdfxml.parser.TripleLogger - トリプルの総数: 4788 14:54:38.966 [メイン] DEBUG osorrpOptimizedListTranslator - リスト: ObjectPropertyAtom( http://www.semanticweb.org/michel/ ontologies/2014/6/TwitterOntology#hashtagContainedInTweetRule Variable() Variable()) 14:54:38.967 [main] DEBUG osorrpOptimizedListTranslator - リスト: ObjectPropertyAtom( http://www.semanticweb.org/michel/ontologies/2014/6/TwitterOntology #posts Variable() Variable()) 14:54:38.967 [main] DEBUG osorrpOptimisedListTranslator - リスト: DataPropertyAtom()

14:54:40.316 [main] INFO ccoeBlackBoxExplanation - 初期の公理数: 50 14:54:40.319 [main] INFO ccoeBlackBoxExplanation - 公理の拡張 (拡張 0) 14:54:40.320 [main] INFO ccoeBlackBoxExplanation - ... 62 で拡張14:54:40.321 [main] INFO ccoeBlackBoxExplanation - 展開公理 (展開 1) 14:54:40.322 [main] INFO ccoeBlackBoxExplanation - ... 77 で展開 14:54:40.324 [main] INFO ccoeBlackBoxExplanation - 展開公理 (展開 2) ) 14:54:40.324 [main] INFO ccoeBlackBoxExplanation - ... 96 で展開 14:54:40.328 [main] INFO ccoeBlackBoxExplanation - 公理の展開 (展開 3) 14:54:40.328 [main] INFO ccoeBlackBoxExplanation - ... 展開by 120 14:54:40.333 [main] INFO ccoeBlackBoxExplanation - 公理の展開 (expansion 4) 14:54:40.334 [main] INFO c.coeBlackBoxExplanation - ... 150 倍に拡張

あなたの何人かが私に何かヒントを与えることができれば、私は本当に素晴らしいと思います.

よろしく、ミシェル。