owl中的有效xsd:DateTimeStamp文本值

我已经在我的本体中包含了一个特定的

数据属性

，它的类型是

xsd:DateTimeStamp

，因为我正在查看这个网站，它提供了该格式的假定可接受文本值的示例

我将建议的两个文字值分别复制粘贴到我的数据属性中：

2004-04-12T13:20:00-05:00
2004-04-12T13:20:00Z

但不幸的是，隐士和小球推理者都抱怨那里的矛盾。 有人能给我解释一下为什么这是错误的，并提供一个有效的文本值示例，让推理机通过吗

---

我使用的是OWLTime本体，更准确地说，这是“in-XSD Date Time Stamp”数据属性，我使用的工具是protege 5.5.0

这两个数据属性都是正确的，插入框中时需要的是从下拉类型列表中选择“XSD:dateTimeStamp”，然后推理机停止抱怨。虽然这很奇怪，因为在其他定制场合，我没有处理相同的问题

您能显示失败的示例数据吗？至少，

xsd:DateTimeStamp

是错误的，因为它区分大小写，应该是

xsd:DateTimeStamp

。而您的文本就是xsd:dateTime，对于时间戳，您也需要秒，不是吗？格式：

[-]CCYY-MM-DDThh:MM:ssZ |[-]CCYY-MM-DDThh:MM:ss（+|-）hh:MM

失败的例子是我上面引用的那些。范围实际上是xsd:dateTimeStamp。那么，哪一个是包含秒数的有效示例？只要写下并回答，我会测试它，如果推理程序正常，我会立即接受它。我在谷歌上搜索该类的有效文本值，但找不到任何东西，只有正则表达式提到理想格式是什么@AKSWok，你的第二个文本应该很好，我创建了一个带有Protege中文本的公理，然后启动颗粒推理机，颗粒不抱怨。您是否有其他导致不一致的公理？像函数数据属性公理？还是一些错误的范围公理？这就是我要求提供示例数据的原因。错误是在将2004-04-12T13:20:00Z插入框中时，我应该从下拉列表中选择类型为xsd:dateTimeStamp。这并不奇怪，如果不指定数据类型，您的文本将成为

纯文本

，但数据属性的范围是

xsd:dateTimeStamp

。数据类型在OWL中是不相交的，因此，您的

2004-04-12T13:20:00Z^^rdf:PlainLiteral

显然不在所有

xsd:dateTimeStamp

文本的值空间中-这显然是一种冲突，因此是不一致的。您在谈论什么框和下拉列表。据我所知，Pellet和Hermit没有用户界面，所以您必须指定您所谈论的内容。也许你也应该在问题中说明这一点。补充说我使用protege作为工具