{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T19:57:03Z","timestamp":1772827023600,"version":"3.50.1"},"reference-count":19,"publisher":"World Scientific Pub Co Pte Ltd","issue":"07","funder":[{"DOI":"10.13039\/501100001870","name":"Fundacja na rzecz Nauki Polskiej","doi-asserted-by":"publisher","award":["2014\/13\/D\/ST6\/02076"],"award-info":[{"award-number":["2014\/13\/D\/ST6\/02076"]}],"id":[{"id":"10.13039\/501100001870","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[2019,11]]},"abstract":"<jats:p>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\u00e9g\u00e9 plugin. TDDonto2 was evaluated by users, which demonstrated that modellers make significantly fewer errors with TDDonto2 compared to the standard Prot\u00e9g\u00e9 interface and complete their tasks better using less time. Thus, the results indicate that TDD is a promising approach in an ontology development methodology.<\/jats:p>","DOI":"10.1142\/s0218213019500234","type":"journal-article","created":{"date-parts":[[2019,11,15]],"date-time":"2019-11-15T04:28:39Z","timestamp":1573792119000},"page":"1950023","source":"Crossref","is-referenced-by-count":11,"title":["More Effective Ontology Authoring with Test-Driven Development and the TDDonto2 Tool"],"prefix":"10.1142","volume":"28","author":[{"given":"Kieren","family":"Davies","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Cape Town, South Africa, Cape Town 7701, Western Cape, South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8281-0853","authenticated-orcid":false,"given":"C. Maria","family":"Keet","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Cape Town, South Africa, Cape Town 7701, Western Cape, South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agnieszka","family":"Lawrynowicz","sequence":"additional","affiliation":[{"name":"Faculty of Computing and Center for Artificial Intelligence and Machine Learning (CAMIL), Poznan University of Technology, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2019,11,15]]},"reference":[{"key":"p_3","first-page":"216","volume":"7603","author":"Blomqvist E.","year":"2012","journal-title":"LNAI"},{"key":"p_4","first-page":"55","volume":"10161","author":"Peroni S.","year":"2017","journal-title":"LNCS"},{"key":"p_7","first-page":"1012","volume":"4278","author":"Vrande\u010di\u0107 D.","year":"2006","journal-title":"LNCS"},{"key":"p_12","first-page":"432","volume":"10024","author":"Matentzoglu N.","year":"2016","journal-title":"LNAI"},{"key":"p_13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2014.07.005"},{"issue":"16","key":"p_14","first-page":"2993","volume":"6","author":"Iqbal R.","year":"2013","journal-title":"Engineering and Technology"},{"key":"p_16","first-page":"642","volume":"9678","author":"Keet C. M.","year":"2016","journal-title":"LNCS"},{"key":"p_20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.28"},{"key":"p_22","doi-asserted-by":"publisher","DOI":"10.1002\/1098-111X(200103)16:3<391::AID-INT1014>3.0.CO;2-2"},{"key":"p_23","first-page":"149","volume":"7","author":"Fahad M.","year":"2008","journal-title":"France"},{"key":"p_26","first-page":"140","volume":"4011","author":"Gangemi A.","year":"2006","journal-title":"LNCS"},{"issue":"1","key":"p_28","doi-asserted-by":"crossref","first-page":"41","DOI":"10.3233\/AO-2008-0048","volume":"3","author":"V\u00f6lker J.","year":"2008","journal-title":"Applied Ontology"},{"key":"p_30","first-page":"318","volume":"9789","author":"Walisadeera A. I.","year":"2016","journal-title":"LNCS"},{"key":"p_31","first-page":"2050","volume":"21","author":"Tan H.","year":"2017","journal-title":"Italy"},{"key":"p_33","first-page":"32","volume":"4","author":"Prud\u2019hommeaux E.","year":"2014","journal-title":"Germany"},{"key":"p_40","first-page":"243","volume":"10587","author":"Dennis M.","year":"2017","journal-title":"LNCS"},{"issue":"1","key":"p_42","doi-asserted-by":"crossref","first-page":"23","DOI":"10.3233\/SW-2011-0027","volume":"2","author":"Liebig T.","year":"2011","journal-title":"Semantic Web Journal"},{"key":"p_43","first-page":"382","volume":"6643","author":"Kollia I.","year":"2011","journal-title":"LNCS"},{"key":"p_46","first-page":"1577","volume":"22","author":"Lawrynowicz A.","year":"2016","journal-title":"South Africa"}],"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213019500234","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,12]],"date-time":"2019-12-12T03:03:34Z","timestamp":1576119814000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213019500234"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":19,"journal-issue":{"issue":"07","published-print":{"date-parts":[[2019,11]]}},"alternative-id":["10.1142\/S0218213019500234"],"URL":"https:\/\/doi.org\/10.1142\/s0218213019500234","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"value":"0218-2130","type":"print"},{"value":"1793-6349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,11]]}}}