11、推理实验的综合分析与结果解读

推理实验的综合分析与结果解读

1. 推理类型分类

推理类型主要分为以下几种：
- Type3 推导 ：包含出现在同一输入三元组中的两个非标准术语。例如，如果输入包含三元组 ⟨:ClassA owl:equivalentClass :ClassB⟩，那么一个 Type3 推导可以是 ⟨:ClassB rdfs:subClassOf :ClassA⟩。
- Type4 推导 ：包含两个或更多从未出现在同一输入三元组中的非标准术语。例如，如果输入包含三元组 ⟨:resource rdf:type :ClassA⟩ 和 ⟨:ClassA rdfs:subClassOf :ClassB⟩，那么一个 Type4 三元组可以是 ⟨:resource rdf:type :ClassB⟩。

不同类型推导的难易程度和计算需求不同：
- Type1 推导最容易得出。
- Type2 和 Type3 推导相对较难，通常需要对数据进行一次遍历，Type3 推导还可能需要推理器改变术语的顺序。
- Type4 推导通常需要对多个三元组进行连接操作，计算需求更高。大多数推理器推导出的非平凡隐式知识通常属于 Type2、Type3 或 Type4。

2. 推理失败情况

推理过程可能会失败，失败原因包括算法/实现的可扩展性有限、语法错误和本体不一致等。推理失败分为以下两类：
- 异常 ：推理器提前终止，例如由于输入中的不一致或语法错误。
- 超时 ：推理器在 72 小时内