Reasoner 设置两个不同的 类 等价于彼此和 owl:Thing

Question

我正在为一个大学课程项目研究 ontology 视频游戏，特别关注不同类型之间的关系。我包括了 this ontology in my project and expanded on it. The current state of the OWL document is here.

当我在 Protégé 中启动 HermiT 推理机时，它指出 Game 是 Equivalent To Genre，并附有解释：

此外，它声明 owl:Thing 是 Equivalent To Game 并且等同于 Genre 并具有以下解释（分别）：

如你所料，这绝对不是我所期望的结果。我试过设置 Game Disjoint With Genre，但推理者随后指出 ontology 不一致。它给出的解释与 Game Equivalent To Genre 的解释相同，但在每个解释中添加了 Disjoint With 限制。

这是我第一次做这样的事情，所以如果有人能向我解释我逻辑上的谬误，我将不胜感激。是什么导致了这种行为，为什么，我该如何解决？

另外，这里是两个对象属性的代码，貌似有问题（其余的可以找here）：

###  http://example.org/VideoGameOntologyExtended#hasElementsOf
:hasElementsOf rdf:type owl:ObjectProperty ,
                        owl:ReflexiveProperty ;
               rdfs:domain vgo:Genre ;
               rdfs:range vgo:Genre .

###  http://example.org/VideoGameOntologyExtended#isSimilarTo
:isSimilarTo rdf:type owl:ObjectProperty ,
                      owl:SymmetricProperty ,
                      owl:ReflexiveProperty ;
             rdfs:domain vgo:Game ;
             rdfs:range vgo:Game .

Answer 1

只是给你一个蕴含的提示 owl:Thing EquivalentTo Game:

我们有

Reflexive: isSimilarTo

相当于

owl:Thing SubClassOf isSimilarTo some Self

这实际上意味着您 ontology 中的每个人都通过 属性 isSimilarTo 与其自身相关，即对于您 [=50= 中的每个人 x ] 我们可以继承

isSimilarTo(x, x)

此外，我们还有

isSimilarTo Range Game

在语义上等同于公理

owl:Thing SubClassOf isSimilarTo only Game

这意味着，如果存在这样的关系 isSimilarTo(x, y)，对象 y 将属于 class Game.

现在，请记住我们已经说过 ontology 中的每个个体都有这样的关系，只是与它自己。因此，我们可以推断每个个体属于 class Game.