Graph-based ontology checking

Despite the growing availability of ontologies, the reuse of existing ontologies is often not possible without con-siderable effort. When one wants to reuse an ontol-ogy by importing it into ontology editors, the import process is not always successful due to an ill-formed content. Many existing ontology editors provide consis-tency detection by connecting to a reasoner, and high-lighting the inconsistencies. However, no explanation nor functionalities are provided for users to correct the problems. In this paper we introduce a graph-based approach to checking ontology inconsistencies, imple-mented in our tool, ReTAX++. The system not only highlights the inconsistencies in an ontology by inter-acting with a reasoner, but also provides facilities for users to resolve the problems. By formalising an on-tology as a graph, we check which relationships of the inconsistent concepts may cause the contradiction, and a number of options to resolve the problems are pro-vided. Currently, we only focus on disjointedness and complement contradictions