Protégé查询无法获取全部目标子类？DL查询与本体配置排查

核心问题 #

你用DL查询tire that HasWidth some Width125没得到预期结果，主要存在两个关键问题：

1. 轮胎类AS7的约束过于宽泛 #

AS7当前的约束是HasWidth some Width，仅指定该轮胎拥有任意宽度（属于Width类即可），但并未关联到具体的Width125子类。在OWL推理逻辑中，HasWidth some Width 不蕴含 HasWidth some Width125——只有当类明确指定关联Width125（或其子类）时，才会被你的查询匹配。

2. Width类的继承逻辑错误 #

你定义Width是Tire的子类，这在语义上完全不合理：宽度是轮胎的属性值，而非轮胎的子类。这种错误的类层次会干扰推理机的逻辑判断，可能导致后续更多推理异常。

修复步骤 #

步骤1：修正AS7的约束（直接匹配查询） #

如果AS7确实对应Width125宽度，修改AS7的约束，将someValuesFrom指向#Width125：

<owl:Class rdf:about="#AS7">
    <rdfs:label xml:lang="en">Avon AS7</rdfs:label>
    <rdfs:subClassOf rdf:resource="https://spec.edmcouncil.org/auto/ontology/VC/VehicleParts/PneumaticTire"/>
    <rdfs:subClassOf>
        <owl:Restriction>
            <owl:onProperty rdf:resource="#HasWidth"/>
            <owl:someValuesFrom rdf:resource="#Width125"/>
        </owl:Restriction>
    </rdfs:subClassOf>
</owl:Class>

如果AS7兼容多个宽度（比如Width125和Width130），可以用owl:unionOf组合：

<rdfs:subClassOf>
    <owl:Restriction>
        <owl:onProperty rdf:resource="#HasWidth"/>
        <owl:someValuesFrom>
            <owl:Class>
                <owl:unionOf rdf:parseType="Collection">
                    <owl:Class rdf:resource="#Width125"/>
                    <owl:Class rdf:resource="#Width130"/>
                </owl:unionOf>
            </owl:Class>
        </owl:someValuesFrom>
    </owl:Restriction>
</rdfs:subClassOf>

步骤2：修正Width类的继承关系 #

将Width从Tire的子类改为独立类（或归属到合理的属性值类，比如自定义的TireDimension）：

<owl:Class rdf:about="#Width">
    <rdfs:label xml:lang="en">Width</rdfs:label>
    <!-- 移除错误的Tire子类继承，可根据需求添加合理父类，比如： -->
    <!-- <rdfs:subClassOf rdf:resource="#TireDimension"/> -->
</owl:Class>

步骤3：验证DL查询 #

确保查询中的tire对应你的轮胎父类（比如PneumaticTire），也可以直接写更精确的查询语句：

PneumaticTire and HasWidth some Width125

内容的提问来源于stack exchange，提问作者Dallas