Authors:
Alex Mateus Porn
and
Leticia Mara Peres
Affiliation:
Federal University of Paraná, Brazil
Keyword(s):
Ontology, Semantic, Mutation.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Biomedical Engineering
;
Data Engineering
;
Enterprise Information Systems
;
Health Information Systems
;
Information Systems Analysis and Specification
;
Knowledge Engineering and Ontology Development
;
Knowledge Management
;
Knowledge-Based Systems
;
Ontologies and the Semantic Web
;
Ontology Engineering
;
Society, e-Business and e-Government
;
Software Engineering
;
Symbolic Systems
;
Web Information Systems and Technologies
Abstract:
Ontologies are structures used to represent a specific knowledge domain. There is not a right way of defining
an ontology, because its definition depends on its purpose, domain, abstraction level and a number of ontology
engineer choices. Therefore, a domain can be represented by distinct ontologies in distinct structures and,
consequently, they can have distinct results when classifying and querying information. In light of this, faults
can be accidentally inserted during its development, causing unexpected results. In this context, we propose
semantic mutation operators and apply a semantic mutation test method to OWL ontologies. Our objective is
to reveal semantic fault caused by poor axiom definition automatically generating test data. Our method
showed semantic errors which occurred in OWL ontology constraints. Eight semantic mutation operators
were used and we observe that is necessary to generate new semantic mutation operators to address all OWL
language features.