Mutating OWLs: Semantic Mutation Testing for Ontologies

Ontologies are an essential component of semantic knowledge bases and applications, and nowadays they are used in a plethora of domains. Despite the maturity of ontology languages, support tools and engineering techniques, the testing and validation of ontologies is a field which still lacks consolidated approaches and tools. This paper attempts at partly bridging that gap, taking a first step towards the extension of mutation testing techniques to ontologies expressed in a widely-used format. Mutation testing techniques, revisited in the light of the peculiar features of the ontology language and structure, can help in the engineering and refinement of ontologies and software

[1]  Li Ma,et al.  Towards a Complete OWL Ontology Benchmark , 2006, ESWC.

[2]  Eva Blomqvist,et al.  Ontology Testing - Methodology and Tool , 2012, EKAW.

[3]  Dieter Pfoser.  Indexing the Trajectories of Moving Objects , 2002 .

[4]  Yinong Chen,et al.  Automatic Mutation Testing and Simulation on OWL-S Specified Web Services , 2008, 41st Annual Simulation Symposium (anss-41 2008).

[5]  A. Jefferson Offutt,et al.  A semantic model of program faults , 1996, ISSTA '96.

[6]  A. J. Offutt.  A practical system for mutation testing: help for the common programmer , 1994, Proceedings., International Test Conference.

[7]  Aldo Gangemi,et al.  Modelling Ontology Evaluation and Validation , 2006, ESWC.

[8]  Pompeu Casanovas,et al.  Ontology-Driven Legal Support-System in the Air Transport Passenger Domain , 2014, SW4LAW+DC@JURIX.

[9]  A. Jefferson Offutt,et al.  MuJava: an automated class mutation system , 2005, Softw. Test. Verification Reliab..

[10]  E. Prud hommeaux,et al.  SPARQL query language for RDF , 2011 .

[11]  Pompeu Casanovas,et al.  A model of Air Transport Passenger Incidents and Rights , 2014, JURIX.

[12]  Alan L. Rector,et al.  Debugging OWL-DL Ontologies: A Heuristic Approach , 2005, SEMWEB.

[13]  William E. Howden,et al.  Weak Mutation Testing and Completeness of Test Sets , 1982, IEEE Transactions on Software Engineering.

[14]  A. Jefferson Offutt,et al.  Mutation 2000: uniting the orthogonal , 2001 .

[15]  Ian Horrocks,et al.  What Are Ontologies Good For , 2013 .

[16]  Frank van Harmelen,et al.  Web Ontology Language: OWL , 2004, Handbook on Ontologies.

[17]  Asunción Gómez-Pérez,et al.  Validating Ontologies with OOPS! , 2012, EKAW.

[18]  Abraham Otero,et al.  OntologyTest: A Tool to Evaluate Ontologies through Tests Defined by the User , 2009, IWANN.

[19]  Paul Ammann,et al.  Syntax-Based Testing , 2008 .

[20]  Mark Harman,et al.  An Analysis and Survey of the Development of Mutation Testing , 2011, IEEE Transactions on Software Engineering.

[21]  Richard G. Hamlet,et al.  Testing Programs with the Aid of a Compiler , 1977, IEEE Transactions on Software Engineering.

[22]  Eda Marchetti,et al.  Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples , 2008, WADS.

[23]  John A. Clark,et al.  Semantic mutation testing , 2013, Sci. Comput. Program..

[24]  Aldo Gangemi,et al.  Unit Tests for Ontologies , 2006, OTM Workshops.

[25]  Yves Le Traon,et al.  Mutation Analysis Testing for Model Transformations , 2006, ECMDA-FA.

[26]  Gregg Rothermel,et al.  An experimental determination of sufficient mutant operators , 1996, TSEM.

[27]  Viviane Reding.  The Upcoming Data Protection Reform for the European Union , 2011 .

[28]  Cesare Bartolini,et al.  Reconciling Data Protection Rights and Obligations: An Ontology of the Forthcoming EU Regulation , 2015 .

[29]  Deborah L. McGuinness,et al.  An Environment for Merging and Testing Large Ontologies , 2000, KR.

[30]  Robert Stevens,et al.  The Manchester OWL Syntax , 2006, OWLED.

[31]  Asunción Gómez-Pérez,et al.  Common Pitfalls in Ontology Development , 2009, CAEPIA.

[32]  Luciano Serafini,et al.  An Ontological Framework for Decision Support , 2012, JIST.

[33]  Vijayan Sugumaran,et al.  A semiotic metrics suite for assessing the quality of ontologies , 2005, Data Knowl. Eng..

[34]  Arno Scharl,et al.  Automated Ontology Learning and Validation Using Hypothesis Testing , 2007, AWIC.

[35]  Richard J. Lipton,et al.  Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.

[36]  Cristiana Santos,et al.  Using Ontologies to Model Data Protection Requirements in Workflows , 2015, JSAI-isAI Workshops.

[37]  Edith Schonberg,et al.  A View of OWL From the Field: Use-cases and Experiences , 2006, OWLED.

[38]  M R Quillian,et al.  Word concepts: a theory and simulation of some basic semantic capabilities. , 1967, Behavioral science.