taxonomy - オントロジーでクラスを関連付ける

Question

オントロジーでクラス (個体ではなく) を関連付ける際に問題があります。どの OWL(full-dl-lite) でクラスを関連付けることができるかを知る必要があります。つまり、プロパティのドメインと範囲はhttp://www.w3.org/2002/07/owl#Classです。それは可能ですか？ヒントをありがとう。

Answer 1

まず、 http://www.w3.org/TR/owl-guide/、http://www.w3.org/TR/owl-ref/、 http://www.w3.orgの仕様を忘れてください。 /TR/owl-semantics/ . ウェブ・オントロジー言語の公式推奨はOWL 2で、さまざまなサブ言語は OWL 2 EL、OWL 2 QL、OWL 2 RL、OWL 2 DL、および OWL 2 フルです (OWL 2 の新機能について読んでください)。OWL Lite はもはや存在しないため、永遠に忘れ去られるべきです。

次に、OWL (1 と 2 の両方) では、 Turtleの場合のように、注釈プロパティを使用してクラスを関連付けることが常に可能でした。

# valid in all variants and OWL 1 and OWL 2
:prop  a  owl:AnnotationProperty .
:C1  a  owl:Class .
:C2  a  owl:Class;
     :prop  :C2 .

OWL 1では、注釈プロパティのドメインまたは範囲を定義できませんでしたが、OWL 2では可能になりました:

# works in all variants of OWL 2
:prop  a  owl:AnnotationProperty;
       rdfs:domain  owl:Class;
       rdfs:range  owl:Class .

他のオプションは、「パニング」の概念に依存することです。つまり、次のように、個人に対してクラスの IRI を使用します。

# works in all variants of OWL 2
:prop  a  owl:ObjectProperty .
:C1  a  owl:Class .
:C2  a  owl:Class;
     :prop  :C2 .

owl:Classただし、オブジェクト プロパティのドメインまたは範囲として使用することはできません。最後の可能性は、気にせずに OWL を使用することです (1/2) フル:

# works in OWL 1 Full, OWL 2 Full
:prop  rdfs:domain  owl:Class;
       rdfs:range  owl:Class .
:C1  a  owl:Class;
     :prop  :C2 .

ほとんどの OWL DL 推論器はその入力でクラッシュしないことに注意してください (より正確には、私がこれまでにテストしたすべての推論器はクラッシュしません)。したがって、実際にはかなり安全です。