Tableau Algorithm based Ontology T-Box Reasoning and Culprit Axioms Detection System

Ontologies has been more complicated, many person and cost are required into ontology construction process. Therefore, ontology builders have a possibility to make mistake when they are building ontologies. It is important that problems to occur in ontology construction process are detecting and debugging. Moreover, it is very important that implicity subsumption relations between concepts to compose ontology are inferred. The aim of this paper is implementing a reasoner which find inconsistency concepts, find all causes for unsatisfiable concepts and infer subsumption relations between concepts in ontology. In this paper, we propose HAL which detect unsatisfiable concepts in OWL-DL based ontologies, find all axioms responsible for these concepts and infer subsumption relations. Thus, HAL can be helped building ontology and implementing ontology based service application.