問題タブ [protege4]

SWRL ルールを使用して競合をキャプチャしようとしています。SWRL が空の head(consequent) を持つルールをサポートしていることを知りました。しかし、保護者はそのようなルールを定義することを許可していません。私が達成しようとしていることのダミーの例は

hasSon プロパティと hasDaughter プロパティの両方によって、個人を同じ個人と関連付けることはできないことを意味します。プロテジでそれが不可能な場合は、代わりにこれを達成する方法を教えてください。

次の値のいずれかを想定できるデータ プロパティhasCodeがあります。

• 「1i」
• 「2i」
• 「3i」
• 「4i」

この制限を取得するために記述しなければならない式は何ですか?

どうもありがとう

こんにちは、protege 4.3 で概念とそのインスタンスを視覚化したいと思います。残念ながら、このバージョンには OntoViz プラグインがありません。このコンテキストでお手伝いできますか?たとえば、このタスク用の他のプラグインはありますか よろしくお願いします

私はオントロジーを作ろうとしましたが、まだ完成していません。そのためにprotegeを使用しました。データベースの知識表現にオントロジー文書を使用しています。実際には、オントロジードキュメントをデータベースにリンクまたは接続してデータを取得する方法をまだ混乱させています。オントロジードキュメントにはデータではなく知識表現しかないためです。アドバイスや解決策があれば教えてください。どうもありがとうございました。

Protégé を使用して、RDF コンテナー リスト、バッグ、またはシーケンスを作成する必要があります。

また、OWL オントロジーで RDF ステートメントと空白ノードを定義する方法も知りたいです。

私はオントロジーと OWL の初心者なので、助けが必要です。

VARminと VARmaxの 2 つのデータ型プロパティ(または変数) があります。どちらも >=0 かつ <=1 でなければなりません。この制限、なんとか作成できてOKです。これは私がしました：

(VARmin some float[<= 1, >= 0]) および (VARmax some float[<= 1, >= 0])

問題は、VARmin <= VARmaxという形式のように、これらの変数を比較する必要があることです。私はこれを試しました：

VARmin some float[<=" 'VARmax' "^^float]

しかし、私はこのエラーを受け取りました:「UnsupportedOperationException: 値 null はファセット 32 に対して有効ではありません」

このエラーの考えられる解決策を調査したところ、「年」などの特定のデータ型と整数を比較する形式についての説明がありました: https://mailman.stanford.edu/pipermail/p4-feedback/2007-October/000414. html しかし、これは私の場合ではありません。

再度調査しましたが、解決策が私の問題と一致しません。誰か助けてください！

PS: Protégé バージョン 4.0 と Pellet reasoner 1.5 を使用しています。

私はこのガイドを読みまし たが、よく理解できたと思います。クラスとクラスのインスタンスとその他があることを理解しています。

基本的に、オントロジーに対して検証しなければならない多くのステートメントがあります。例: 0600h までに「area」にフラグを立てます。
例 2: 0500h までに、エリア 1 とエリア 2 の間にフェンスを作成します。たとえば、エリアはクラスのインスタンスですが、非常に多くのエリアが存在する可能性があります。0500 が物、特にエリアのデータ プロパティであることは知っています。

問題は、上記の「Eshtablish」のようなアクションをフクロウにモデル化する方法を理解できないことです。

また、オントロジーに対してクライアントから送信されるこれらのリアルタイム ステートメント (上記など) を検証するための推論が必要であると想定しています。この仮定は本当ですか？

もう1つのことは、プロテジベータ（最新）がオントロジーをロードできないことです。オントロジーが作成したものであっても、この問題はありますか. 私は古いバージョンに行きます。

ありがとう