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 language, 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.