摘要
Tableau算法是本体推理部分描述逻辑中用于ABox一致性检验的算法,基于二值逻辑,不能完成多值概念的一致性检测。将粗糙逻辑的基本思想植入描述逻辑体系中,并改进了Tableau算法,使粗糙描述逻辑能够完成对粗糙概念的推理任务,为基于语义的本体知识检索奠定了技术基础。
Tableau Algorithm is used for the uniformity testing in ontology knowledge reasoning of DLs, which is based on two-value logics, it can not realize the uniformity testing for multiple-valued concepts. This paper took the fundamental ideal to the system of DLs, improved Tableau Algorithm by introducing approximate precision for the target of completing the reasoning assignments of RDLS to rough concepts, Which laid the foundation for 0ntology-based semantic knowledge retrieval technology.
出处
《贵州师范大学学报（自然科学版）》
CAS
2013年第1期40-43,共4页
Journal of Guizhou Normal University：Natural Sciences
基金
河北省自然科学基金(A2011209046
GR(k))资助
