An Ontology Analysis Implementation in Constraint Logic Programming

Ontologies establish a common and unambiguous terminology for knowledge formal representation and (semi-) automatic reasoning, being gradually applied in Semantic Web services. OntoClean, on the other hand, is a methodology that addresses the creation of clean ontologies, i.e. the creation of taxonomic hierarchies to model properly the concepts in the domain of discourse. Due the lack of stable implementations in the literature, this paper presents an OntoClean implementation in Constraint Handling Rules (CHR), a Constraint Programming Prolog extension. Furthermore, it is proposed in an unprecedented way an evaluation for a Legal Ontology, highlighting the meta properties tagging for some domain concepts.