The consistency checking and integration of ontology

The World Wide Web is an open repository with lots of information, in which the ontologies can help users to get their required information. There are varies of ontologies in the WWW reference, ontologies can be reused by others to implement interoperability of them. As the rapid evolution and autonomy of Web ontonolgies, how to integrate ontologies becomes the key to reuse Web ontologies. This paper presents a method of mapping ontologies to first order logic. Then, it also presents methods to cheek the ontologies´ consisteney and integrate the ontologies based on the former method..