Datetime owl日期时间限制创建者大于

我有一个类，我把它等同于这个限制

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

其中，

Rates

是一个类，

createdOn

是一个数据类型属性，其域作为日期时间

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

所有大于2016年1月1日的日期

我认为这可以通过两种方式实现，但我不知道owl是否支持其中任何一种方式

首先我想：

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

但是protege告诉我我们不能把

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

您能帮忙吗？

您需要使用：

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

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

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

类：
子类：
一些xsd:dateTime[>=“2016-01-01T00:00:00”^^xsd:dateTime]

您需要使用：

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

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

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

类：
子类：
一些xsd:dateTime[>=“2016-01-01T00:00:00”^^xsd:dateTime]

您需要以xsd:dateTime[>=“2016-01-01T00:00:00”^^xsd:dateTime]的形式输入范围，请参见answer@Ignazio我认为不是子类而是等价的是正确的，你认为呢？但是你的问题是数据范围限制的语法。它应该是子类还是等效类取决于您的需求。@Ignazio请问我所做的错误语法在哪里？我在问题中使用了你的语法，子类of不起作用，但equielent起作用了。我已经告诉过你为什么，请想想，如果r1是一个评级，它的createOn是marck 2016，这并不意味着它来自Rating2016课程，你看到我昨天的问题了吗？“但是protégé告诉我我们不能放>”我指的是这个。您应该用xsd:dateTime[…]替换“value>..”，正如我所建议的，您需要输入范围为xsd:dateTime[>=“2016-01-01T00:00:00”^^xsd:dateTime]，请参见answer@Ignazio我认为不是子类而是等价的是正确的，你认为呢？但是你的问题是数据范围限制的语法。它应该是子类还是等效类取决于您的需求。@Ignazio请问我所做的错误语法在哪里？我在问题中使用了你的语法，子类of不起作用，但equielent起作用了。我已经告诉过你为什么，请想想，如果r1是一个评级，它的createOn是marck 2016，这并不意味着它来自Rating2016课程，你看到我昨天的问题了吗？“但是protégé告诉我我们不能放>”我指的是这个。您应该用xsd:dateTime[…]替换“value>…”，正如我所建议的，maybe equivalent类是正确的，而不是的子类，对吗？这取决于您试图表达的内容。你可以检查这个线程，看看两者之间的区别：在这个senario中，我相信等价物是正确的，因为在子类的情况下，如果我有一个来自类型评级的实例，并且它的createOn大于2016，推理者不会推断这个实例也是来自类型评级2016，但是如果它是等价的，推理者会理解的。也许等价类是正确的，而不是子类，对吗？这取决于你想表达什么。你可以检查这个线程，看看两者之间的区别：在这个senario中，我相信等价物是正确的，因为在子类的情况下，如果我有一个来自类型评级的实例，并且它的createOn大于2016，推理者不会推断这个实例也是来自类型评级2016，但是如果它是等价的，推理者会理解这一点。