Protégé：OWL推理和rdfs：subClassOf

Question

我有一个关于“推理机制”的问题。我创建了一个本体，我想了解一些推理细节：

Here is a part of my ontology

如我们所见，SubConcepts通过rdfs：subClassOf公理链接到SuperConcepts， 概念可以是ListCommonName的“ qualified_by”（objectProperty）， “ Qualified_by”关系是可传递的（当然还有rdfs：subClassOf）。

首先，我在根概念上为其ListCommonName（可以是子概念）声明一个“ qualified_by”属性，

我想要的是：

通过声明一个：

  

concept1“ qualified_by” ListCommonName1

是否有可能推断：

  

（concept1的）子概念“ qualified_by” ListCommonName1

考虑到ListCommonName1与图片最接近。

感谢您的帮助。

编辑：我认为我的问题不清楚，我将尽力清楚地解释一下： 考虑到带有一些泛型信息的Concept1，他的孩子SubConcept1，SubConcept2，...可以获得相同的泛型信息（以对象属性表示）？

EDIT2：好的，我想我已经开始理解您对subClassOf的看法以及类与个人之间的区别。 因此，如果我理解正确，则永远不能在SWRL规则或属性链中使用rdfs：subClassOf，因为它仅涉及类的架构而不涉及个人。因此，如果我在个人身上使用它，它将无法正常工作。是吗？

所以，如果这是真的，您知道一个解决方案： 如果在父级概念（concept1作为单个对象）上存在qualified_by关系，是否可以将其应用于作为subConcept（subConcept1作为单个对象）的个人？

对不起，我真的很想了解我对猫头鹰推理的理解问题在哪里，而且这个问题使我很早以前就疯了。

Answer 1

非常感谢您的回答。

因此，我将尝试解释我的用例。 我有：

1. 一些概念（标签），一些子概念（tag_qualification，tag_concept，tag_object等）。在这种特殊情况下，这些类的个体是唯一的（是否可以在OWL中表达此约束？）。
2. 一些关系来表达我的本体的词汇。 Qualified_by用于表示标记“ qualified_by” another_tag。
3. 考虑我的个人（rdf：类型标签）“ indoor_temperature”：

  

标签的子类<-概念<-温度<-温度<-室内温度等...

因此，室内温度可以通过“冷，热等”来“限定”，但是温度也可以（室内温度的超概念），然后室外温度也可以（在相同的室内温度水平）。

你知道我的意思吗？我的画图更清晰吗？ 如果再看一遍，我想推断出最后一句话中的橙色关系。 当qualified_by没有直接连接到标签时，是否有可能推断子类分类法的“ qualified_by”关系？ 我真的认为这是可能的。

此外，我真的很喜欢您的问题：

  

如果这些是个人，您如何表达子类关系？

您是说不可能吗？

谢谢。