本体的测试驱动开发（扩展版）
人工智能
2015-12-22 v1
摘要
新兴的用于向本体添加知识的本体编写方法侧重于改善验证瓶颈。由于缺少用于本体编写的系统化测试平台，对新添加公理的验证仍属于试错并观察推理机反馈的方式。我们试图通过引入面向本体编写的测试驱动开发方法来解决此问题。我们规定了 36 个通用测试，以 TBox 查询和通过个体测试的 TBox 公理形式给出，并以“开放盒”方式构建其内在机制，这些测试覆盖了 OWL 2 DL 语言特性。这被实现为一个 Protege 插件，从而可将 TDD 测试作为黑盒测试执行。我们评估了两种测试方法的性能。TBox 查询速度更快，且本体规模越大该效应越明显。我们提供了本体工程中 TDD 过程的一般流程，作为 TDD 方法学的基础。
引用
@article{arxiv.1512.06211,
title = {Test-Driven Development of ontologies (extended version)},
author = {C. Maria Keet and Agnieszka Lawrynowicz},
journal= {arXiv preprint arXiv:1512.06211},
year = {2015}
}