一个Ontology,用于推理机,protege格式,可导出为OWL格式