The method of ontology compositon on Web

WWW is an open and distribute environment, which contains a lot of information, it helps the user to get information from the network through the using of ontology. There are lots of ontology with different version on the WWW, and it can achieve interoperate and reusing between ontology by reference relationship. For the WWW is increasing rapidly and the Web ontology has the independent character, So how to compose ontology to support the reuse of Web ontology becomes a key issue. Our propose a method to transform the representation of ontology into first-order predicate logic, and then to check the consistency between the ontology and its referred ontology, and put forward the method of how to compose web ontology by the end.