| 非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算(英文) |
| |
| 引用本文： | 吴尽昭,侯晖,李绍荣. 非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算(英文)[J]. 电子科技大学学报(社会科学版), 2009, 0(5) |
| |
| 作者姓名： | 吴尽昭 侯晖 李绍荣 |
| |
| 作者单位： | 电子科技大学光电信息学院;中国科学院成都计算机应用研究所; |
| |
| 基金项目： | 863 Program(2007AA01Z143)~~ |
| |
| 摘 要： | 源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义网目标的人工智能(AI)本体论研究。语义网的知识和数据量巨大、分散、来源众多且因此通常不具有协调性。因此,必须开发针对非协调本体的实用的推理技术。该文基于Hunter的拟经典逻辑(QCL),构造了新型超协调拟经典描述逻辑(QCDLs),避免了逻辑爆炸问题,同时,针对基于非周期TBox的知识库推理问题,建立了QCDLs语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架。与其他重要的超协调描述逻辑进行了比较,结果表明QCDLs具有更强的表达语义和推理能力,并且其相关行为在目标层次上表现出经典性。
|
| 关 键 词： | 非周期TBox 超协调推理 QCDLs 语义网 表演算 |
Quasi-Classical Description Logics and Paraconsistent Tableau Calculus for Reasoning with Acyclic TBox |
| |
| WU Jin-zhao,HOU Hui,, LI Shao-rong. Quasi-Classical Description Logics and Paraconsistent Tableau Calculus for Reasoning with Acyclic TBox[J]. Journal of University of Electronic Science and Technology of China(Social Sciences Edition), 2009, 0(5) |
| |
| Authors: | WU Jin-zhao HOU Hui LI Shao-rong |
| |
| Affiliation: | WU Jin-zhao1,HOU Hui2,, LI Shao-rong1 (1.School of Optoelectronic Information,University of Electronic Science , Technology of China Chengdu 610054 2.Chengdu Institute of Computer Applications,Chinese Academy of Sciences Chengdu 610041) |
| |
| Abstract: | |
| |
| Keywords: | acyclic TBox paraconsistent reasoning QCDLs semantic Web tableau calculus |
| 本文献已被 CNKI 等数据库收录！ |
|
