{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:33:57Z","timestamp":1725910437293},"publisher-location":"Cham","reference-count":56,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319663012"},{"type":"electronic","value":"9783319663029"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66302-9_7","type":"book-chapter","created":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T13:33:55Z","timestamp":1505136835000},"page":"132-153","source":"Crossref","is-referenced-by-count":3,"title":["Software Testing Techniques Revisited for OWL Ontologies"],"prefix":"10.1007","author":[{"given":"Cesare","family":"Bartolini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,10]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1002\/bs.3830120511","volume":"12","author":"MR Quillian","year":"1967","unstructured":"Quillian, M.R.: Word concepts: a theory and simulation of some basic semantic capabilities. Behav. Sci. 12, 410\u2013430 (1967)","journal-title":"Behav. Sci."},{"key":"7_CR2","unstructured":"World Wide Web Consortium (W3C): RDF 1.1 concepts and abstract syntax (2014)"},{"key":"7_CR3","unstructured":"World Wide Web Consortium (W3C): OWL 2 Web Ontology Language document overview, 2nd edn. (2012)"},{"key":"7_CR4","series-title":"International Handbooks on Information Systems","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-3-540-24750-0_4","volume-title":"Handbook on Ontologies","author":"G Antoniou","year":"2004","unstructured":"Antoniou, G., van Harmelen, F.: Web Ontology Language: OWL. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, pp. 67\u201392. Springer, Heidelberg (2004)"},{"key":"7_CR5","first-page":"4","volume":"25","author":"I Horrocks","year":"2002","unstructured":"Horrocks, I.: DAML+OIL: a description logic for the semantic web. Bull. Tech. Committee Data Eng. 25, 4\u20139 (2002)","journal-title":"Bull. Tech. Committee Data Eng."},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-3-642-34997-3_9","volume-title":"Evolution of Semantic Systems","author":"I Horrocks","year":"2013","unstructured":"Horrocks, I.: What are ontologies good for? In: K\u00fcppers, B.O., Hahn, U., Artmann, S. (eds.) Evolution of Semantic Systems, pp. 175\u2013188. Springer, Heidelberg (2013)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-642-37996-3_16","volume-title":"Semantic Technology","author":"M Rospocher","year":"2013","unstructured":"Rospocher, M., Serafini, L.: An ontological framework for decision support. In: Takeda, H., Qu, Y., Mizoguchi, R., Kitamura, Y. (eds.) JIST 2012. LNCS, vol. 7774, pp. 239\u2013254. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-37996-3_16"},{"key":"7_CR8","unstructured":"Kershenbaum, A., Fokoue, A., Patel, C., Welty, C., Schonberg, E., Cimino, J., Ma, L., Srinivas, K., Schloss, R., Murdock, J.W.: A view of OWL from the field: use cases and experiences. In: Cuenca Grau, B., Hitzler, P., Shankey, C., Wallace, E. (eds.) Proceedings of the Second Workshop on OWL: Experiences and Directions (OWLED), vol. 216. CEUR Workshop Proceedings (2006)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-642-33876-2_20","volume-title":"Knowledge Engineering and Knowledge Management","author":"E Blomqvist","year":"2012","unstructured":"Blomqvist, E., Seil Sepour, A., Presutti, V.: Ontology testing - methodology and tool. In: Teije, A., V\u00f6lker, J., Handschuh, S., Stuckenschmidt, H., d\u2019Acquin, M., Nikolov, A., Aussenac-Gilles, N., Hernandez, N. (eds.) EKAW 2012. LNCS, vol. 7603, pp. 216\u2013226. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33876-2_20"},{"key":"7_CR10","unstructured":"World Wide Web Consortium (W3C): OWL Web Ontology Language test cases (2004)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1007\/11574620_53","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"H Wang","year":"2005","unstructured":"Wang, H., Horridge, M., Rector, A., Drummond, N., Seidenberg, J.: Debugging OWL-DL ontologies: a heuristic approach. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 745\u2013757. Springer, Heidelberg (2005). doi: 10.1007\/11574620_53"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-02481-8_13","volume-title":"Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living","author":"S Garc\u00eda-Ramos","year":"2009","unstructured":"Garc\u00eda-Ramos, S., Otero, A., Fern\u00e1ndez-L\u00f3pez, M.: OntologyTest: a tool to evaluate ontologies through tests defined by the user. In: Omatu, S., Rocha, M.P., Bravo, J., Fern\u00e1ndez, F., Corchado, E., Bustillo, A., Corchado, J.M. (eds.) IWANN 2009. LNCS, vol. 5518, pp. 91\u201398. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02481-8_13"},{"key":"7_CR13","unstructured":"McGuinness, D.L., Fikes, R., Rice, J., Wilder, S.: An environment for merging and testing large ontologies. In: Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2000), pp. 483\u2013493 (2000)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/11762256_13","volume-title":"The Semantic Web: Research and Applications","author":"A Gangemi","year":"2006","unstructured":"Gangemi, A., Catenacci, C., Ciaramita, M., Lehmann, J.: Modelling ontology evaluation and validation. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 140\u2013154. Springer, Heidelberg (2006). doi: 10.1007\/11762256_13"},{"key":"7_CR15","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/j.datak.2004.11.010","volume":"55","author":"A Burton-Jones","year":"2005","unstructured":"Burton-Jones, A., Storey, V.C., Sugumaran, V., Ahluwalia, P.: A semiotic metrics suite for assessing the quality of ontologies. Data Knowl. Eng. 55, 84\u2013102 (2005)","journal-title":"Data Knowl. Eng."},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/11762256_12","volume-title":"The Semantic Web: Research and Applications","author":"L Ma","year":"2006","unstructured":"Ma, L., Yang, Y., Qiu, Z., Xie, G., Pan, Y., Liu, S.: Towards a complete OWL ontology benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 125\u2013139. Springer, Heidelberg (2006). doi: 10.1007\/11762256_12"},{"key":"7_CR17","first-page":"201","volume-title":"Handbook on Ontologies. International Handbooks on Information Systems","author":"N Guarino","year":"2009","unstructured":"Guarino, N.: An overview of ontoclean. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, 2nd edn, pp. 201\u2013220. Springer, Heidelberg (2009)","edition":"2"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-642-33876-2_24","volume-title":"Knowledge Engineering and Knowledge Management","author":"M Poveda-Villal\u00f3n","year":"2012","unstructured":"Poveda-Villal\u00f3n, M., Su\u00e1rez-Figueroa, M.C., G\u00f3mez-P\u00e9rez, A.: Validating ontologies with OOPS!. In: Teije, A., V\u00f6lker, J., Handschuh, S., Stuckenschmidt, H., d\u2019Acquin, M., Nikolov, A., Aussenac-Gilles, N., Hernandez, N. (eds.) EKAW 2012. LNCS, vol. 7603, pp. 267\u2013281. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33876-2_24"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-14264-2_10","volume-title":"Current Topics in Artificial Intelligence","author":"M Poveda","year":"2010","unstructured":"Poveda, M., Su\u00e1rez-Figueroa, M.C., G\u00f3mez-P\u00e9rez, A.: Common pitfalls in ontology development. In: Meseguer, P., Mandow, L., Gasca, R.M. (eds.) CAEPIA 2009. LNCS, vol. 5988, pp. 91\u2013100. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-14264-2_10"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1012","DOI":"10.1007\/11915072_2","volume-title":"On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops","author":"D Vrande\u010di\u0107","year":"2006","unstructured":"Vrande\u010di\u0107, D., Gangemi, A.: Unit tests for ontologies. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM 2006. LNCS, vol. 4278, pp. 1012\u20131020. Springer, Heidelberg (2006). doi: 10.1007\/11915072_2"},{"key":"7_CR21","series-title":"Advances in Soft Computing","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/978-3-540-72575-6_21","volume-title":"Advances in Intelligent Web Mastering","author":"M Granitzer","year":"2007","unstructured":"Granitzer, M., Scharl, A., Weichselbraun, A., Neidhart, T., Juffinger, A., Wohlgenannt, G.: Automated ontology learning and validation using hypothesis testing. In: Wegrzyn-Wolska, K.M., Szczepaniak, P.S. (eds.) Advances in Intelligent Web Mastering. Advances in Soft Computing, vol. 43, pp. 130\u2013135. Springer, Heidelberg (2007)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Lee, S., Bai, X., Chen, Y.: Automatic mutation testing and simulation on OWL-S specified web services. In: Proceedings of the 41st Annual Simulation Symposium (ANSS), pp. 149\u2013156. IEEE (2008)","DOI":"10.1109\/ANSS-41.2008.13"},{"key":"7_CR23","unstructured":"World Wide Web Consortium (W3C): OWL-S: Semantic markup for web services (2004)"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Wang, Y., Bai, X., Li, J., Huang, R.: Ontology-based test case generation for testing web services. In: Proceedings of the 8th International Symposium on Autonomous Decentralized Systems (ISADS), pp. 43\u201350 (2007)","DOI":"10.1109\/ISADS.2007.54"},{"key":"7_CR25","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"RA DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. Computer 11, 34\u201341 (1978)","journal-title":"Computer"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Hamlet, R.G.: Testing programs with the aid of a compiler. IEEE Trans. Softw. Eng. SE-3, 279\u2013290 (1977)","DOI":"10.1109\/TSE.1977.231145"},{"key":"7_CR27","unstructured":"Lipton, R.: Fault diagnosis of computer programs. Technical report. Carnegie Mellon University (1971)"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Ammann, P., Offutt, A.J.: 5. In: Syntax-Based Testing, pp. 170\u2013212. Cambridge University Press, Cambridge (2008)","DOI":"10.1017\/CBO9780511809163.006"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Howden, W.E.: Weak mutation testing and completeness of test sets. IEEE Trans. Softw. Eng. SE-8, 371\u2013379 (1982)","DOI":"10.1109\/TSE.1982.235571"},{"key":"7_CR30","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y Jia","year":"2011","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Trans. Software Eng. 37, 649\u2013678 (2011)","journal-title":"IEEE Trans. Software Eng."},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Offutt, A.J.: A practical system for mutation testing: help for the common programmer. In: Proceedings of the International Test Conference (ITC). IEEE Computer Society, pp. 824\u2013830 (1994)","DOI":"10.1109\/TEST.1994.528535"},{"key":"7_CR32","series-title":"The Springer International Series on Advances in Database Systems","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/978-1-4757-5939-6_7","volume-title":"Mutation Testing for the New Century","author":"AJ Offutt","year":"2001","unstructured":"Offutt, A.J., Untch, R.H.: Mutation 2000: Uniting the orthogonal. In: Wong, W.E. (ed.) Mutation Testing for the New Century. The Springer International Series on Advances in Database Systems, vol. 24, pp. 34\u201344. Springer, US (2001)"},{"key":"7_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-540-85571-2_13","volume-title":"Architecting Dependable Systems V","author":"C Bartolini","year":"2008","unstructured":"Bartolini, C., Bertolino, A., Marchetti, E., Parissis, I.: Data flow-based validation of web services compositions: perspectives and examples. In: Lemos, R., Giandomenico, F., Gacek, C., Muccini, H., Vieira, M. (eds.) WADS 2007. LNCS, vol. 5135, pp. 298\u2013325. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-85571-2_13"},{"key":"7_CR34","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/stvr.308","volume":"15","author":"YS Ma","year":"2005","unstructured":"Ma, Y.S., Offutt, A.J., Kwong, Y.R.: Mujava: an automated class mutation system. Softw. Test. Verification Reliab. 15, 97\u2013133 (2005)","journal-title":"Softw. Test. Verification Reliab."},{"key":"7_CR35","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/227607.227610","volume":"5","author":"AJ Offutt","year":"1996","unstructured":"Offutt, A.J., Lee, A., Rothermel, G., Untch, R.H., Zapf, C.: An experimental determination of sufficient mutant operators. ACM Trans. Softw. Eng. Methodol. (TOSEM) 5, 99\u2013118 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"7_CR36","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1145\/226295.226317","volume":"21","author":"AJ Offutt","year":"1996","unstructured":"Offutt, A.J., Hayes, J.H.: A semantic model of program faults. SIGSOFT Softw. Eng. Notes 21, 195\u2013200 (1996)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"7_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/11787044_28","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"J-M Mottu","year":"2006","unstructured":"Mottu, J.-M., Baudry, B., Traon, Y.: Mutation analysis testing for model transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 376\u2013390. Springer, Heidelberg (2006). doi: 10.1007\/11787044_28"},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Clark, J.A., Dan, H., Hierons, R.M.: Semantic mutation testing. In: Proceedings of the 3rd IEEE International Conference on Software Testing, Verification, and Validation Workshops (ICSTW), pp. 100\u2013109. IEEE (2010)","DOI":"10.1109\/ICSTW.2010.8"},{"key":"7_CR39","unstructured":"Horridge, M., Drummond, N., Goodwin, J., Rector, A., Stevens, R., Wang, H.H.: The manchester OWL syntax. In: OWL: Experiences and Directions Workshop (OWLED) (2006)"},{"key":"7_CR40","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Comput. Surv. 29, 366\u2013427 (1997)","journal-title":"ACM Comput. Surv."},{"key":"7_CR41","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1093\/comjnl\/bxm021","volume":"52","author":"Q Yang","year":"2009","unstructured":"Yang, Q., Jenny Li, J., Weiss, D.M.: A survey of coverage-based testing tools. Comput. J. 52, 589\u2013597 (2009)","journal-title":"Comput. J."},{"key":"7_CR42","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1145\/361219.361222","volume":"18","author":"HF Ledgard","year":"1975","unstructured":"Ledgard, H.F., Marcotty, M.: A genealogy of control structures. Commun. ACM 18, 629\u2013639 (1975)","journal-title":"Commun. ACM"},{"key":"7_CR43","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/356651.356652","volume":"7","author":"JC Huang","year":"1975","unstructured":"Huang, J.C.: An approach to program testing. ACM Comput. Surv. 7, 113\u2013128 (1975)","journal-title":"ACM Comput. Surv."},{"key":"7_CR44","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"TS Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Software Eng. 4, 178\u2013187 (1978)","journal-title":"IEEE Trans. Software Eng."},{"key":"7_CR45","unstructured":"Osterweil, L.J.: Data flow analysis as an aid in documentation, assertion, generation, validation, and error detection. Technical Report CU-CS-055-74, University of Colorado, Boulder, Colorado 80302 (1974)"},{"key":"7_CR46","doi-asserted-by":"crossref","unstructured":"Ammann, P., Offutt, A.J.: 2. In: Graph Coverage, pp. 27\u2013103. Cambridge University Press, Cambridge (2008)","DOI":"10.1017\/CBO9780511809163.003"},{"key":"7_CR47","doi-asserted-by":"crossref","unstructured":"Tikir, M.M., Hollingsworth, J.K.: Efficient instrumentation for code coverage testing. In: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), pp. 86\u201396 (2002)","DOI":"10.1145\/566172.566186"},{"key":"7_CR48","doi-asserted-by":"crossref","unstructured":"Ammann, P., Offutt, A.J.: 8. In: Building Testing Tools, pp. 268\u2013279. Cambridge University Press, Cambridge (2008)","DOI":"10.1017\/CBO9780511809163.009"},{"key":"7_CR49","unstructured":"Bartolini, C., Muthuri, R.: Reconciling data protection rights and obligations: an ontology of the forthcoming EU regulation. In: Proceedings of the Workshop on Language and Semantic Technology for Legal Domain (LST4LD), Recent Advances in Natural Language Processing (RANLP) (2015)"},{"key":"7_CR50","unstructured":"Bartolini, C., Muthuri, R., Santos, C.: Using ontologies to model data protection requirements in workflows. In: Proceedings of the Ninth International Workshop on Juris-informatics (JURISIN), pp. 27\u201340 (2015). Extended version to be published in LNAI book"},{"key":"7_CR51","doi-asserted-by":"crossref","unstructured":"Reding, V.: The upcoming data protection reform for the European Union. International Data Privacy Law (2010)","DOI":"10.1093\/idpl\/ipq007"},{"key":"7_CR52","unstructured":"Rodr\u00edguez-Doncel, V., Santos, C., Casanovas, P.: A model of air transport passenger incidents and rights. In: Proceedings of the 27th International Conference on Legal Knowledge and Information Systems (JURIX), pp. 55\u201360. IOS Press (2014)"},{"key":"7_CR53","unstructured":"Rodr\u00edguez-Doncel, V., Santos, C., Casanovas, P.: Ontology-driven legal support-system in the air transport passenger domain. In: Proceedings of the International Workshop on Semantic Web for the Law (SW4Law) (2014)"},{"key":"7_CR54","unstructured":"World Wide Web Consortium (W3C): RDF 1.1 Turtle (2014)"},{"key":"7_CR55","unstructured":"World Wide Web Consortium (W3C): Sparql query language for rdf (2008)"},{"key":"7_CR56","doi-asserted-by":"crossref","unstructured":"Bartolini, C.: Mutating OWLs: semantic mutation testing for ontologies. In: Proceedings of the workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO), pp. 43\u201353 (2016)","DOI":"10.5220\/0005844600430053"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66302-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T09:10:47Z","timestamp":1570093847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66302-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663012","9783319663029"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66302-9_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}