×
王一松;你，嘉慧;袁丽燕;沈毅东;张明义

描述逻辑程序基于循环公式的语义。 （英语） Zbl 1255.68149号

西奥。计算。科学。 415, 60-85 (2012).
本文讨论了所谓描述逻辑程序的语义。这些是由托马斯·艾特（Thomas Eiter）及其合著者定义的语言工具，通过将一个相当经典的逻辑编程设置与描述逻辑层相结合而获得。这种集成旨在为基于描述逻辑的本体提供演绎能力。本文讨论的主题是一个相关的主题，因为dl-programs之类的形式主义可能会在未来的Webx.0定义中发挥关键作用。特别是，本文首先展示了一个有趣的结果，即dl程序的答案集严格对应于它们的完成和循环公式的模型（类似的结果适用于经典逻辑程序）。然后，本文提出了dl-programs的另一种语义，称为规范答案集语义，并讨论了它的一些有趣的形式属性，包括与FLP-语义的比较。
这篇论文在技术上相当密集，但对结果进行了充分的介绍和评论。总的来说，这是一篇有趣的文章，供对语义Web的一般领域感兴趣的研究人员阅读，更具体地说，这是基于逻辑编程的方法。
审核人：Luigi Palopoli（效果图）

引用于2文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
第68页第27页 人工智能中的逻辑
68N17号 逻辑编程
68立方英尺 知识表示

关键词：

语义网;答案集编程;描述逻辑程序;循环公式

软件：

L解析;亚萨特
PDF格式BibTeX公司 XML格式引用
\textit{Y.Wang}等人，Theor。计算。科学。415、60-85（2012年；Zbl 1255.68149）
全文： 内政部 arXiv公司

参考文献：

[1] M.阿巴迪。；Cardelli，L.，《对象理论》（1996），Springer·兹比尔0876.68014
[2] 巴德，F。；Calvanee，D。；McGuinness，D.L。；Nardi，D。；Patel-Schneider，P.F.，《描述逻辑手册：理论、实现和应用》（2007），剑桥大学出版社：纽约剑桥大学出版社·Zbl 1132.68055号
[3] Berners-Lee，T。；亨德勒，J。；Lassila，O.，《语义网》，《科学美国人杂志》，284，34-43（2001）
[4] Brewka，G。；Eiter，T.，异质非单调多上下文系统中的平衡，（第二十届人工智能AAAI会议论文集。第二十届AAAI人工智能会议论文集，2007（2007），AAAI出版社：加拿大不列颠哥伦比亚省温哥华AAAI出版公司），385-390
[5] J.de Bruijn，T.Eiter，A.Poleres，H.Tompits，《将非地面逻辑程序嵌入知识库组合的自认知逻辑》，载于：《国际人工智能联合会议论文集》，IJCAI-07，印度海得拉巴，2007年，第304-309页。；J.de Bruijn，T.Eiter，A.Poleres，H.Tompits，《将非地面逻辑程序嵌入知识库组合的自认知逻辑》，载于：《国际人工智能联合会议论文集》，IJCAI-07，印度海得拉巴，2007年，第304-309页·Zbl 1351.68273号
[6] de Bruijn，J。；皮尔斯，D。；Poleres，A。；Valverde，A.，《量化均衡逻辑和混合规则》（Web推理和规则系统，第一届国际会议，RR 2007）。网络推理与规则系统，第一届国际会议，RR 2007，计算机科学讲义，第4524卷（2007年），施普林格：施普林格-因斯布鲁克，奥地利），58-72·Zbl 1147.68308号
[7] Calimeri，F。；费伯，W。；塞拉利昂，北卡罗来纳州。；Perri，S.，《具有聚合的逻辑程序的声明性和计算性》，（《第十九届国际人工智能联合会议论文集》，第十九届人工智能国际联合会议论文，2005（2005），专业图书中心：爱丁堡专业图书中心，苏格兰，英国），406-411
[8] 艾特，T。；伊安尼，G。；Lukasiewicz，T。；辛德劳，R。；Tompits，H.，《将答案集编程与语义网络描述逻辑相结合》，《人工智能》，1721495-1539（2008）·Zbl 1183.68595号
[9] 艾特，T。；Ianni，G。；辛德劳，R。；Tompits，H.，《答案编程中高阶推理和外部评估的统一集成》，（第十九届国际人工智能联合会议论文集（IJCAI 2005）（2005），专业图书中心：英国苏格兰爱丁堡专业图书中心），90-96
[10] Faber，W。；塞拉利昂，北卡罗来纳州。；Pfeifer，G.，《析取逻辑程序中的递归聚合：语义和复杂性》，（人工智能中的逻辑，第九届欧洲会议，JELIA 2004）。人工智能中的逻辑，第九届欧洲会议，JELIA 2004，计算机科学讲义，第3229卷（2004），Springer:Springer Lisbon，葡萄牙），200-212·Zbl 1111.68380号
[11] Ferraris，P.，命题理论的答案集，（逻辑程序设计与非单调推理，第八届国际会议。逻辑程序设计和非单调推理。第八届世界会议，LPNMR 2005。逻辑程序设计与非单调推理，第八届国际会议。逻辑编程和非单调推理，第八届国际会议，LPNMR 2005，计算机科学讲稿，第3662卷（2005），Springer:Springer-Diamante，意大利），119-131·Zbl 1152.68408号
[12] Ferraris，P.，《带有命题连接词和聚合的逻辑程序》，《ACM计算逻辑学报》（TOCL），第12期，第25期（2011年），第1-25:40页·Zbl 1351.68053号
[13] 芬克，M。；Pearce，D.，描述逻辑程序的逻辑语义，（人工智能中的逻辑——第12届欧洲会议，JELIA 2010）。人工智能中的逻辑——第12届欧洲会议，JELIA 2010，计算机科学讲义，第6341卷（2010），Springer:Springer-Helsinki，芬兰），156-168·Zbl 1306.68007号
[14] 霍洛克斯，I。；Patel-Schneider，P.F.，关于OWL公司规则语言，（第13届万维网国际会议论文集（WWW 2004）（2004），ACM：美国纽约州纽约市ACM），723-731
[15] Lee，J。；Meng，Y.，带变量的循环公式，（第十一届知识表示与推理原则国际会议论文集（KR 2008）（2008），AAAI出版社：澳大利亚悉尼AAAI出版公司），444-453
[16] 塞拉利昂，北卡罗来纳州。；Pfeifer，G。；Faber，W。；艾特，T。；Gottlob，G。；佩里，S。；Scarcello，F.，《用于知识表示和推理的dlv系统》，ACM计算逻辑事务，7499-562（2006）·兹比尔1367.68308
[17] 林，F。；Zhao，Y。，亚萨特：通过计算逻辑程序的答案集坐人工智能求解器，157115-137（2004）·Zbl 1085.68544号
[18] 刘，G。；You，J.-H.，Lparse programs reviewed：Semantics and representation of aggregate，（逻辑编程，第24届国际会议（ICLP 2008））。逻辑编程，第24届国际会议（ICLP 2008），计算机科学讲义，第5366卷（2008），施普林格：施普林格乌丁，意大利），347-361·兹比尔1185.68167
[19] Lukasiewicz，T.，《答案集编程与语义网描述逻辑的新型组合》，IEEE知识与数据工程学报，221577-1592（2010）
[20] 马雷克，V.W。；Truszczynski，M.，《稳定模型和替代逻辑编程范式》，（Apt，K.；Marek，V.；Truszzynsky，M.；Warren，D.，《逻辑编程范式：25年展望》（1999），Springer-Verlag:Springer-Verlag Berlin），375-398·Zbl 0979.68524号
[21] 马雷克，V.W。；Truszczynski，M.，《具有抽象约束原子的逻辑程序》，（第十九届全国人工智能会议论文集，第十六届人工智能创新应用会议（AAAI 2004）（2004），AAAI出版社：美国加利福尼亚州圣何塞市AAAI Press），86-91
[22] 莫蒂克，B。；Rosati，R.，《协调描述逻辑和规则》，ACM杂志，57，1-62（2010）·Zbl 1327.68257号
[23] Niemelä，I.，《以稳定模型语义作为约束编程范式的逻辑程序》，《数学与人工智能年鉴》，25，241-273（1999）·Zbl 0940.68018号
[24] Rosati，R.，论本体论和规则集成的可决策性和复杂性，网络语义学杂志，3，61-73（2005）
[25] 罗萨蒂，R。，分力+log:描述逻辑与析取数据日志的紧密结合，（《第十届知识表示与推理原理国际会议论文集》（KR2006）（2006），AAAI出版社：英国AAAI出版湖区），68-78
[26] 沈义德。；You，J.-H.，《抽象约束逻辑程序的广义gelfond-lifschitz变换》，（第二十届AAAI人工智能会议论文集（2007年），AAAI出版社：不列颠哥伦比亚省温哥华AAAI出版公司），483-488
[27] 沈义德。；你，J.-H。；袁丽英，具有任意约束原子的逻辑程序的稳定模型语义特征，逻辑程序设计理论与实践，9529-564（2009）·Zbl 1177.68042号
[28] 儿子，T.C。；彭泰利，E。；Tu，P.H.，具有任意抽象约束原子的逻辑程序的答案集，《人工智能研究杂志》，29，353-389（2007）·Zbl 1182.68044号
[29] T.Syrjänen，Lparse 1.0用户手册，2000年，http://www.tcs.hut.fi/Software/smodels/; T.Syrjänen，Lparse 1.0用户手册，2000年，http://www.tcs.hut.fi/Software/smodels/
[30] Van Gelder，A。；Ross，K.A。；Schlipf，J.S.，《通用逻辑程序的良好语义》，《ACM杂志》，38，620-650（1991）·兹比尔0799.68045
[31] W3C OWL工作组，2009年，OWL 2 Web本体语言：文档概述，http://www.w3.org/TR/owl2-overview网站/; W3C OWL工作组，2009年，OWL 2 Web本体语言：文档概述，http://www.w3.org/TR/owl2-overview网站/
[32] 王毅，J.-H.You，L.Yuan，沈永德，描述逻辑程序的循环公式，收录于：逻辑程序设计理论与实践，第26届国际会议。逻辑编程会议（ICLP’10）专刊，2010年10月，第531-545页。；王毅，J.-H.You，L.Yuan，沈永德，描述逻辑程序的循环公式，收录于：逻辑程序设计理论与实践，第26届国际会议。逻辑编程会议（ICLP’10）专刊，2010年10月，第531-545页·Zbl 1209.68102号
[33] 你，J.-H。；Liu，G.，具有任意约束原子的逻辑程序的循环公式，（第二十届AAAI人工智能会议论文集。第二十届人工智能AAAI会议论文集，2008（2008），AAAI出版社：美国伊利诺伊州芝加哥AAAI出版公司），584-589
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。