問題タブ [protege]

Reasoner (ペレット 1.5 またはファクト ++) を実行すると、保護者の「同じ個人のプロパティ」に問題があります。

オントロジーの例を見てみましょう

モノにはクラスの息子 A と B があり、A には息子 C と D があります。

B、C、D には同じクラスの個体がいます。

個体 C は個体 B と「同一の個体」であると言い、さらに個体 D は個体 B と「同一の個体」であると付け加えることはできませんか? 確かに名前は違いますが、同一人物です。

個人 B にタイプ C または D の「同じ個人」を設定した場合にのみ機能するのはなぜですか?

保護者のエラーは「InconsistentOntologyException:Fact++.Kernel: inconsistent Ontology」であり、ペレットはオントロジーが矛盾していると述べています。

編集:より根深い問題のようです。この例は機能し、チェックを続けます。

EDIT2：さらに実験した後、DataTypeプロパティと競合しているようです。それらはすべて同じ名前の DataType プロパティを共有します。プロパティのドメインの例では、A と範囲文字列になります。解決方法はありますか？

個人にプロパティ値を追加するにはどうすればよいですか。「ラクナス」という新しい個体を作りました。その後、プロパティ値を追加する必要があります..

OntClass cul = model.getOntClass(" http://www.owl-ontologies.com/Ontology1275995702.owl#person ");

個人の ind = model.createIndividual(" http://www.owl-ontologies.com/Ontology1275995702.owl#laknath ",cul);

その個人 (ind) の下に URL を追加する必要があります。1 つまたは複数の URL がその人に属している可能性があります...どうすればそれを追加できますか:::

誰でも私に道を教えてもらえますか..

今学期は実践ゼミがあり、Androidアプリでオントロジーを使いたいと思っています。オントロジー API として Protege owl オントロジーを選択すると、このツールは通常の Java プロジェクトで機能しました。しかし、Android プロジェクトのフクロウ オントロジー API 用のこの jar ファイルをインポートしようとすると、失敗し、インターネットで解決策が見つかりませんでした。

次のクラスがあります。クラス B、C、D は A のサブクラスです。

その上、オブジェクト プロパティhasObjectPropertyと、X、Y、Z の他のいくつかのクラス があります。X、Y、Z は互いに素なクラスです。

次に、クラス B、C、および D に次のように制限を設定します (ここでは、Protege でも使用されているマンチェスター OWL 構文を使用しますhttp://www.co-ode.org/resources/reference/manchester_syntax/ )

ここでの問題は、クラス B と C のみの結合であるクラス E をどのように説明できるかということです。クラス B とクラス C (ただしクラス D ではない) の両方になることができるクラスをどのように説明できますか?

可能ですか？

クラス E の制限をこのように定義しようとしました。しかし、Reasoner はそれを無効と判断します。

どうもありがとう！

このクエリを作成します。

HasName は 1 つのデータ型プロパティです。Protege でこのクエリを実行すると、システムはデータ型プロパティの値なしで件名だけを表示します。mwans ?y は空です。また、jenaシステムで実行すると、次のように表示されます:(文字列)

datatype プロパティの値の値を確認するにはどうすればよい?yですか?

Protege を使用して RDF/XML OWL ファイルに書き込みの更新を保存できません。アプリケーションを閉じるたびに、編集内容がすべて失われます。JENA ライブラリを使用して、次の方法でこのファイルを読み取りました。

この問題を次の方法で修正しようとしました。

しかし、私のファイルは空白になり、最終的に空になります。代わりに出力ファイルの名前を変更しようとすると、問題なく動作します (出力ファイルが入力ファイルと一致しないように注意してください)。

最後に、私の質問は次のとおりです。OWL ファイルを更新するにはどうすればよいですか?

私は今、有名なピザの例を扱ったProtegeチュートリアルを使用してオントロジーを構築するためのガイドを読んでいます。特にわからないことが2つあります。

American / AmericanHot / Margherita / Soho（およびオントロジーのNamedPizzaクラス内で言及されているすべてのサブクラス）は、Pizzaクラスの個人であるべきではありませんか？彼らがクラスのピザの個人であると考えるのは自然なことです。なぜ彼らはこれらを個人ではなくサブクラスと見なしたのですか。そして、彼らはそれからどのように個人を作ることを計画していますか？（Margherita1、Margherita2などのように....もしそうなら、なぜ彼らは個人タブでそのような個人を作成しないのですか？）

そして、なぜ彼らはNamedPizzaのサブクラスにのみクロージャー公理を適用し、他のサブクラスには適用しないのですか？

Protege 4 を使用してオントロジーを作成しています

質問が明確でない場合は、例を次に示します。

スーパークラスは（モノ）

サブクラスは、(会社名) と (会社の略称) (ソーシャル ネットワーク) (サービス) の 2 つのデータ プロパティを持つ (会社) です。

会社クラスのインスタンスは (macintosh) で、2 つのデータ プロパティ (macintosh) と (MAC) があります。

ソーシャル ネットワーク クラスのインスタンスは (facebook) です。

サービスクラスのインスタンスは (adsence)

1# mac にはロゴがあり、facebook にはロゴがあると言いたいので、ロゴはクラスでなければなりませんか? そしてもし、関係によって個人をクラスに関連付ける方法は? これは可能ですか？

2# protege の関係によって 2 人の個人を関連付ける方法は?

protege を使用して 2 つのオントロジーを作成し、A.owl、B.owl として保存しました。protege-4.0 が多くのオントロジーをマージできることを私は知っています。protege-owl API を使用して、オントロジー A.owl と B.owl を C.owl にマージしたいと考えています。しかし、私はそれを行う方法がわかりません。私たちを手伝ってくれますか。どうもありがとうございました。