猫头鹰：对个人的限制

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

因此，假设您有数据：

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

现在考虑以下假设

用途（门₂ ，控制器₁ ）

从它和数据中，您可以得出

门₁ =门₂

但是根据数据我们已经有了

门₁ ≠门₂

这是一个矛盾，因此假设必须是错误的。 因此：

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