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

Question

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

• 应始终是匿名节点 （没有rdf：约=“......”）例如＆LT;我：FamousQuote /＆GT;
• 是抽象的，此类的任何实例都应该 总是使用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定义为抽象类

subClassOf（unionOf [B，C]）和（disjoint [B，C]）