Study of Semantic reasoning based on ontology description logic

With the rapid development of Internet, the semantic Web is being doubly paid close attention as new generation Web, because Semantic interpretation and reasoning are the keys to be solved in the Semantic Web. In order to solve this problem, based on the concept and the principle of ontology language and description logic foundation, have brought forward one kind of new method: let the body express language and describe that the logic combines each other, be that semantic speculate rationality and validity have provided guarantee thereby. The principle of Semantic reasoning about DL is analyzed, and the issues are discussed such as the importance and implemental technologies of consistent test and subsuming test based on DL reasoning in the process of ontology construction. Finally, the fruits domains main body being taken as the example of ontology construction, the practical reasoning tasks about a constructs are performed and testified.