Rdf OWL：抽象类、匿名节点、正则表达式

当使用OWL定义本体时，有没有一种方法可以说

• 应始终为匿名节点 （无rdf:about=“…”）例如
• 是抽象的，该类的任何实例都应该 始终使用子类

（此处编辑：）

• DataTypeProperty是否应该与正则表达式匹配

谢谢，OWL（通常）是关于给定一组RDF的蕴涵，而不是关于验证（特别是关于结构）

• 在OWL1.1中，无法知道节点是否是匿名的。OWL2似乎也不支持这一点（例如，通过

  OWL:Restriction

  ）
• 对于抽象类的要求，Protege邮件列表上有一些关于如何做到这一点的想法
• OWL 1.1

  DatatypeProperties

  不支持对给定语句的对象进行“验证”。OWL2具有（包括

  xsd:pattern

  ）您可以潜在地使用它

---

更新：您可以使用来查询图形结构和内容，以推断新的三元组。

使用以下OWL语法将类定义为抽象类

（B，C）和（不相交的[B，C]）