問題タブ [protege]

Protege を使用してオントロジーを作成しており、データ プロパティの制限を指定したいと考えています。という名前のデータ プロパティがあるとしますhasCode。string範囲として定義しましたが、最大長が 3 文字であることをさらに定義したいと思います。

このDAMLオントロジーをOWL（またはProtegeでサポートされている他の形式）に変換しようとしています。オンラインコンバーターを見つけましたが、protegeによる変換の結果を開こうとすると、次のエラーメッセージが表示されました。

変換の結果があります。

上記のコンバーターの何が問題になっていますか？または、DAMLオントロジーをProtege互換形式に変換する別の方法はありますか？

Protege でオントロジーを作成しました。アプリケーションのスケーラビリティを向上させるために、OWL ファイルをトリプル ストアに変換し、ストアにクエリを実行したいと考えています。

フクロウファイルをトリプルストアに変換するには?

私は現在、保護者を使用してオントロジーを開発しており、ノードがリストの最後のノードであるかどうかを判断したいと考えています。したがって、基本的にリストはノードを指し、すべてのノードにはコンテンツがあり、別のノードを持つことができます。

List startsWith some Node

Node hasContent some Content

Node hasNext some Node

EndNodeここで、別の を指していないという名前のサブクラスを定義したいと思いますNode。これは私がこれまでに試したことですが、分類後はEndNode常に等しいですNothing:

Node and not(hasNext some Node)

Node and (hasNext exactly 0 Node)

opencycKBの知識のドメインをOWL形式で取得したいと思います。実を結びたいと仮定します。では、どうすればこの知識をOWL形式として利用できますか？そのファイルをOWLオントロジーとしてprotegeにロードしたいからです。では、どうすればこれを行うことができますか？私はすでにopencycサイトからOWLファイルをダウンロードし、protegeにロードしようとしました。しかし、edu.stanford.smi.protegex.owl.jena.parser.ProtegeOWLParser $ 1.invokeARP（不明なソース）Plzでエラーが発生しました...

OWLでは、オントロジーに空のクラスのみを含めることができますか？クラスには何人かの個人が含まれている必要がありますか？しますか

「人間」は空のクラスという意味ですか？

オントロジーに空のクラスが含まれている場合、それを拡張する別のオントロジーで個人を定義できますか？

同様に、オントロジーのクラスのメンバーでなくても、個人を宣言できますか？

ありがとう

Jenaの推論機能を使用したいのですが、InfModelを使用しているときにパフォーマンスの問題が発生します。

これが私のオントロジーの簡略化された概要です：

プロパティ：

さらに、クラス'Object'があります。

明示的に保存されるのは次のデータです。

次のクエリを使用して、インスタンスがどのクラスに属しているかを確認したいと思います。行われた仮定によれば、「SomeObject」のみが返されます。

ds.getDefaultModel()ただし、データが明示的に保存されていないため、クエリは機能しません。infModel一方、使用している場合、クエリは終了しません。せいぜい25分待ってから中止しました。（トリプルストアのサイズは約180 MBです）

これは私のコードです：

上記のコードに何か問題がありますか、それともそれが機能しない理由は他に何がありますか？

それ以外に、「推測された公理をオントロジーとしてエクスポートする」（Protegeが提供）を実行すると、パフォーマンスを向上できるかどうかを知りたいですか？

編集： 私はその間にペレットを使用しようとしましたが、他の質問で説明したように、推測されたモデルを取得できません：理由としてペレットを使用するOutOfMemoryError。では、他に何ができますか？

次のように定義されたオブジェクト制限があります

Jenaを使用して、制限で定義された個々の値を読み取るにはどうすればよいですか。

次のシナリオが機能しない理由を理解しようとして、2日間立ち往生しています。

ここのスクリーンショット：http：//dl.dropbox.com/u/4677548/screenshots.html

スクリーンショット番号1に示されているように、「Food and（Eggs or MilkAndDerivates orVeganFood）」と同等のVegetarianFoodクラス（Foodのサブクラス）があります。

次に、VeganFoodクラスは、他のクラス（NutsAndSeeds、Cereals、Fruitなど）と同等です。スクリーンショット2

ご覧のとおり、MilkAndDerivatesとNutsAndSeedsのスクリーンショット3として作成された2人の個人（チェダーチーズとカシューナッツ）があり、VegetarianFoodとVeganFoodのメンバーとして正しく推測されています。

次に、オブジェクトプロパティhasIngredientのスクリーンショット4と5を使用して、レシピとして2つの個人を作成しました。1つはカシューナッツ（PastaVega）のみ、もう1つはチェダーチーズとカシューナッツ（PastaVege）の両方です。

そして、それらはレシピとして推測されています...しかし、スクリーンショット6と7のように定義されているVegatarianRecipeとVeganRecipeのカテゴリに分類されるものはありません。

私には手がかりがありません、なぜ彼らはVegetarianRecipe（またはビーガン）として推測されないのですか??私は何が欠けていますか？

編集：

私がVegetarianRecipe（またはビーガン）を「Recipeand（hasIngredient ONLYVegetarianFood）」から変更した場合

「レシピと（HasIngredient SOMEVegetarianFood）」へ

スクリーンショット8

レシピの個人が表示されますが、もちろんこれは私がやろうとしていることではありません。このように、混合肉とvegetarianFoodを使用したレシピが含まれるためです。では、レシピが菜食主義者か完全菜食主義者かを推論者が正しく推測できるように、菜食主義者とビーガンレシペのクラスを定義するにはどうすればよいでしょうか????

私は JessRules に慣れるために探索しようとしています。protege 3.4.8 に jessrules ver 7 エンジンをインストールしました。

まず問題なく person クラスを作成します:

次に個人を作成します：

それから私は次の応答を得ました：

チュートリアルでは次のようにする必要があります。

しかし、インスタンスは正常に作成されています。しかし、mapclass と fact コマンドを実行すると、インスタンスのファクト出力の一部にもエラーが含まれます。

このエラーについてはわかりません。私はすでにグーグルを試みましたが、手がかりが見つかりませんでした。よろしくお願いします。