Protege 中“等效於”和數據屬性的問題

Question

我正在嘗試添加到“等效於”

Patient and (hasSmokerStatus some xsd:boolean [= "true"])

但是我無法添加它，因為在xsd:boolean中出現錯誤。

我試過了

Patient and (hasSmokerStatus some xsd:boolean ["true"])

我嘗試了所有帶引號和不帶引號的方法，以及

Patient and (hasSmokerStatus some "true"^^xsd:boolean)

但沒有任何效果。

如何在“等效於”中使用 boolean？

Answer 1

您的想法是使數據類型限制（ 7.5 ）適應 boolean 值。 但是，對於此數據類型 ( 4.4 )，沒有任何約束方面是規范的。 相反，您需要枚舉文字（ 7.4 ）。 在 Protégé 中：

Patient that hasSmokerStatus some {true}

具有單值數據范圍的數據屬性存在限制 (8.4.2 ) 可以替換為文字值限制 ( 8.4.3 )。 在 Protégé 中：

Patient that hasSmokerStatus value true