使用语句 owl:inverseOf owl:inverseOf owl:inverseOf 修改 owl:inverseOf?

Modifying owl:inverseOf using statement owl:inverseOf owl:inverseOf owl:inverseOf?

试图将其包含在我的知识库中:

owl:inverseOf owl:inverseOf owl:inverseOf

一旦知识库中出现这样的声明,这将如何影响 owl:inverseOf 的功能?这个修改本地可行吗?


我们得出的答案是该语句将更改 inverseOf 属性 修饰符,这样应用 inverseOf 的新属性现在将使它们与每个属性对称其他。 这是否正确?请验证。

在公理中使用保留词汇 - 例如,试图更改语言定义属性的语义 - 是 OWL 2 DL 违规行为,任何仅支持该配置文件的推理机都不会支持。大多数reasoners会忽略它,但他们也可以选择抛出异常。

换句话说,没有效果或出错,具体取决于实施选择。