使用语句owl：inverseOf owl：inverseOf修改owl：inverseOf owl：inverseOf？

Question

尝试将其包含在我的知识库中：

owl:inverseOf owl:inverseOf owl:inverseOf

一旦在知识库中做出这样的声明，这将如何影响owl:inverseOf的功能？ 此修改在本地可行吗？

---

我们想到的答案是，该语句将更改inverseOf属性修饰符，以便在之间应用inverseOf的新属性现在可使它们彼此对称。 这个对吗？ 请验证。

Answer 1

在公理中使用保留的词汇（例如，尝试更改语言定义的属性的语义）是一种OWL 2 DL违规，并且仅支持该概要文件的任何推理程序都不会支持。 大多数推理程序将忽略它，但他们也可以选择引发异常。

换句话说，根据实现的选择，没有影响或没有错误。