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

Question

使用 OWL 定义本体时，有没有办法说一个类

• 应该始终是匿名节点（没有 rdf:about="..."），例如 <my:FamousQuote/>
• 是抽象的，此类的任何实例都应始终使用子类

（在这里编辑：）

• DataTypeProperty 应该匹配正则表达式吗？

谢谢

Answer 1

OWL（通常）是关于给定一组 RDF 的蕴涵，而不是关于验证（尤其是关于结构）。

• OWL 1.1 中无法知道节点是否匿名。OWL 2 似乎也不支持这一点（owl:Restriction例如，通过 a ）。
• 对于抽象类的要求， Protege 邮件列表上的这篇文章有一些关于如何做到这一点的想法。
• OWL 1.1DatatypeProperties不支持给定语句对象的“验证”。OWL 2 具有您可能使用的数据类型方面（包括）。xsd:pattern

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

Answer 2

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

一个 subClassOf (unionOf [B, C]) 和 (disjoint[B, C])