Logic 巴拉克没有’；Donald’我不喜欢Donald喜欢的任何东西

如何表达：

巴拉克不喜欢唐纳德喜欢的任何东西

学生

---

我的尝试：

我有

Barack

和

Donald

作为个人和

类似的

作为财产，但是，当点击

Barack

时，我能得到的最好的结果是：

巴拉克喜欢唐纳德

这不好。有什么想法吗

---

---

答案似乎不起作用。

在“个人”选项卡中，您可以断言个人的类型（而不是对象属性断言），您可以写（代表Barack）：

仅喜欢（不喜欢（反向喜欢值））

或

只喜欢（不喜欢（相反喜欢一些{Donald}））

（两者都是等效的）

@米克金汉是对的，因为这有点夸张（事实上，你的声明并不意味着巴拉克喜欢任何东西）。至于你在Protege没有得到任何有趣的推论，不要忘记开放世界假设。下面是一个工作示例，由三个公理组成：

a1：等效类（：PeopleDislikingMexicanBorderWall对象补充类（ObjectHasValue（：likes:MexicanBorderWall）））

a2:ClassAssertion（ObjectAllValuesFrom（：likes ObjectSomeValuesFrom（ObjectInverseOf（：likes）ObjectOneOf（：Donald））：Barack）

a3:ObjectPropertyAssertion（：likes:Donald:MexicanBorderWall）

---

如果你加上这些陈述，推理者会正确地推断巴拉克是一个不喜欢墨西哥边境墙的人。

你能用集合来表达吗。比如说，如果X拥有的东西是Y的子集/子集的一部分，那么X不喜欢它？我没有使用过该软件，因此无法具体说明。这应该是可能的，但我不知道@Link…：/你接受的答案是错误的。这份声明并不意味着巴拉克喜欢任何东西。逻辑是：

（x）（likes（Donald，x）->！likes（Barack，x））

。“我不知道你在《protege》中是怎么说的。”米克金汉如果你考虑一下猫头鹰或描述逻辑，可能会有所帮助。我会通知回答者。我自己也在网络上搞砸了，我觉得这是一种极其困难的逻辑推理方式：（我想是这样的，但是你提到了

！

，它在哪里发挥作用？请检查迈克·金汉在我的问题下的评论，他声称答案是错误的。我必须同意，因为我在Protege中使用了这个，我没有得到预期的结果。请你做任何其他尝试吗？不过，我保留投票权，因为它确实有帮助。我很抱歉对答案进行了一些澄清。谢谢你，朋友。我也不确定这是否有效。我也在我的本体中插入了你的句子，但它不起作用。你确定这是你的最后一次尝试吗？：/同时再次检查我问题下的新评论。