This paper analyzes the principle of semantic reasoning about DL, and discusses the issues such as the importance and implemental technologies of consistent test and subsuming test based on DL reasoning in the process of Ontology canstruction. Finally, performes and testifies the practical reasoning tasks about a concrete Ontology construction.
聂卉,龙朝晖 . 描述逻辑语义推理机制的应用研究[J]. 现代图书情报技术, 2006, 1(11): 61-64.
Nie Hui,Long Zhaohui . Semantic Reasoning Based on Description Logic in Ontology Construction. New Technology of Library and Information Service, 2006, 1(11): 61-64.