摘要:As the core of knowledge representation, reasoning plays an important role in the Semantic Web. In this paper, introduce Description Logic as the theoretical foundation of reasoning in the Semantic Web and OWL which needs to be expressive enough for representing knowledge and computationally tractable for inference of large-scale applications. Then construct an ontology model depicted with OWL by protégé and Jena API , and also prove the validity of reasoning with the model.