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

Question

如何表达:

Barack doesn’t like anything that Donald likes.

在门徒中？

---

我的尝试:

我拥有Barack和Donald作为个人以及like作为属性(property)但是，当点击 Barack 时，我能得到的最好结果是:

Barack like Donald

这不好。有什么想法吗？

---

答案似乎不起作用。

Answer 1

在“个人”选项卡中，您可以在其中断言个人的类型(不是对象属性断言)，您可以编写(对于 Barack):

likes only (not (inverse likes value Donald))

或

likes only (not (inverse likes some {Donald}))

(两者是等效的)。

@MikeKinghan 是正确的，因为它有点夸大了(事实上，你给出的声明并不意味着巴拉克喜欢任何东西)。至于你在《Protege》中没有得到任何有趣的推论，请不要忘记开放世界的假设。这是一个工作示例，包含三个公理:

a1: EquivalentClasses(:PeopleDislikingMexicanBorderWall ObjectComplementOf(ObjectHasValue(:likes :MexicanBorderWall)))

a2: ClassAssertion(ObjectAllValuesFrom(:likes ObjectComplementOf(ObjectSomeValuesFrom(ObjectInverseOf(:likes) ObjectOneOf(:Donald)))) :Barack)

a3:ObjectPropertyAssertion(:喜欢:Donald:MexicanBorderWall)

如果添加这些语句，推理机将正确推断 Barack 是 PeopleDislikingMexicanBorderWall 的实例。