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

Question

我正在为一个大学课程项目开发视频游戏本体，特别关注不同类型之间的关系。我在我的项目中包含了this 本体并对其进行了扩展。 OWL 文档的当前状态是here。

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

此外，它指出owl:Thing 是Equivalent To Game 并等效于Genre，并有以下解释（分别）：

如您所料，这绝对不是我预期的结果。我尝试设置Game Disjoint With Genre，但推理器随后指出本体不一致。它给出的解释与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

这实际上意味着您的本体中的每个个体都通过属性isSimilarTo 与自身相关，即对于您的本体中的每个个体x，我们可以包含

isSimilarTo(x, x)

此外，我们还有

isSimilarTo Range Game

在语义上等价于公理

owl:Thing SubClassOf isSimilarTo only Game

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

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