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

Question

在使用OWL定义Ontology时，有没有办法说出一个类

• 应该始终是一个匿名节点（没有rdf：about =“...”），例如<我：FamousQuote />
• 是抽象的，并且此类的任何实例都应始终使用subClass

（在这里编辑:)

• 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查询图形结构和内容以推断新的三元组。

Answer 2

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

子类（[BC]的联合）和（不相交[B，C]）