25、本体解释与准等价概念权衡：理论与实践探索

本体解释与准等价概念权衡：理论与实践探索

本体解释的多面性

解释的特性

解释具有对比性，人们很少单纯问“为什么是 P”，而更关心“为什么是 P 而不是 Q”。这意味着在解释过程中，需要引入对比类，即相似但未被观察到的状态，将其与待解释的现象以及区分两者的信息需求结合起来。

实用主义方法

从实用主义角度研究本体解释，需考虑科学家在现实场景中如何解释本体。以下是一些相关的研究及其成果：
- Garcia 和 Vivacqua 的研究 ：他们认为解释在本体问题识别中起着关键作用，目标是提高评估过程的效率，帮助本体用户和开发者理解和审核本体。他们采用了可视化检查和故事式文本解释的方式，还发现使用领域案例（即示例）能引发专家意见的冲突。
- Braga 和 Almeida 的研究 ：他们使用自然语言叙述和概念模型中的概念来评估和“测试”模型的正确性，这是对之前利用可视化模拟揭示本体语义工作的扩展。
- Horridge 等人的研究 ：他们提出了一个处理本体蕴含理由的工具包，将理由呈现为逻辑公理列表。理由被视为一种特定类型的解释，是选择本体中足以支持蕴含关系的最小子集。

然而，尽管在本体解释方面做出了诸多努力，但最初开发的工具仍存在一些关键问题。部分研究更侧重于改变解释的形式（如可视化和文本形式），而非改变解释本身的内容。

Overton 的解释分类

Overton 提出了五个类别及其关系。他认为解释由解释关系、解释类别（explanan）和被解释类别（explanandum）组