Question

我有一个课程，我认为这个限制等同于

Rates and createdOn value "2016-01-01T09:00:00+00:00"^^dateTime

其中Rates是一个类，createdOn是数据类型属性，域名为日期时间

我所做的不是我想做的事，因为我想说的是：

所有日期都大于2016年1月首次

我虽然可以通过两种方式完成但我不知道猫头鹰是否支持其中任何一种

首先我想：

Rates and createdOn value > "2016-01-01T09:00:00+00:00"^^dateTime

但是，protege告诉我，我们不能放>

然后我虽然如果有办法只检查日期的年份，但我也不知道该怎么做

你可以帮忙吗？

Answer 1

您需要使用DatatypeRestriction：

Declaration(Class(example:Rates))
Declaration(DataProperty(example:createdOn))
Declaration(Datatype(xsd:dateTime))
DataPropertyRange(example:createdOn DatatypeRestriction(xsd:dateTime xsd:minInclusive "2016-01-01T00:00:00"^^xsd:dateTime))
SubClassOf(DataSomeValuesFrom(example:createdOn rdfs:Literal) example:Rates)

编辑：在曼彻斯特语法中，这些方面是这样写的：

Class: <http://example.org#Rates>

SubClassOf: 
    <http://example.org#createdOn> some xsd:dateTime[>= "2016-01-01T00:00:00"^^xsd:dateTime]

猫头鹰日期限制创造者比

1 个答案: