{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,4,1]]，“日期-时间”：“2022-04-01T00:55:28Z”，“时间戳”：1648774528616}，“参考-计数”：0，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“3”，“许可证”：[{“开始”：{-“日期-零件”：[[2008,5,1]]“：”2008-05-01T00:00:00Z“，”时间戳“：1209600000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，《short-container-title》：[“逻辑编程的理论与实践”]，“published-print”：{“date-parts”：[[2008,5]}，”abstract“：”万维网是当今最著名、最广泛的信息系统。其巨大的规模和增长速度见证了它的成功：然而，网络的同样成功也带来了一种情况，即迫切需要更复杂的技术来正确处理这一海量信息。从这个意义上说，网络进化的更雄心勃勃的计划是所谓的语义网络，这是由网络本身的发明者蒂姆·伯纳斯-雷设想的。在这个架构远景中，需要进一步的语义层，适当地丰富现在溢出经典Web的数据：本体、规则、逻辑、证明、信任都是这幅雄心勃勃的图景的组成部分。考虑到这些前提，这一演变使Web越来越接近另一个领域，这一事实并不令人惊讶，因为很长一段时间以来，它一直面临着知识逻辑组织的类似问题：逻辑编程。早期的例子，如万维网联盟（W3C）中的Metalog系统，表明将逻辑编程与语义网连接起来是一个很自然且富有成效的步骤：事实上，语义网开发研究的爆发最终开始触动，连接并重新解释过去和现在都是逻辑编程领域主流的许多主题。我们认为这是一个必要的进步，因为语义Web，以及更广泛的未来Web，需要从逻辑编程领域的研究中学习很多东西。相反，在这些新的场景中，有许多新的应用问题，从逻辑编程的角度来看，这些问题可能是具有挑战性和回报性的。这需要网络和逻辑编程之间更紧密的交互，这也是激发这一特殊问题的原因：收集能够展示杂交潜力的最佳贡献<\/jats:p>“，”DOI“：”10.1017\/s1471068407003341“，”type“：”journal-article“，”created“：{”date-parts“：[[2008,4,28]]，”date-time“：”2008-04-28T10:24:59Z“，”timestamp“：1209378299000}，”page“：“卷”：“8”，“author“：[{”given“：”MASSIMO“，”family“：”MARCHIORI“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-on-line“：{”date-parts“：[[2008,5,1]]}，”container-title“：[”逻辑编程的理论与实践“]，”original-title”：[]，“language”：“en”，“link”：“[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068407003341，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,3,30]]，“date-time”：”2019-03-30T18:57:54Z“timestamp”：1553972274000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068407003341\/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2008,5]]}，”references-count“：0，”journal-issue“：{”issue“：“3”，”published-print“：”{“date-parts”：[2008,5]}}、“alternative-id”：[“S147106840700700 3341“]，”URL“：”http:\/\/dx.doi.org/10.1017\\s1471068407003341“，“关系”：｛｝，“ISSN”：[“1471-0684”，“1475-3081”]，“ISSN类型”：[｛“值”：“1471-0684”，“类型”：“打印”｝，｛“值”：“1475-3081”，“类型”：“电子”｝]，“主题”：[]，“已发布”：｛“日期部分”：[[2008,5]]｝｝