問題タブ [swrl]

SWRLタイプ の 2 つのデータ型プロパティを比較できるルールを作成できるかどうかお尋ねしたいと思いますstring。たとえば、プロパティとして持つクラスと、プロパティとして持つサービス クラスの 2 つのsituationクラスがhas_situation_typeあるとします。次のようなルールを作成したいと思います。 datatype(srting)has_service_typedatatype(string)

これら 2 つのクラスが同じdatatypeプロパティを持っている場合has_services_type = has_situation_type、状況によってサービスがトリガーされます。このルールを説明しようとしましたSWRLが、それが可能かどうかはわかりません:

注意:文字列ではなく数字のみに使用されることは知っていequalますが、文字列に対してどのように使用できるかわかりません。ありがとうございました。

Protégé から SWRL ルールを含む OWL ファイルをインポートし、C# で記述された自分のプログラムで編集する必要があります。私はOwlDotNetApiを使用して Protégé からファイルをインポートしましたが、うまくいきました。インポートしたデータを操作するにはどうすればよいですか? OWL クラスなどの特別なクラスを見たことがありますが、SWRL の特別なクラスは見たことがありません。SWRL のサポートはありますか、それとも別の API を使用する必要がありますか? 一致する API はありますか?

友人私は、保護者のクラスの必要なセクションのプロパティ制限を介して、クラスの「hasPart」と名付けた同じプロパティを使用するオントロジーを作成しました。「hasPart」プロパティには、再利用できるリソースがありません。

例えば

httpMassage クラス:

httpMessage サブクラスの hasPart のみ (httpRequest または httpReponse)

httpRequest クラス:

httpRequest subclassOf hasPart のみ (generalHeader または entityHeader または requestHeader または Payload または request_line)

request_line クラス:

request_line subclassOf には Part のみがあります (httpMethod または URl または httpVersion)

私は他の多くのクラスでも「hasPart」プロパティを使用しています。次に、オントロジーの例でswrlで推移演繹ルールを使用したい

hasPart(?x,?y)^ hasPart(?y,?z) -> hasPart(?x,?z)

しかし、私がそれを実行すると、メモリ不足が検出されたというswrl表示エラーが発生し、ヒープサイズを増やしてください。何が問題なのですか?

ほとんどの推論エンジンは、ユーザーが独自の推論ルールを追加できるSWRLをサポートしています。ただし、私のコンテキストでは、これらのユーザー ルールでは、ルールの結果側で空白ノードを推論する必要があります。

Jena はmakeTemp、この作業を行うための組み込みメソッドを提供します。詳細については、こちらを参照してください。

例を次に示します。

私の質問は：

SWRL はルールの結果側で空白ノードの推論をサポートしていますか? SWRL w3cは、この特定の状況について何も述べていません。

Protege 4 で「ルール」ビューを利用しました

門徒がルール名を定義するのをサポートすればよいと思います。

このようにルールを定義しました

そして、ルール名を定義しようとしました..しかし、ルール名の使用方法がわかりませんでした

シンタックスエラーが発生！

Protege 4 で SWRL ルール名を定義するには?

私は最近、実践するために小さなオントロジーを作成しました。私のオントロジーには、1 つの SWRL ルールによって定義された、EmployedPerson というクラスが存在します: Person(?x), (worksin min 1 Place)(?x) -> EmployedPerson(?x)。

また、クラス式で定義された UnEmployedPerson という別のクラスがあります。(Person and (not (EmployedPerson))) と同等です。これは、UnEmployedPerson が EmployedPerson の補数であることを意味します。

上記の両方のクラス (EmployedPerson と UnEmployedPerson) は Person のサブクラスであり、person は「EmployedPerson または UnEmployedPerson」として設定されます。Person クラスには、Ivan、Lenka、Martin の 3 人の個人がいます。すべての個人は異なる個人です。

別のクラス Place には、個別の「WorksApplication」があります。オブジェクト プロパティ 'worksin' は、クラス 'Person' とクラス 'Place' をリンクします。

私のオントロジーには、次の 2 つの公理があります。 Lenka は Worksapplication で機能します Martin は Worksapplication で機能します Pellet と HermiT による推論の後、Lenka と Martin は SWRL ルールに基づいて EmployedPerson のメンバーであると推論できます。

Ivan は EmployedPerson に属しておらず、UnEmployedPerson は EmployedPerson の補数であるため、Evan はクラス UnEmployedPerson のメンバーとして推論される必要があります。

しかし実際には、Pellet と Hermit による推論の後、Ivan はクラス UnEmployedPerson で推論できません。結果は私の期待に応えませんでした。ONTOLOGY に何か問題がありますか、それとも OWA の効果を無視していますか? その問題に対処するのを手伝ってください。クラス UnEmployedPerson で Ivan が推論されるのを見たいです!!

この動作を示すオントロジーは次のとおりです。

私はセマンティック Web ルール言語の初心者であり、離散分布と連続分布の確率を計算するためにいくつかのルールを作成しています。

SWRL を使用すると、減算、加算、乗算、除算ができることを知っています。しかし、累乗、和、数学関数の計算はどうでしょうか? SWRLでこれを行う方法はありますか?

私の質問を配置するための単なる例：たとえば、三角分布の場合、基本的な数学的計算（減算と除算）が必要ですが、ベータ分布の場合、ベタ関数のべき乗と計算が必要です..

SWRLでこれを行う方法はありますか? ありがとう