Davies, Kieren and Keet, C. Maria and Lawrynowicz, Agnieszka (2017) TDDonto2: A Test-Driven Development Plugin for arbitrary TBox and ABox axioms, Proceedings of 14th Extended Semantic Web Conference (ESWC'17), May 28 - June 2, 2017, Portoroz, Slovenia, 10577, 120-125, Springer.
![[img]](http://pubs.cs.uct.ac.za/style/images/fileicons/application_pdf.png) |
PDF
TTDalgoDemoPaperESWC17.pdf Download (219kB) |
Abstract
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\'eg\'e plugin, TDDonto2.
| Item Type: | Conference poster |
|---|---|
| Uncontrolled Keywords: | ontology engineering, test-driven development, OWL, Semantic Web |
| Subjects: | Computing methodologies > Artificial intelligence |
| Alternate Locations: | http://www.meteck.org/files/TTDalgoDemoPaperESWC17.pdf, https://link.springer.com/chapter/10.1007/978-3-319-70407-4_23 |
| Date Deposited: | 18 Jan 2018 |
| Last Modified: | 10 Oct 2019 15:31 |
| URI: | http://pubs.cs.uct.ac.za/id/eprint/1241 |
Actions (login required)
 |
View Item |