数据和知识组

因果报应

概述

KARMA是一种组合式回答方法的原型实现对DL ELHO中指定的本体进行联合查询。

给定一个ELHO本体、一个ABox和一个连接查询，KARMA计算以下内容的答案使用三步过程对本体和数据进行查询：

1. 在初步步骤中，本体被转换为数据日志捕获本体的某些相关结果的程序。
2. 通过使用HermiT公司作为一个数据记录引擎，KARMA通过数据记录程序加上存储在ABox中的数据。
3. 过滤第二步的结果以消除不健全答案。

第三步是必要的，因为为了确保终止，数据日志程序第一步中计算出的本体与给定的本体不等价，它可能暗示不符合本体论和数据的事实；然而，这是以允许第三步的方式完成。

KARMA是开源的，发布于LGPL公司.系统和评估数据包含在下载的zip文件中。