非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算

• 作者: 侯晖 吴尽昭 李绍荣
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 非周期TBox 超协调推理 QCDLs 语义网 表演算
• 年，卷（期）: 2009,（5）
• 页码范围: 656-668
• 页数: 13页
• 分类号: TN959.3
• 字数: 3280字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2009.05.025

摘要

源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理.各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义网目标的人工智能(AI)本体论研究.语义网的知识和数据量巨大、分散、来源众多且因此通常不具有协调性.因此,必须开发针对非协调本体的实用的推理技术.该文基于Hunter的拟经典逻辑(QCL),构造了新型超协调拟经典描述逻辑(QCDLs),避免了逻辑爆炸问题,同时,针对基于非周期TBox的知识库推理问题,建立了QCDLs语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架.与其他重要的超协调描述逻辑进行了比较,结果表明QCDLs具有更强的表达语义和推理能力,并且其相关行为在目标层次上表现出经典性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李绍荣	电子科技大学光电信息学院	34	234	7.0	14.0
2	吴尽昭	电子科技大学光电信息学院	7	39	2.0	6.0
3	侯晖	中国科学院成都计算机应用研究所	1	2	1.0	1.0