Communication orale non publiée/Abstract (Colloques, congrès, conférences scientifiques et actes)
Mutating OWLs: semantic mutation testing for ontologies
BARTOLINI, Cesare
2016 • International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO), in conjunction with the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
[en] 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 based on them.
Disciplines :
Sciences informatiques
Auteur, co-auteur :
BARTOLINI, Cesare ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
Mutating OWLs: semantic mutation testing for ontologies
Date de publication/diffusion :
19 février 2016
Nombre de pages :
11
Nom de la manifestation :
International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO), in conjunction with the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
