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 n...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.展开更多
文摘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.