Study on Diseases Reasoning and Diagnosis System Based on Domain Ontology