フクロウ：抽象クラス、匿名ノード、正規表現

Question

OWLを使用してオントロジーを定義する場合、クラスを次のように言う方法はありますか?

• 常に匿名ノードである必要があります（rdfなし：about = "..."）<my:FamousQuote/>
• 抽象的であり、このクラスの任意のインスタンスは常にサブクラスを使用する必要があります

(ここで編集しました:)

• DataTypeProperty は正規表現と一致する必要がありますか?

ありがとう

Answer 1

OWLは（一般的に）RDFのセットを与えられた含意に関するものであり、検証（特に構造に関して）に関するものではありません。

• OWL 1.1では、ノードが匿名かどうかを知る方法がありません。OWL 2もこれをサポートしていないようです( owl:Restriction, 、 例えば）。
• 抽象クラスの要件については、 この郵便受け Protege メーリング リストには、これを行う方法についていくつかのアイデアがあります。
• オウル 1.1 DatatypeProperties 指定されたステートメントのオブジェクトの「検証」はサポートされていません。OWL2には データ型ファセット （含む xsd:pattern) 使用できる可能性があります。

アップデート： 使用できるかもしれません スピン 新しいトリプルを推測するためにグラフの構造と内容をクエリします。

Answer 2

次OWL構文を使用するなど、抽象クラスを定義する

のsubClassOf（unionOf [B、C]）及び（互いに素[B、C]）