保护DL查询 - 没有特定ObjectProperty的实例

Question

我正在使用Protege并尝试返回没有特定属性的所有实例的DL查询。

例如，我可以使用属性initialValue返回数字实例（例如number1，number2等） initialValue一些值

如何在Protege中创建DL QUERY，返回没有属性intialValue的数字实例？

提前致谢

Answer 1

我不太确定，但我认为不能这样做。我认为问题在于语义网和本体中应用的Open World Assumption OWA。很遗憾，我们不能仅仅因为我们不知道它就会出现问题。当某些事情未知时，它就是未知的。

在你的情况下instances of number that don't have the property intialValue。当number具有明确说明的initialValue Value时，很明显它有它。现在，请考虑我们number1和number2个Number个实例，但未向其分配initialValue Value。这将 NOT 使推理者推断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。