非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算 | |
吴尽昭 ; 侯晖 ; 李绍荣 | |
2014-09-29 ; 2014-09-29 | |
关键词 | 非周期TBox 超协调推理 QCDLs 语义网 表演算 |
其他题名 | Quasi-Classical Description Logics and Paraconsistent Tableau Calculus for Reasoning with Acyclic TBox |
中文摘要 | 源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义网目标的人工智能(AI)本体论研究。语义网的知识和数据量巨大、分散、来源众多且因此通常不具有协调性。因此,必须开发针对非协调本体的实用的推理技术。该文基于Hunter的拟经典逻辑(QCL),构造了新型超协调拟经典描述逻辑(QCDLs),避免了逻辑爆炸问题,同时,针对基于非周期TBox的知识库推理问题,建立了QCDLs语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架。与其他重要的超协调描述逻辑进行了比较,结果表明QCDLs具有更强的表达语义和推理能力,并且其相关行为在目标层次上表现出经典性。; 国家863计划(2007AA01Z143) |
语种 | 英语 |
出版者 | 电子科技大学学报 |
其他责任者 | 电子科技大学光电信息学院 ; 中国科学院成都计算机应用研究所 |
内容类型 | 期刊论文 |
源URL | [http://ir.calis.edu.cn/hdl/530500/745] ![]() |
专题 | 广西民族大学 |
推荐引用方式 GB/T 7714 | 吴尽昭,侯晖,李绍荣. 非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算[J],2014, 2014. |
APA | 吴尽昭,侯晖,&李绍荣.(2014).非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算.. |
MLA | 吴尽昭,et al."非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算".(2014). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论