问题描述
表达方式:
处于Protege吗?
in Protege?
我的尝试:
我将Barack和Donald作为个人，将like作为属性，但是，当单击Barack时，我可以得到的最好的是:
I have Barack and Donald as individuals and like as a property, however, when clicking on Barack, the best I can get is:
这不好.有什么想法吗?
which is not good. Any ideas?
答案似乎无效.
推荐答案
在个人"选项卡中，您可以在其中声明个人的类型(而不是对象属性的声明)，请编写(对于Barack):
In the individuals tab, where you can assert the type (not object property assertion) of an individual, you write (for Barack):
或
(两者都是等效的).
(Both are equivalent).
@MikeKinghan是正确的，因为它有点夸大其词(实际上，您的陈述并不意味着巴拉克喜欢任何东西).至于您在Protege中没有得到任何有趣的推论，请不要忘记开放世界的假设.这是一个有效的示例，由三个公理组成:
@MikeKinghan is insofar right as it was a slight overstatement (indeed, the statement you gave does not imply Barack liking anything). As for you not getting any interesting inferences in Protege, do not forget the open world assumption. Here is a working example, consisting of three axioms:
a1:EquivalentClasses(:PeopleDislikingMexicanBorderWall ObjectComplementOf(ObjectHasValue(:likes:MexicanBorderWall)))
a1: EquivalentClasses(:PeopleDislikingMexicanBorderWall ObjectComplementOf(ObjectHasValue(:likes :MexicanBorderWall)))
a2:ClassAssertion(ObjectAllValuesFrom(:likes ObjectComplementOf(ObjectSomeValuesFrom(ObjectInverseOf(:likes)ObjectOneOf(:Donald))))):巴拉克)
a2: ClassAssertion(ObjectAllValuesFrom(:likes ObjectComplementOf(ObjectSomeValuesFrom(ObjectInverseOf(:likes) ObjectOneOf(:Donald)))) :Barack)
a3:ObjectPropertyAssertion(:likes:Donald:MexicanBorderWall)
a3: ObjectPropertyAssertion(:likes :Donald :MexicanBorderWall)
如果添加这些语句，推理机将正确推断出Barack是PeopleDislikingMexicanBorderWall的实例.
If you add these statements, the reasoner will correctly infer that Barack is an instance of PeopleDislikingMexicanBorderWall.
这篇关于巴拉克不喜欢唐纳德喜欢的任何东西的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！