Formalisms for ontology validation

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.