Ontology and its inferencing capabilities are critical for the modern semantic web. Ontology validation is necessary due to the uncertainty of the Description Logic based inferences. Ontology validation should be independent of DL reasoners. To overcome this uncertainty of concepts and instances inference results, in this paper we describes some of the formal ontology validation methods based on the sequent logic and simple conceptual graphs.
I. INTRODUCTIONThere is no doubt that future of Internet is based on the semantic web technology [1] which is more intelligent than current. The hart of the semantic web is based on the ontology. The abstract characterization of the ontology is the Description Logic [2], [3] (DL). Therefore, DL can be used to define specification for an ontology. For example, specification for Web services personalization ontology [4]. According to the [5], an ontology is a specification of a conceptualization. The common question is how to debug ontologies because all the systems need to be debugged while being developed. Debugging is common nature of the all software applications which can not be avoided intentionally. DL reasoners [6] perform a considerable variety of inference types, most of the results are unpredictable. For example, as explained in the [7]