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

Question

如何表达：

  

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

在Protege？

我的尝试：

我将Barack和Donald作为个人和like作为属性，但是，点击{{1我能得到的最好的是：

  巴拉克喜欢唐纳德

这不好。有什么想法吗？

答案似乎无效。

Answer 1

在个人标签中，你可以断言个人的类型（而不是对象属性断言），你写（对于巴拉克）：

  

只喜欢（不喜欢价值唐纳德）

或

  

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

（两者都相同）。

@MikeKinghan是正确的，因为它有点夸大其词（事实上，你所说的声明并不意味着Barack喜欢任何东西）。至于你没有在Protege中得到任何有趣的推论，不要忘记开放世界的假设。这是一个工作示例，由三个公理组成：

a1：EquivalentClasses（：PeopleDislikingMexicanBorderWall ObjectComplementOf（ObjectHasValue（：likes：MexicanBorderWall）））

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

a3：ObjectPropertyAssertion（：likes：Donald：MexicanBorderWall）

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