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。