問題タブ [manchester-syntax]

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

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

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

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

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

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

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

私のDLクエリは：

"flower and hasColor value red"

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

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

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

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

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

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

ありがとう

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

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

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

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

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

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

ありがとう

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

マンチェスター 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 に追加したものと同じです。それは個人に存在します。

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

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

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

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

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)

Protege3.x を使用して、オントロジーのプロパティに制限を追加しようとしています。

制限内で列挙を指定する際に問題があります。たとえば、列挙型を指定して、可能なデータ要素を次のように制限しようとしています。

式全体を単一の文字列と見なします。

別の例では、複数の表現とそれらの間の「または」を使用して問題を解決しようとしましたが、これは適切と思われます。しかし、前のものでは、「または」は許可されていません。

この必要性のために列挙を使用することはどのように可能ですか? ありがとう！

私は Protege で作成されたオントロジーの推論に OWL API を使用しています。私はOWL APIサンプルDLクエリを扱っています: http://sourceforge.net/p/owlapi/code/ci/aef6981535f07a2d0d44c394b9f4d5415f36025a/tree/contract/src/test/java/org/coode/owlapi/examples/DLQueryExample.java . この例は、Protege の DL Query タブと同等の機能を提供していると思います。しかし、実際にはいくつかの大きな違いがあります。匿名クラスの情報 (サブクラス、スーパークラスなど) を取得する必要があります。匿名クラスは、一連の個人 (例: {Member1, Member2...}) または別のクラスで定義されています。仕方。Protege では、このクエリは正しい結果を返しますが、OWL API Dl Query Example のそのようなクエリは [NOTHING] を返します。OWL APIで匿名クラスを操作する方法はありますか? 答えてくれてありがとう。

私はOWL のマンチェスター構文を使用したコーディングの初心者です。の役割を理解する必要がありexactlyます。次の制限のうち、正しいものはどれですか。

AとBが等しい場合と、素である場合を説明できますか?

Process クラスのサブクラスである Input クラスと SensingData クラスのセンサー クラスがあります。入力がセンシングデータということで、インプットクラスをセンシングデータクラスに関連付けたいと思います。inupt hasData SensingData のようなオブジェクト プロパティ hasData を作成することでそれを行うことはできますか? または、注釈プロパティを使用する必要がありますか??

私は OWL オントロジー、Protege 5 を持っています。ソース クラス S から始めて、objectProperty、すなわち S ([0..*] - 1) を介した対 1 カーディナリティによって、S が Ds に関連付けられているすべての宛先クラス D を取得したいと考えています。接続する objectProperty が何であるかに関係なく、D.

DL では、次のようになります。

ここで、S はソース コンセプト、D は変数コンセプト、r は変数 objectProperty です。

最初のポイント: Protege DL クエリで使用するには、これをマンチェスター構文で表現する方法は?

2 番目のポイント: そのようなクエリの場合、クエリに答えようとするときに推論器が考慮するプロパティ制限の種類は何ですか? 例: カーディナリティ制限、機能プロパティ、someValuesFrom、allValuesFrom?

ありがとう。