使用OWL API+Openllet获取推理解释时遇错误求助

问题概述 #

在尝试获取Openllet Reasoner的推理解释时，遇到两个具体错误：

• 使用某代码示例时出现**"No explanation computed"**错误
• 使用另一代码示例时出现**"value cannot be null at this stage"**错误

目标是为以下任务本体及导入的SWRL规则获取推理解释。

涉及的本体与规则 #

任务本体内容 #

<?xml version="1.0"?>
<rdf:RDF xmlns="ontology://tasks/7c159bcc-b490-417a-9e0c-ea28bab98628#"
     xml:base="ontology://tasks/7c159bcc-b490-417a-9e0c-ea28bab98628"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:xml="http://www.w3.org/XML/1998/namespace"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:swrla="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#"
     xmlns:base-ontology="http://www.semanticweb.org/user/ontologies/base-ontology#">
    <owl:Ontology rdf:about="ontology://tasks/7c159bcc-b490-417a-9e0c-ea28bab98628">
        <owl:imports rdf:resource="http://www.semanticweb.org/user/ontologies/base-ontology"/>
    </owl:Ontology>

    <!-- ontology://tasks/7c159bcc-b490-417a-9e0c-ea28bab98628#Cargo:737106ca-5efa-4035-875b-bf8fcc865754 -->

    <owl:NamedIndividual rdf:about="ontology://tasks/7c159bcc-b490-417a-9e0c-ea28bab98628#Cargo:737106ca-5efa-4035-875b-bf8fcc865754">
        <rdf:type rdf:resource="http://www.semanticweb.org/user/ontologies/base-ontology#Груз"/>
        <base-ontology:Weight rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">24</base-ontology:Weight>
        <base-ontology:Cargo_name>Cargo1</base-ontology:Cargo_name>
    </owl:NamedIndividual>

    <!-- ontology://tasks/7c159bcc-b490-417a-9e0c-ea28bab98628#Road:5b89f851-ee26-48d3-b480-be586ea9c9c2 -->

    <owl:NamedIndividual rdf:about="ontology://tasks/7c159bcc-b490-417a-9e0c-ea28bab98628#Road:5b89f851-ee26-48d3-b480-be586ea9c9c2">
        <rdf:type rdf:resource="http://www.semanticweb.org/user/ontologies/base-ontology#Road"/>
        <base-ontology:Road_length rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">33</base-ontology:Road_length>
        <base-ontology:Coating_wear>Medium</base-ontology:Coating_wear>
        <base-ontology:Coating_type>Asphalt</base-ontology:Coating_type>
    </owl:NamedIndividual>
</rdf:RDF>

导入的SWRL规则 #

规则本体中包含以下规则，已导入到工作本体：

Road(?r), Road_length(?r, ?l), swrlb:greaterThan(?l, 25) -> Safety_eval(?r, "low")

错误原因与解决方案 #

1. "No explanation computed" 错误 #

原因

• 目标结论未被推理器推导：比如Safety_eval(Road:5b89f851-ee26-48d3-b480-be586ea9c9c2, "low")未出现在推理结果中，可能是规则导入失败、SWRL支持未启用，或者本体缺少Safety_eval属性定义。
• 解释器未正确初始化：未绑定支持解释的推理器实例，导致无法生成解释。

修复

• 先验证推理结果：检查目标推论是否存在，确认Safety_eval属性在基础本体中已定义，规则中的谓词、类与本体定义完全匹配。
• 确保SWRL支持启用：Openllet默认支持SWRL，但需确认推理器配置未禁用SWRL处理。
• 正确初始化解释生成器：参考标准代码流程创建推理器与解释器，确保绑定到已加载的完整本体。

2. "value cannot be null at this stage" 错误 #

原因

• 依赖本体加载失败：基础本体http://www.semanticweb.org/user/ontologies/base-ontology未完整加载，导致Road类、Road_length等属性无定义。
• 代码未处理加载异常：本体导入失败未被捕获，后续操作访问空对象。
• 解释请求的结论为空：构造的待解释公理不存在或未正确实例化。

修复

• 验证本体完整性：确认所有导入的本体可正常访问，基础本体中包含Road、Road_length、Safety_eval的完整定义。
• 添加加载错误处理：在代码中捕获本体加载异常，确保所有依赖本体加载成功。
• 确保结论公理有效：显式构造待解释的OWL公理（如数据属性断言），避免传入空值。

通用修复代码示例 #

// 加载本体
OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
OWLOntology ontology = manager.loadOntologyFromOntologyDocument(new File("your-ontology.owl"));

// 创建支持解释的Openllet推理器
OpenlletReasonerFactory reasonerFactory = OpenlletReasonerFactory.getInstance();
OpenlletReasoner reasoner = reasonerFactory.createReasoner(ontology);

// 初始化解释生成器
ExplanationGenerator explanationGenerator = reasoner.getExplanationGenerator();

// 构造待解释的SWRL推论公理
OWLDataFactory factory = manager.getOWLDataFactory();
OWLNamedIndividual road = factory.getOWLNamedIndividual(IRI.create("ontology://tasks/7c159bcc-b490-417a-9e0c-ea28bab98628#Road:5b89f851-ee26-48d3-b480-be586ea9c9c2"));
OWLLiteral low = factory.getOWLLiteral("low");
OWLDataProperty safetyEval = factory.getOWLDataProperty(IRI.create("http://www.semanticweb.org/user/ontologies/base-ontology#Safety_eval"));
OWLDataPropertyAssertionAxiom conclusion = factory.getOWLDataPropertyAssertionAxiom(safetyEval, road, low);

// 获取并输出解释
Set<Explanation> explanations = explanationGenerator.getExplanations(conclusion);
for (Explanation exp : explanations) {
    System.out.println("推理解释：");
    for (OWLAxiom axiom : exp.getAxioms()) {
        System.out.println(axiom);
    }
}

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