×

混合MKNF知识库查询应答的目标导向实现。 (英语) Zbl 1286.68427号

摘要:在知识表示形式中,本体论和规则通常是松散耦合的。事实上,本体使用开放世界推理,而规则的主要语义使用非单调的封闭世界推理。一个例外是最小知识和否定即失败(MKNF)的紧密耦合框架,它允许通过本体论的蕴涵和规则的推论联合派生关于个人的语句。尽管如此,MKNF的实际用途并不总是很清楚,尽管最近的工作已经形式化了一种基于解析的通用方法,用于在规则具有良好的语义且本体由通用预言机建模时查询MKNF。这项工作留下了待解决的问题,即应该使用什么算法来关联本体的蕴涵和规则的推论。在本文中,我们提供了这样的算法,并描述了一个查询驱动系统CDF-Rules的实现,该系统用于混合知识库,该混合知识库结合了良好语义下的(非单调)规则和由一致描述框架Type-1((mathcal{ALCQ})理论表示的(单调)本体。

MSC公司:

68立方英尺 知识表示
68N17号 逻辑编程
68问题55 计算理论中的语义学
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。