Test-Driven Development of ontologies (extended version)

C. Maria Keet, Agnieszka Lawrynowicz

Emerging ontology authoring methods to add knowledge to an ontology focus on ameliorating the validation bottleneck. The verification of the newly added axiom is still one of tryin…