为了提高基于描述逻辑的知识库检索的效率,提出了断言图的概念和基于断言图匹配的检索方法。断言图是带有标签的有向图,基于断言图匹配的检索方法首先利用给定规则对基于描述逻辑的知识库和查询请求中的量化符号进行处理,然后转换成有向的知识断言图和查询断言图,最后利用图的遍历算法实现基于描述逻辑知识库检索.实验表明,该方法能够明显提高知识库检索的效率,其执行效率比当前流行的RACER和KAON2分别提高了0.4%和3.3%.
To promote the efficiency of knowledge base retrieval based on description logic, the concept of assertional graph (AG), which is directed labeled graph, is defined and a new AG-based retrieval method is put forward. This method converts the knowledge base and query clause into knowledge AG and query AG by making use of the given rules and then makes use of graph traversal to carry out knowledge base retrieval. The experiment indicates that the efficiency of this method exceeds, respectively, the popular RACER and KAON2 system by 0.4% and 3.3%. This method can obviously promote the efficiency of knowledge base retrieval.