如何、何种及为何测试本体

本体开发与软件开发相关，因为二者都涉及形式化计算知识的产生。因此，软件工程中使用的某些技术也可能用于本体；例如，在软件工程中测试是一个成熟的过程，并且是许多不同方法学的一部分。因此，将测试应用于本体似乎很有吸引力。核型本体（Karyotype Ontology）是使用新颖的 Tawny-OWL 库开发的。这提供了一个完全程序化的本体开发环境，包含完整的测试框架（test harness）。在本文中，我们描述了如何利用该框架构建广泛的测试系列，并使用商品化持续集成系统将测试深度链接到我们的开发过程中；该环境适用于任何 OWL 本体，无论是否使用 Tawny-OWL 编写。此外，我们提出了对我们测试的新分析，引入了对不同测试所属类别的新分类。对于每类测试，我们描述了为何使用这些测试，并与软件测试相比较。我们相信这种本体与软件开发之间的系统比较将帮助我们转向更敏捷的本体开发形式。