{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T14:00:58Z","timestamp":1780322458460,"version":"3.54.1"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319704067","type":"print"},{"value":"9783319704074","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-70407-4_23","type":"book-chapter","created":{"date-parts":[[2017,11,7]],"date-time":"2017-11-07T06:04:00Z","timestamp":1510034640000},"page":"120-125","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["TDDonto2: A Test-Driven Development Plugin for Arbitrary TBox and ABox Axioms"],"prefix":"10.1007","author":[{"given":"Kieren","family":"Davies","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C. Maria","family":"Keet","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Agnieszka","family":"\u0141awrynowicz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,11,8]]},"reference":[{"key":"23_CR1","volume-title":"Test-Driven Development: By Example","author":"K Beck","year":"2004","unstructured":"Beck, K.: Test-Driven Development: By Example. Addison-Wesley, Boston (2004)"},{"key":"23_CR2","unstructured":"Davies, K.: Towards test-driven development of ontologies: an analysis of testing algorithms. Project report, University of Cape Town (2016). http:\/\/projects.cs.uct.ac.za\/honsproj\/cgi-bin\/view\/2016\/allie_davies.zip\/build\/"},{"key":"23_CR3","unstructured":"Denaux, R., Thakker, D., Dimitrova, V., Cohn, A.G.: Interactive semantic feedback for intuitive ontology authoring. In: Proceedings of FOIS 2012, pp. 160\u2013173. IOS Press (2012)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-33876-2_7","volume-title":"Knowledge Engineering and Knowledge Management","author":"S Ferr\u00e9","year":"2012","unstructured":"Ferr\u00e9, S., Rudolph, S.: Advocatus diaboli \u2013 exploratory enrichment of ontologies with negative constraints. In: ten Teije, A., et al. (eds.) EKAW 2012. LNCS (LNAI), vol. 7603, pp. 42\u201356. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33876-2_7"},{"issue":"16","key":"23_CR5","doi-asserted-by":"crossref","first-page":"2993","DOI":"10.19026\/rjaset.6.3684","volume":"6","author":"R Iqbal","year":"2013","unstructured":"Iqbal, R., Murad, M.A.A., Mustapha, A., Sharef, N.M.: An analysis of ontology engineering methodologies: a literature review. Res. J. Appl. Sci. Eng. Technol. 6(16), 2993\u20133000 (2013)","journal-title":"Res. J. Appl. Sci. Eng. Technol."},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1007\/978-3-319-34129-3_39","volume-title":"The Semantic Web. Latest Advances and New Domains","author":"CM Keet","year":"2016","unstructured":"Keet, C.M., \u0141awrynowicz, A.: Test-driven development of ontologies. In: Sack, H., Blomqvist, E., d\u2019Aquin, M., Ghidini, C., Ponzetto, S.P., Lange, C. (eds.) ESWC 2016. LNCS, vol. 9678, pp. 642\u2013657. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-34129-3_39"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Keet, C.M., Khan, M.T., Ghidini, C.: Ontology authoring with FORZA. In: Proceedings of CIKM 2013, pp. 569\u2013578. ACM (2013)","DOI":"10.1145\/2505515.2505539"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/978-3-319-49004-5_28","volume-title":"Knowledge Engineering and Knowledge Management","author":"N Matentzoglu","year":"2016","unstructured":"Matentzoglu, N., Vigo, M., Jay, C., Stevens, R.: Making entailment set changes explicit improves the understanding of consequences of ontology authoring actions. In: Blomqvist, E., Ciancarini, P., Poggi, F., Vitali, F. (eds.) EKAW 2016. LNCS (LNAI), vol. 10024, pp. 432\u2013446. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49004-5_28"},{"key":"23_CR9","unstructured":"OWL API. http:\/\/owlcs.github.io\/owlapi\/ . Accessed 1 Nov 2016"},{"key":"23_CR10","unstructured":"Scone Project. https:\/\/bitbucket.org\/malefort\/scone . Accessed 9 May 2016"},{"issue":"12","key":"23_CR11","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1016\/j.ijhcs.2014.07.005","volume":"72","author":"M Vigo","year":"2014","unstructured":"Vigo, M., Bail, S., Jay, C., Stevens, R.D.: Overcoming the pitfalls of ontology authoring: strategies and implications for tool design. Int. J. Hum. Comput. Stud. 72(12), 835\u2013845 (2014)","journal-title":"Int. J. Hum. Comput. Stud."},{"key":"23_CR12","unstructured":"Warrender, J.D., Lord, P.: How, what and why to test an ontology. In: Bio-ontologies 2015 (2015)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: ESWC 2017 Satellite Events"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70407-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T15:02:45Z","timestamp":1570287765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70407-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319704067","9783319704074"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70407-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}