Affiliations: Wroclaw University of Science and Technology, Faculty of Computer Science and Management, Department of Software Engineering, Wroclaw, Poland
Correspondence:
[*]
Corresponding author. Bogumiła Hnatkowska, Wroclaw University of Science and Technology, Faculty of Computer Science and Management, Department of Software Engineering, Wyb. Wyspiańskiego 27, 50-370 Wroclaw, Poland. Tel.: +48 71 320 24 66; E-mail: Bogumila.Hnatkowska@pwr.edu.pl.
Abstract: Ontologies can be used to represent the semantics of the information interchanged between heterogeneous information systems. Their quality expressed regarding 3C: consistency, completeness, and conciseness, is of primary importance. The paper defines a set of static semantics rules for evaluating the quality of ontology defined with the use of a meta-model. The rules themselves are expressed formally in OCL language. The meta-model and the rules were successfully implemented in the checker tool and used for verification of SUMO ontology. Results show that the files that constitute two upper layers of SUMO ontology suffer from some errors which should be eliminated. The ontology verification method together with the tool can also be applied for SUMO domain ontologies as well as be adapted for other ontologies.
