DL的推理服务主要有概念包含测试(Subsumption Test)和知识库的一致性检测(Consistency Check)[3],本文所涉及的推理主要是包含检测。一般地,基于DL的知识库含有大量的公理(Axiom),这些公理用来标识概念之间包含关系。
基于6个网页-相关网页
知识库的一致性检测
Consistency detection of the knowledge base
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动