問題タブ [pellet]

この質問はこれに関連しています: OWL と DL 推論: なぜエロスは美しくないのですか?

これらの機能を備えたオントロジーを作成しようとしています:

1. すべての子供が成功すれば、誰もが幸せです。

2. アフロディーテはエロスの親です。

3. エロス成功。

そして、ここに私が幸せのために持っているものがあります:

私はアフロディーテが幸せではないことを期待しています.Open World Assumption（彼女は後で別の子供を持つかもしれません）のために、しかしErosはどうですか？彼には子供がいません。彼は幸せであるべきではありませんか?

Jena 3.0.1 (Eclipse で動作) に Pellet 2.3.0 reasoner をインポートしようとしています。そうするために、ここにある同様の質問 (古いものもあります) と Apache Jena Web サイトの FAQ をすべて読みました。彼らのコードを使用すると、次の行で常にエラーが発生します。

OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC);

Jena は正常に動作し、私はそれをテストしました。私が推測しているのは、Pellet 用の適切な jar ファイルをインポートしていないということです。GitHub から Pellet リポジトリ全体のクローンを作成しましたが、見つかった唯一の jar ファイルは Protege フォルダー内のものです。下線付きのテキスト内でカーソルを移動すると、Eclipse で何かをインポートするように指示されますが、問題は残ります。そのエラーの原因はjarファイルですか、それとも他の何かですか?

Fuseki 2.3.1 でペレット推理器を使いたい

最初: 次のように、config.ttl に Pellet reasoner を追加しました。

だから今、ペレット用の瓶をフセキに追加する必要があります

このページでは、ふせきに瓶（特にペレットではない）を追加する方法を説明します

https://jena.apache.org/documentation/permissions/example.html

だから私はこの行をcommet

exec $JAVA $JVM_ARGS -jar "$JAR" "$@"

そして、私はこの行のコメントを外します

java $JVM_ARGS -cp "$JAR:$APPJAR" org.apache.jena.fuseki.cmd.FusekiCmd "$@"

で始まる行のコメントを外しますAPPJAR=

今でもペレットのjarファイルを知ってダウンロードする必要があります.

Maven から利用可能な最新バージョンをダウンロードしました。

ペレット-jena-ignazio1977-2.4.0-ignazio1977.jar

ペレットルール-2.3.6-ansell.jar

ペレット-el-2.3.6-ansell.jar

ペレット-データ型-2.3.6-ansell.jar

ペレット-コア-ignazio1977-2.4.0-ignazio1977.jar

aterm-java-1.8.2-p1.jar

commons-collections4-4.1-javadoc.jar

commons-collections4-4.1.jar

次のように、fuseki-server スクリプトに追加しました。

(fusekiのホームディレクトリにあります)

./fuseki-server を実行すると、このエラーが発生します

助けてください

ヒント: 私が試したことが正しいかどうかはわかりません。私が望むのは、ペレット推論をフセキに含めることだけです。

アップデート

イグナツィオが瓶を混ぜていると私に言った後、

私は Pellet git hut に行き、src をダウンロードし、maven を使用して jar ファイルに準拠して取得しました

次に、使用しているjarを次のように変更しました。

しかし、私はこの例外を得ました:

OWL-API と一緒にペレットを実行すると問題が発生します。コードをデバッグするために、次の例外がスローされます。

}

次の行で例外がスローされます。

OWLReasoner reasoner = reasonerFactory.createReasoner(オントロジー、新しい SimpleConfiguration());

POM.XML:

この問題を解決する方法についてのヒントを教えてもらえますか?

私のクラスパスのメインファイル

System.out.println(System.getProperty("java.class.path")); の結果

Protégé を使用してオントロジーにルールを追加する代わりに、Java またはペレットを使用して SWRL ルールをオントロジーに追加したいと考えています。

たとえば、オントロジーにインポートしたいルールは次のとおりです。

[Course(?x),teacherOf(?y,?x),worksFor(?y,?z)] => [coursePresentedInUniversity(?x,?z)]

次のコードをオントロジーに追加します。

それを行うためのサンプルコードを教えてもらえますか?

実は以下のコードを書いたのですが、うまくいきませんでした！

SWRL ルールの使用に問題があります。2 つの異常な状況が発生した場合に人間に通知するロボットがあります。私のテスト ケースでは、ユーザーのテンションを使用します。

• 張力が 14 未満の場合、ロボットは張力が低いことを警告します。

  (:hasTension :Charles ?x) ∧ greaterThan(?x, "14.0"^^xsd:float) → (:hasAlert :Samii "テンションが高い"^^xsd::string)

• 張力が 14 を超えると、ロボットは張力が高いことを警告します。

  (:hasTension :Charles ?x) ∧ lessThan(?x, "14.0"^^xsd:float) → (:hasAlert :Samii "テンションが低い"^^xsd::string)

ペレット推論器（ペレットのopenlletフォーク）でOWL APIを使用しています。そのために、組み込みの swrlb:greaterThanとswrlb: lessThan を使用する SWRL ルールを用意しました。テストのために、公理を追加します

    :Charles :hasTension "10"^^xsd:float

データプロパティをクエリします

    :Samii :hasAlert ?alert

しかし、オントロジーにクエリを実行すると、2 つのアラートが表示されます。私のルールは適切に形成されていると思います。ビルトインが実装されていないことを示す API からの警告やエラーはありません。したがって、ルールは期待どおりに機能するはずです。予期しないアラートが表示される理由がわかりましたか?

資力

私のテスト「メイン」

コア：

そして私の存在論

私のテストケースの出力: