【发布时间】：2010-11-02 10:09:04
【问题描述】：
当使用OWL定义一个本体时，有没有办法说一个类
- 应始终为匿名节点
（没有 rdf:about="..."）例如
- 是抽象的，此类的任何实例都应 总是使用子类
（在这里编辑：）
- DataTypeProperty 应该匹配正则表达式？
谢谢
【问题讨论】：
标签： rdf semantic-web owl ontology
【发布时间】：2010-11-02 10:09:04
【问题描述】：
OWL（通常）是关于给定一组 RDF 的蕴涵，而不是关于验证（尤其是关于结构）。
- 在 OWL 1.1 中无法知道节点是否匿名。 OWL 2 似乎也不支持这一点（例如，通过
owl:Restriction）。 - 对于抽象类要求，Protege 邮件列表中的this post 对如何执行此操作有一些想法。
- OWL 1.1
DatatypeProperties不支持给定语句对象的“验证”。 OWL 2 具有您可能使用的 datatype facets（包括xsd:pattern）。
更新：您或许可以使用SPIN 来查询图结构和内容以推断新的三元组。
【讨论】：
使用以下 OWL 语法将 A 定义为抽象类
A subClassOf (unionOf [B, C]) 和 (disjoint[B, C])
【讨论】：