阿娜·索菲亚·戈麦斯;何塞·朱利奥·阿尔弗雷斯;Swift,Terrance公司 混合MKNF知识库查询应答的目标导向实现。 (英语) Zbl 1286.68427号 理论与实践。日志。程序。 14,第2期,239-264(2014). 摘要:在知识表示形式中,本体论和规则通常是松散耦合的。事实上,本体使用开放世界推理,而规则的主要语义使用非单调的封闭世界推理。一个例外是最小知识和否定即失败(MKNF)的紧密耦合框架,它允许通过本体论的蕴涵和规则的推论联合派生关于个人的语句。尽管如此,MKNF的实际用途并不总是很清楚,尽管最近的工作已经形式化了一种基于解析的通用方法,用于在规则具有良好的语义且本体由通用预言机建模时查询MKNF。这项工作留下了待解决的问题,即应该使用什么算法来关联本体的蕴涵和规则的推论。在本文中,我们提供了这样的算法,并描述了一个查询驱动系统CDF-Rules的实现,该系统用于混合知识库,该混合知识库结合了良好语义下的(非单调)规则和由一致描述框架Type-1((mathcal{ALCQ})理论表示的(单调)本体。 引用于1文件 MSC公司: 68立方英尺 知识表示 68N17号 逻辑编程 68问题55 计算理论中的语义学 关键词:知识表示;基础良好的语义学;描述逻辑;实施 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Gomes}等人,《理论与实践》。日志。程序。14,第2号,239--264(2014;Zbl 1286.68427) 全文: 内政部 参考文献: [1] Meersman,《本体论、数据库和语义应用国际会议论文集》,第671页–(2003年) [2] Veloso,《国际人工智能联合会议论文集》第477页(2007年) [3] de la Banda,《逻辑编程国际会议论文集》第455页–(2008) [4] Mylopoulos,《国际人工智能联合会议论文集》第381页(1991年) [5] 内政部:10.1016/j.artint.2011.01.007·Zbl 1225.68249号 ·doi:10.1016/j.artint.2011.01.007 [6] Ghallab,《欧洲人工智能会议记录》,第99页–(2008) [7] DOI:10.1093/log.com/9.3.267·Zbl 0940.03038号 ·doi:10.1093/log.com/9.3.267 [8] 沃伦,逻辑编程国际会议第579页–(1990) [9] Cruz,《国际语义网络会议论文集》,第501页–(2006年) [10] 数字对象标识码:10.1007/b102922·doi:10.1007/b102922 [11] 内政部:10.1007/978-3-540-92673-3·Zbl 1429.68001号 ·doi:10.1007/978-3-540-92673-3 [12] Dubois,《知识表示和推理原则国际会议论文集》第141页–(2004) [13] 内政部:10.1007/978-3-540-72982-2·Zbl 1147.68308号 ·doi:10.1007/978-3-540-72982-2 [14] 内政部:10.1145/227595.2275957·Zbl 0882.68050号 ·数字对象标识代码:10.1145/227595.227597 [15] 内政部:10.2753/JEC1086-4415120204·doi:10.2753/JEC1086-4415120204 [16] DOI:10.1016/j.websem.2012.03.001·doi:10.1016/j.websem.2012.03.001 [17] 知识表示、推理和陈述性问题解决(2002) [18] 《描述逻辑手册:理论、实现和应用》(2007)·Zbl 1132.68055号 [19] Silberschatz,ACM数据库系统原理会议论文集,第1页–(1989) [20] DOI:10.1017/S1471068411000500·Zbl 1244.68021号 ·doi:10.1017/S1471068411000500 [21] 内政部:10.1007/b94792·数字对象标识代码:10.1007/b94792 [22] 人工智能48 pp 1–(1990)·Zbl 0723.68106号 [23] Aberer,《国际语义网络会议/亚洲语义网络会议论文集》,第816页–(2007年) [24] ACM期刊38第620页–(1991) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。