Protege DL Query - 沒有特定ObjectProperty的實例

Question

我正在使用Protege並試圖返回沒有特定屬性的所有實例的DL Query。

例如，我可以用 初值一些值回數與物業初值的情況下（如數字1，數字等）

如何使一個DL查詢在門徒返回實例不具有屬性intialValue的數字？

在此先感謝

Answer 1

我不是很清楚，但我不認爲這是可以做到。我認爲這個問題與Open World Assumption OWA在語義網絡和本體中的應用有關。從理論上來說，我們不能僅僅因爲我們不瞭解而發生錯誤。當某些事情未知時，它只是未知數。

在你的情況下instances of number that don't have the property intialValue。當number具有明確說明的initialValue Value時，則顯然具有它。現在，請考慮我們有number1和number2Number的實例，但未將initialValue Value分配給它們。這將不是使推理推斷，number1和number2沒有initialValue Value。

要澄清：

Number that not (initialValue some Value) 

將返回任何結果，這是OWA！

我認爲你可以做一個解決方法，你可以在Protege中斷言負面的屬性斷言，這可能有助於解決但不能解決它。考慮我們有v1，Value的實例。您可以狀態（使用的Protege例如），其number3沒有initialValue v1，那麼你就可以查詢：

Number that not (initialValue value v1) 

這將檢索number3。