Stardog Studio推理功能无法识别subClassOf关系的问题求助

问题场景 #

在Stardog Studio中创建基础数据库并导入以下RDF数据：

<?xml version="1.0"?>
 <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:ex="http://example.org/">

<!-- Classes -->
<rdf:Description rdf:about="http://example.org/Person">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
    <rdfs:label>Person</rdfs:label>
</rdf:Description>
<rdf:Description rdf:about="http://example.org/Student">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
    <rdfs:subClassOf rdf:resource="http://example.org/Person"/>
    <rdfs:label>Student</rdfs:label>
</rdf:Description>
<!-- Instances -->
<rdf:Description rdf:about="http://example.org/Alice">
    <rdf:type rdf:resource="http://example.org/Student"/>
    <rdfs:label>Alice</rdfs:label>
</rdf:Description>
<rdf:Description rdf:about="http://example.org/Charlie">
    <rdf:type rdf:resource="http://example.org/Person"/>
    <rdfs:label>Charlie</rdfs:label>
</rdf:Description>
</rdf:RDF>

启用推理功能后执行以下SPARQL查询：

PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
 PREFIX ex: <http://example.org/>
 SELECT ?individual ?class
 WHERE {
 ?individual rdf:type ?class .
 }

预期结果中ex:Alice应被识别为ex:Person的实例，但实际查询仅返回所有实体属于owl:Thing，未触发子类继承的推理逻辑。

问题原因 #

Stardog默认的推理配置未启用包含RDFS子类继承规则的推理模式，仅启用基础推理时无法识别rdfs:subClassOf的层级关系。

解决步骤 #

1. 进入数据库推理设置：在Stardog Studio中，打开目标数据库的「Settings」页面，找到「Reasoning」选项卡。
2. 修改推理模式：将推理Schema从默认的None或基础模式切换为RDFS或OWL RL（推荐OWL RL，支持更完整的OWL推理规则）。
3. 保存配置并重新查询：保存设置后，重新执行SPARQL查询，此时会返回：
   • ex:Alice同时属于ex:Student和ex:Person
   • ex:Charlie属于ex:Person
   • 所有实体仍会显示属于owl:Thing（符合RDFS/OWL规范，所有类均为owl:Thing的子类）

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