The Research of Semantic Query Method Based on Formalized Domain Ontology

At present, knowledge-based query processing methods are classified as "global as view" and "local as view". The semantic query method based on formal domain ontology proposed by this paper has expanded to these suggestions, Not only making domain description and the query being used more accurate, but also supporting query optimization based on axiom.