Ontology authoring is a complex process, where commonly the automated reasoner is invoked for verification of newly introduced changes, therewith amounting to a time-consuming test-last approach. Test-Driven Development (TDD) for ontology authoring is a recent test-first approach that aims to reduce authoring time and increase authoring efficiency. Current TDD testing falls short on coverage of OWL features and possible test outcomes, the rigorous foundation thereof, and evaluations to ascertain its effectiveness. We aim to address these issues in one instantiation of TDD for ontology authoring. We first propose a succinct, logic-based specification of TDD testing and present novel TDD algorithms so as to cover also any OWL 2 class expression for the TBox and for the principal ABox assertions, and prove their correctness. The algorithms use methods from the OWL API directly such that reclassification is not necessary for test execution, therewith reducing ontology authoring time. The algorithms were implemented in TDDonto2, a Protégé plugin. TDDonto2 was evaluated by users, which demonstrated that modellers make significantly fewer errors with TDDonto2 compared to the standard Protégé interface and complete their tasks better using less time. Thus, the results indicate that TDD is a promising approach in an ontology development methodology.

中文翻译：

---

使用测试驱动开发和 TDDonto2 工具进行更有效的本体创作

本体创作是一个复杂的过程，其中通常会调用自动推理器来验证新引入的更改，因此相当于一种耗时的后测试方法。用于本体创作的测试驱动开发 (TDD) 是最近的测试优先方法，旨在减少创作时间并提高创作效率。当前的 TDD 测试在 OWL 功能和可能的测试结果的覆盖范围、其严格的基础以及确定其有效性的评估方面存在不足。我们的目标是在一个用于本体创作的 TDD 实例中解决这些问题。我们首先提出了一个简洁的、基于逻辑的 TDD 测试规范，并提出了新的 TDD 算法，以涵盖 TBox 和主要 ABox 断言的任何 OWL 2 类表达式，并证明它们的正确性。这些算法直接使用来自 OWL API 的方法，因此测试执行不需要重新分类，从而减少本体创作时间。算法在 TDDonto2 中实现，这是一个 Protégé 插件。用户对 TDDonto2 进行了评估，结果表明，与标准 Protégé 界面相比，建模师使用 TDDonto2 犯的错误明显更少，并且可以用更少的时间更好地完成任务。因此，结果表明 TDD 在本体开发方法中是一种很有前途的方法。这表明，与标准 Protégé 界面相比，建模者使用 TDDonto2 犯的错误显着减少，并且使用更少的时间更好地完成任务。因此，结果表明 TDD 在本体开发方法中是一种很有前途的方法。这表明，与标准 Protégé 界面相比，建模者使用 TDDonto2 犯的错误显着减少，并且使用更少的时间更好地完成任务。因此，结果表明 TDD 在本体开发方法中是一种很有前途的方法。