問題タブ [dlquery]

オントロジーを開発していますが、Dl クエリに問題があります

「花」というクラスがあります

このクラスにはいくつかの花の名前であるサブクラスがあります

「flowersColor」という別のクラスもあります

そして、これらの値 (「赤」、「緑」、および「青」) をサブクラスではなく個体として持ちます。

すべての花には 1 つ以上の色があります

赤だけで赤い色の花を探したい

私のDLクエリは：

"flower and hasColor value red"

このクエリは、他の色がある場合でも、赤色のすべての花を返します

ただし、色が赤のみのすべての花が必要です

このようなことを書きたい

"flower and hasColor only value red" <- これは文法的に正しくありません

色に「赤」と「緑」の組み合わせがある場合、結果に表示したくありません

あなたが私の質問で私を助けてくれることを願っています

ありがとう

OWLでは、このクエリは正常に機能します

それはうまく機能し、3人以上の子供を持つすべての人に私を与えます

しかし、これは機能しません

それは私に3人未満の子供を持つすべての人を与えるはずですがそれは機能しません

誰かがこれについて考えを持っていますか？

「最小」が機能するのに「最大」が結果をもたらさないのはなぜですか！??

ありがとう

オントロジーで個体をクエリするにはどうすればよいですか。これは、私がやりたいことの説明です (SQL クエリに似ています)。

3 つのクラス (コンポーネント、機能、および極性) があります。極性の値は、正の極性または負の極性であり、どちらも極性のサブクラスです。

• a_component hasFeature a_Feature
• a_Feautre hasPolarity a_Polarity

Positive_polarity 値を持つすべてのコンポーネントをリストしたいと思います。

protege 4 の [DL クエリ] タブを使用して、これをどのように達成できますか?

Protege で DL Query をプログラム的に使用できるかどうかを知りたいです。Java でクエリを入力して、SQL のように個人を取得することはできますか?

たとえば、クエリはhasCalorificContentValue value 723で、 という個人を取得したいと思いますQuattroFormaggio。

これは非常にばかげた質問のように聞こえますが、これを理解しようとしてきましたが、これについては何も見つかりませんが、これが実行可能であることは明らかです.

マンチェスター OWL 構文と HermiT 推論を使用して、API を介して OWL ファイルを照会するものを開発しています。または、Protege 4 の [DL クエリ] タブでクエリを実行して、そのファイルのクエリ結果を確認します。このファイルは基本的に、データ インスタンスが追加された Friend Of A Friend (FOAF) オントロジーです。

問題: 一意の識別子でインスタンスをクエリする方法が見つかりません。

これはURIであるはずなので、たとえば URI を持つ Person オブジェクトの場合 http://xmlns.com/foaf/0.1/Andrew_Kuchling、次のクエリを実行しようとしました:

これらのどれも機能しません。(URI は、入力した文字列にプレフィックスを付けることによって構築されhttp://xmlns.com/foaf/0.1/ます。URI は、実際にはオントロジーでプロパティとして識別されません)。

FOAF ではmbox_sha1sum、メールボックスの sha1sum です。メールボックスは、個人と一意に接続されています。そこで、次のクエリを試しました。

ただし、クエリが正しくないと感じているため、このクエリを実行することさえありません。値は、このmbox_sha1sumPerson に追加したものと同じです。それは個人に存在します。

次のクエリを実行します。

すべてのデータ プロパティは特殊なデータ型ではありません。デフォルトではリテラルとして扱われます。

何が間違っているのか本当にわかりません。誰か助けてください。

DL クエリで特定のオブジェクト プロパティに沿って特定の個体のセットと関係を持つ個体のセットを取得する方法を説明してください (量指定子は使用しません)。

私はprotegeでオントロジーを作成しました。

私はAlcoholicBeverageというクラスを持っています。このクラスの下には、ビール、ワインのサブクラスがあります。これらのサブクラスは互いに素です。

Personというクラスがあります（サブクラスはありません）。2つのサブクラス「PositiveChange」と「NegativeChange」を持つBehaviorと呼ばれる別のクラス。

「drinking」と「sumption」の2つのサブプロパティを持つ「using」オブジェクトプロパティがあります。「using」プロパティのドメインはPersonクラスで、範囲はAlcoholicBeverageクラスです。

NegativeChangeクラスには、「AlcoholicBeverageを使用する」というステートメントで示されるスーパークラスがあります。

「ビールを使う」、「ビールを飲む」、「ビールを飲む」などのDLクエリを作成すると、NegativeChangeとして分類されますが、分類されません。ただし、AlcoholicBeverageスーパークラスのセクションで記述されているのとまったく同じ定義である「alcoholicBeverageを使用して」と記述した場合にのみ分類されます。クラスまたはオブジェクトの継承は考慮されません。ビールをアルコール飲料として分類するか、「消費する」オブジェクトプロパティを「使用する」オブジェクトプロパティとして分類する必要があると思います。

ご協力いただきありがとうございます。

クエリを書き込もうとしています

病院と hasNameWithWords の値は "center"^^string

このクエリは、Protege 4.2 で名前に「センター」が含まれる病院を持つインスタンスを、FACT++ 推論器と Hermit 推論器で返します

しかし、ウェブサイトhttp://sourceforge.net/p/owlapi/code/ci/aef6981535f07a2d0d44c394b9f4d5415f36025a/tree/contract/src/test/java/org/で入手可能なOWL-APIのDLクエリ例に同じクエリを入力すると coode/owlapi/examples/DLQueryExample.java

結果が出ません。

しかし、次のような単純なクエリを書くと結果が得られます

病院

コード内の推論者が推論できないからでしょうか?

他にどんな推論が良いでしょうか？

DL クエリの例 ( http://sourceforge.net/p/owlapi/code/ci/aef6981535f07a2d0d44c394b9f4d5415f36025a/tree/contract/src/test/java/org/coode /owlapi/examples/DLQueryExample.java )

hasExperience some (Experience と hasYearsOfExperience some int[>=1])

これは正常に実行され、予想される結果が Protege に表示されますが、Java では次のエラーが返されます。

これを修正する方法はありますか？

この DL-Query は個人を返しません:

• クエリ (Protégé 構文) :hasPet exactly 1 DomesticAnimal

オントロジーの一部を次に示します。

クエリ:

• petOf value Bob リターンSparkeyとLucky
• petOf value Joe 戻り値Lassy
• hasPet exactly 1何も返しません。

最後のクエリが返されないのはなぜJoeですか? Protégé で Pellet、HermiT、FaCT++ を使用して試してみましたが、うまくいきませんでした。