OWL約=」：OWLを使用してオントロジーを定義する場合抽象クラス、匿名ノード、正規表現

Question

、クラス

• は常に匿名ノード （無RDFなければならないことを言うする方法があります。 .. "）例えば<私：FamousQuote/>
• は抽象的であり、このクラスのすべてのインスタンスが 常にサブクラス

を使用します（ここでは、編集する必要があり:)

• をDatatypePropertyのは、正規表現に一致しなければならないこと？

おかげで（一般に）

Answer 1

OWLはない検証約（特に構造に関して）、RDFのセット所与の含意についてです。

• ノードが匿名であるかどうかを知るためにOWL 1.1の方法はありません。 OWL 2はこれをサポートしていないようです（例えばowl:Restriction経由）。
• 抽象クラスの要件については、Protegeメーリングリストのthis postに、これを行う方法に関するアイデアがあります。
• OWL 1.1 DatatypePropertiesは、特定のステートメントのオブジェクトの「検証」をサポートしていません。 OWL 2には、潜在的に使用できるdatatype facets（xsd:patternを含む）があります。

更新：あなたは新しいトリプルを推論するために、グラフ構造と内容を照会するSPINを使用することができます。