rdf – OWL：抽象类,匿名节点,正则表达式

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

>应该始终是匿名节点
(没有rdf：约=“……”)例如<我：FamousQuote />
>是抽象的,这个类的任何实例都应该
总是使用一个子类

(在这里编辑:)

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

谢谢

解决方法

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

>在OWL 1.1中无法知道节点是否是匿名的. OWL 2似乎也不支持这种情况(例如,通过猫头鹰：限制).
>对于抽象类要求,Protege邮件列表上的this post对如何执行此操作有一些想法.
> OWL 1.1 DatatypeProperties不支持给定语句对象的“验证”. OWL 2有datatype facets(包括xsd：pattern)你可能会使用它.

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