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

时间:2022-07-04 18:06:42

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

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

  • should always be an Anonymous Node (no rdf:about="...") e.g. <my:FamousQuote/>
  • 应该始终是一个匿名节点(没有rdf:about =“...”),例如 <我:famousquote />

  • is abstract and any Instance of this class should always use a subClass
  • 是抽象的,并且此类的任何实例都应始终使用subClass

(edited here:)

  • that a DataTypeProperty should match a regular expression ?
  • DataTypeProperty应该与正则表达式匹配?

Thanks

2 个解决方案

#1


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

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

  • 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).
  • 在OWL 1.1中无法知道节点是否是匿名的。 OWL 2似乎也不支持这种情况(例如,通过猫头鹰:限制)。

  • For the abstract class requirement, this post on the Protege mailing list has some ideas on how to do this.
  • 对于抽象类要求,Protege邮件列表上的这篇文章对如何执行此操作有一些想法。

  • 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.
  • OWL 1.1 DatatypeProperties不支持给定语句对象的“验证”。 OWL 2具有您可能使用的数据类型facets(包括xsd:pattern)。

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

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

#2


Defining A as abstract class using following OWL syntax

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

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

subClassOf(unionOf [B,C])和(disjoint [B,C])

#1


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

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

  • 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).
  • 在OWL 1.1中无法知道节点是否是匿名的。 OWL 2似乎也不支持这种情况(例如,通过猫头鹰:限制)。

  • For the abstract class requirement, this post on the Protege mailing list has some ideas on how to do this.
  • 对于抽象类要求,Protege邮件列表上的这篇文章对如何执行此操作有一些想法。

  • 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.
  • OWL 1.1 DatatypeProperties不支持给定语句对象的“验证”。 OWL 2具有您可能使用的数据类型facets(包括xsd:pattern)。

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

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

#2


Defining A as abstract class using following OWL syntax

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

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

subClassOf(unionOf [B,C])和(disjoint [B,C])