| Tableau算法在粗逻辑知识推理中的应用 |
| |
| 引用本文： | 阎红灿,闫宏图,刘保相.Tableau算法在粗逻辑知识推理中的应用[J].贵州师范大学学报(自然科学版),2013,31(1):40-43. |
| |
| 作者姓名： | 阎红灿 闫宏图 刘保相 |
| |
| 作者单位： | 1. 河北联合大学理学院,河北唐山,063009
2. 中海石油(中国)有限公司天津分公司,天津,300452 |
| |
| 基金项目： | 河北省自然科学基金(A2011209046,GR(k))资助 |
| |
| 摘 要： | Tableau算法是本体推理部分描述逻辑中用于ABox一致性检验的算法,基于二值逻辑,不能完成多值概念的一致性检测。将粗糙逻辑的基本思想植入描述逻辑体系中,并改进了Tableau算法,使粗糙描述逻辑能够完成对粗糙概念的推理任务,为基于语义的本体知识检索奠定了技术基础。
|
| 关 键 词： | 描述逻辑 粗糙逻辑 Tuableau算法 知识推理 |
Research on application of Tuableau algorithm in rough-logical knowledge reasoning |
| |
| YAN Hong-can
,
YAN Hong-tu
,
LIU Bao-xiang.Research on application of Tuableau algorithm in rough-logical knowledge reasoning[J].Journal of Guizhou Normal University(Natural Sciences),2013,31(1):40-43. |
| |
| Authors: | YAN Hong-can YAN Hong-tu LIU Bao-xiang |
| |
| Institution: | 1*(1.Science College,Hebei United University,Tangshan,Hebei 063009,China; 2.CNOOC(China) Co.,Ltd.Tianjin Branch,Tianjian 300452,China) |
| |
| Abstract: | 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 Ontology-based semantic knowledge retrieval technology. |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
