TDDonto2: A Test-Driven Development Plugin for Arbitrary TBox and ABox Axioms
[ 1 ] Department of Computer ScienceUniversity of Cape Town | [ 2 ] Department of Computer Science, University of Cape Town | [ 3 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] employee
2017
chapter in monograph / paper
english
EN Ontology authoring is a complex task where modellers rely heavily on the automated reasoner for verification of changes, using effectively a time-consuming test-last approach. Test-first with Test-Driven Development aims to speed up such processes, but tools to date covered only a subset of possible OWL 2 DL axioms and provide limited feedback. We have addressed these issues with a model for TDD testing to give more feedback to the modeller and seven new, generic, TDD algorithms that also cover OWL 2 DL class expressions on the left-hand side of inclusions and ABox assertions by availing of several reasoner methods. The model and algorithms have been implemented as a Protégé plugin, TDDonto2.
120 - 125
20
WoS (15)