0

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

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

S ⊑ =1r:D;

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

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

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

ありがとう。

4

1 に答える 1

1

DL クエリ構文で質問している種類のクエリを記述することはできません。DL クエリ構文には、変数の場所がありません。書くことができるのはクラス式だけで、その後でそのクラスの個体、クラスのサブクラスまたはスーパークラスを求めることができます。したがって、最初の質問に対する答えは、マンチェスター構文でクエリを表現できないということです。

2 番目の点については、ここで結論を導き出すのに役立つ理由があるかもしれません。たとえば、SPARQL クエリをサポートする推論ツールを使用して、クラス式のテンプレートを変数で記述できる場合があります。次のような結果になります (ただし、これはテストされていません)。

prefix xsd:  <http://www.w3.org/2001/XMLSchema#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix owl:  <http://www.w3.org/2002/07/owl#>

select ?s ?p ?d where {
  ?s rdfs:subClassOf [ a owl:Restriction ; 
                       owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                       owl:onProperty ?p ;
                       owl:onClass ?d ]
}

ただし、ほとんどの OWL 推理者がそれを処理できるかどうかはわかりません。前述のように、OWL推論器の典型的なタスクは、クラス式を見て、そのサブクラスとスーパークラスを決定することです。これはますます複雑になっています。

于 2014-10-13T14:26:34.580 に答える