Protege中的NULL文字

Question

我在Protege上实现我的本体模型。我有一个类Sensor，它有一些子类，例如子类Refrigerator。如果Refrigerator-144被激活，我想保存激活时间。我有一个数据属性hasTime。因为，我不知道我想要为NULL的激活时间。但是，似乎Protege不接受它，因为在此之后我无法运行推理器。

:Refrigerator-144 a owl:NamedIndividual , :Refrigerator ;
:hasTime ""^^xsd:dateTime .

Answer 1

OWL没有NULL值。属性的缺失值意味着该个人没有该属性的断言。创建值为xsd:dateTime的{​​{1}}类型的文字将导致一个不可解释的断言，Protege会阻止您进入。

不应该影响到反对者，因为不应该创建无效的断言。

但是，如果您显示的三元组被添加到本体中，则推理器将其拒绝为无效本体是正确的。空字符串不属于""的值空间。