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

Question

嘗試將其包含在我的知識庫中：

owl:inverseOf owl:inverseOf owl:inverseOf

一旦在知識庫中做出這樣的聲明，這將如何影響owl:inverseOf的功能？ 此修改在本地可行嗎？

---

我們想到的答案是，該語句將更改inverseOf屬性修飾符，以便在之間應用inverseOf的新屬性現在可使它們彼此對稱。 這個對嗎？ 請驗證。

Answer 1

在公理中使用保留的詞匯（例如，嘗試更改語言定義的屬性的語義）是一種OWL 2 DL違規，並且僅支持該概要文件的任何推理程序都不會支持。 大多數推理程序將忽略它，但他們也可以選擇引發異常。

換句話說，根據實現的選擇，沒有影響或沒有錯誤。