Ontology verification refers to the activity where an ontology is tested against its ontology requirements to ensure that it is built correctly in compliance with its ontology requirements specification. Therefore, it is an important activity that should be performed in any ontology development process. Since manual verification can be a time-consuming and repetitive task, testing processes to automatically verify an ontology facilitate this activity. Moreover, the involvement of not only ontology engineers during the ontology verification process, but also domain experts and users, can provide valuable feedback to avoid misunderstandings and lack of information. This paper proposes a method for ontology verification that defines the testing activities to be performed. The method uses a testing language based on lexico-syntactic patterns to facilitate the definition of tests and an ontology to store and publish such tests. Moreover, this verification testing method proposes an online tool to execute tests on one or more ontologies. The method was compared in terms of time and errors by user evaluation with other tools for ontology verification; the evaluation showed that the tools that use testing languages had better results in terms of reducing errors in the verification activity compared to the tools that do not.

本体验证是指根据本体要求对本体进行测试以确保其正确构建符合其本体要求规范的活动。因此，它是任何本体开发过程中都应该进行的一项重要活动。由于手动验证可能是一项耗时且重复的任务，因此自动验证本体的测试流程有助于此活动。此外，在本体验证过程中不仅有本体工程师的参与，而且领域专家和用户也可以提供有价值的反馈，以避免误解和信息缺乏。本文提出了一种定义要执行的测试活动的本体验证方法。该方法使用基于词汇句法模式的测试语言来促进测试的定义，并使用本体来存储和发布此类测试。此外，这种验证测试方法提出了一种在线工具来对一个或多个本体执行测试。该方法通过用户评价与其他本体验证工具在时间和误差方面进行比较；评估表明，与不使用测试语言的工具相比，使用测试语言的工具在减少验证活动中的错误方面效果更好。