论文部分内容阅读
为了提高基于描述逻辑的知识库检索的效率，提出了断言图的概念和基于断言图匹配的检索方法。断言图是带有标签的有向图，基于断言图匹配的检索方法首先利用给定规则对基于描述逻辑的知识库和查询请求中的量化符号进行处理，然后转换成有向的知识断言图和查询断言图，最后利用图的遍历算法实现基于描述逻辑知识库检索．实验表明，该方法能够明显提高知识库检索的效率，其执行效率比当前流行的RACER和KAON2分别提高了0．4％和3．3％．