Construction of Ontology formalized model
Formalization of Ontology is one of the hotspot and difficulty in the study of Ontology. For the order sorted logic can better reflect the different understanding of the natural languge, it is in favor of the formal reasoning of Ontology. So construct an Ontology formalized model using the order sorted logic. It has an important practical significance for the realization of automatic web resources processing.