OWL:抽象类,匿名节点,正则表达式

Question

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

• 应始终是匿名节点(no rdf:about ="..."),例如<my:FamousQuote />
• 是抽象的,并且此类的任何实例都应始终使用subClass

(在这里编辑:)

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

谢谢

Answer 1

OWL(一般而言)是关于给定一组RDF的蕴涵,而不是关于验证(特别是关于结构).

• 在OWL 1.1中无法知道节点是否是匿名的.OWL 2似乎也不支持这种情况(owl:Restriction例如,通过a ).
• 对于抽象类要求,Protege邮件列表上的这篇文章对如何执行此操作有一些想法.
• OWL 1.1 DatatypeProperties不支持给定语句对象的"验证".OWL 2具有您可能使用的数据类型facets(包括xsd:pattern).

更新:您可以使用SPIN查询图形结构和内容,以推断新的三元组.