An Improved Logic-Based Implementation to Ontology Assessment

With the advent of the Semantic Web, ontology engineering has produced thousands of conceptual models. In this context, ontological evaluation is a crucial and imperative task, enabling reuse and the models’ evolution. Several frameworks have been proposed in the literature for quality and correctness assessment as OntoClean, a very subjective methodology based on the user’s knowledge to ascertain meta properties to the concepts of ontology, in order to find out disparities with respect the real domain. Unfortunately, OntoClean only applies to Ontologies whose concepts were completely labeled by the user. Due to the lack of stable OntoClean implementations and the imposed limitation, this paper presents an implementation in a general Constraint Logic-based language, which is still useful to partially labeled ontologies. At the end, some of scalability and efficiency tests are demonstrated.