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

发布于 2024-07-24 01:45:56 字数 241 浏览 8 评论 0原文

使用 OWL 定义本体时,有没有办法说类

  • 应该始终是匿名节点 (没有 rdf:about="...")例如>
  • 是抽象的,此类的任何实例都应该 始终使用

子类(在此处编辑:)

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

? 谢谢

When defining an Ontology using OWL, is there a way to say that a class

  • should always be an Anonymous Node
    (no rdf:about="...") e.g. <my:FamousQuote/>
  • is abstract and any Instance of this class should
    always use a subClass

(edited here:)

  • that a DataTypeProperty should match a regular expression ?

Thanks

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(2

枉心 2024-07-31 01:45:56

OWL(一般来说)是关于给定一组 RDF 的蕴涵,而不是关于验证(特别是在结构方面)。

  • OWL 1.1 中无法知道节点是否是匿名的。 OWL 2 似乎也不支持这一点(例如,通过 owl:Restriction)。
  • 对于抽象类要求,请参阅 Protege 上的这篇文章邮件列表有一些关于如何做到这一点的想法。
  • OWL 1.1 DatatypeProperties 不支持给定语句对象的“验证”。 OWL 2 有数据类型方面(包括您可能会使用的 xsd:pattern)。

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

OWL (in general) is about entailments given a set of RDF, not about validation (especially with regards to structure).

  • There is no way in OWL 1.1 to know if a node is anonymous or not. OWL 2 does not seem to support this either (via a owl:Restriction, for example).
  • For the abstract class requirement, this post on the Protege mailing list has some ideas on how to do this.
  • OWL 1.1 DatatypeProperties do not support "validation" of a given statement's object. OWL 2 has datatype facets (including xsd:pattern) which you could potentially use.

Update: You may be able to use SPIN to query the graph structure and contents in order to infer new triples.

残月升风 2024-07-31 01:45:56

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

A subClassOf (unionOf [B, C]) and (disjoint[B, C])

Defining A as abstract class using following OWL syntax

A subClassOf (unionOf [B, C]) and (disjoint[B, C])

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文