Research and implementation based on description logics reasoning mechanism

Ontology is becoming one of the important research point in the area of the semantic web, which is enable to fulfill knowledge appearance, information retrieval and search. And as the basis of ontology description language, description logics are the formal tool of knowledge representation and reasoning, providing strong capabilities of representation and effective reasoning service mechanism, which have been extensively applied to various fields of computer science. This paper detailedly studies the theory of description logic and its reasoning mechanism using in book-system ontology construction, and finally testifies the practical reasoning in the process of the concrete ontology construction.