貓頭鷹：對個人的限制

Question

我的本體有點問題！ 我們致力於管理智能家居的本體。 因此，我們有桌子，門，燈等對象。智能的對象具有：

• 例如執行開門之類的動作的執行器
• 例如，獲取有關溫度信息的傳感器

我有一個對象屬性，例如：hasActuator->門hasActuator DoorController

因此，現在的問題是個人！ 我希望一個對象（例如，Door_1）具有執行器DoorController_1，但另一個門（Door_2）不能使用執行器DoorController_1，因為他已經使用了！

我該怎么治療？ 有哪些限制？

如果我將hasActuator發揮作用，那只能說一個對象只能有一個執行器，但這並不是我想要的！

Answer 1

短期解決方案

聽起來您好像要說一個實體一次不能被多個事物使用。 這是InverseFunctionalProperties的候選對象。 如果你這么說的話

用途是相反的功能性質
door1使用controller1
door1≠door2

然后，您可以推斷出

否（door1使用controller1）

這個怎么運作

指出屬性p是反函數屬性，則表示

泛函 （p）： 如果 p（x，y）＆p（x，z）， 則 y = z

指出屬性p是反函數是相似的，但是說

逆函數 （p）： 如果 p（x，z）＆p（y，z）， 則 x = y

因此，假設您有數據：

用途（門₁ ，控制器₁ ）
門₁ ≠門₂

現在考慮以下假設

用途（門₂ ，控制器₁ ）

從它和數據中，您可以得出

門₁ =門₂

但是根據數據我們已經有了

門₁ ≠門₂

這是一個矛盾，因此假設必須是錯誤的。 因此：

不（使用（門₂ ，控制器₁ ））