{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,2,14]]，“日期时间”：“2023-02-14T08:52:45Z”，“时间戳”：1676364765837}，“出版商位置”：“柏林，海德堡”，“参考计数”：22，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540287933”，“类型”：“打印”}，{“值”：“9783540320289”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/1155222_5“，”type“：”book-capter“，”created“：”{“date-part”：[2005,9,27]]，“date-time”：“2005-09-27T13:55:35Z”，“时间戳”：1127829335000}，“页面”：“42-49”，“源”：“Crossref”，“is-referenced-by-count”：6，“title”：[“语义网逻辑语言十篇论文”]，“prefix”：“10.1007”，《author》：[{“given”：“Fran\u00e7ois”，“family”：“Bry”，“sequence”：“first”，“affiliation”：[]}，{“given”:“Massimo”，“家族”：“Marchiori”，{“键”：“5_CR1”，“doi-asserted-by”：“crossref”，“unstructured”：“Babu，S.，Widom，J.：数据流上的连续查询。SIGMOD记录（2001）”，“doi”：“10.1145\/603867.603884”}，{“key”：“5_CR2”，“doiasserted-by“：”crossref.“，”unstructure“：”Bailey，J.，Bry，F.，P\u0103tr\u00e2njan，P.-L.：Web上反应性的复合事件查询。In:Proc.14th Int。万维网会议（2005）”，“DOI”：“10.1145\/1062745.1062879”}，{“key”：“5_CR3”，“volume-title”：“OPS5中的编程专家系统：基于规则的编程简介”，“author”：“L.Brownston”，“year”：“1985”，“unstructured”：“Brownston，L.，Farrell，R.，Kant，E.，Martin，N.：OPS5中的编程专家系统：基于规则的编程导论。Addison-Wesley，Reading（1985）“}，{“key”：“5_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Bry，F.，Coskun，F.、Durmaz，S.，Furche，T.，Olteanu，D.，Spannagel，M.：XML流查询处理器SPEX.In:Proc.21st Int.Conf.on Data Engineering，ICDE（2005）”，“doi”：“10.1109\/ICDE.2005.141”}，}，“key“：”5_CR5“，”doi-assert-by“：“交叉引用”，“非结构化“：”Bry，F.，P\u0103tr\u00e2njan，P.-L.：《网络上的反应：XChange语言的范式和应用》。In：程序。第20届ACM年度交响曲。应用计算，SAC（2005）“，”DOI“：”10.1145\/106677.1067051“}，{”issue“：”3“，”key“：”5_CR6“，”DOI-asserted-by“：”publisher“，”first page“：“187”，“DOI”：“10.1016\/0743-1066（93）90039-J”，“volume”：“15”，“author”：“W.Chen”，“year”：“1993”，“unstructured”：“Chen，W.，Kifer，M.，Warren，D.S.：HILOG：高阶逻辑编程的基础。熟练工人。《逻辑编程》\u00a015（3），187\u2013230（1993），“期刊标题”：“Jour。逻辑编程“}，{“key”：“5_CR7”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0023798”，“volume-title”：《逻辑编程的非单调扩展》，“author”：“J.Dix”，“year”：“1997”，“unstructured”：“Dix，J.，Pereira，L.M.，Przymusinski，T.C.：逻辑编程非单调扩展的论文选集。收录人：Dix，J.、Przymusinski，T.C.、Moniz Pereira，L.（编辑）NMELP 1996。LNCS，卷\u00a01216。Springer，Heidelberg（1997）“}，{“key”：“5_CR8”，“doi-asserted-by”：“crossref”，“doi”：“10.7551\/mitpress\/313.001.0001”，“volume-title”：“From Logic to Logic Programming”，“author”：“K.Doets”，“year”：“1994”，“unstructured”：“Doets，K.：From Logic-Programming.MIT Press，Cambridge（1994）”}，“key“：”“5_CR”，“series-title”：”《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：“1”，“doi”：“10.1007\/3-540-48958-4_1”，《volume-title》：“Logic-Based Program Synthesis and Transformation”，“author”：“N.E.Fuchs”，“year”：“1999”，“unstructured”：“Fuchs，N.E.，Schwertel，U.，Schwitter，R.：尝试控制英语\u00a0\u2013不仅仅是另一种逻辑规范语言。摘自：Flener，P.（编辑）LOPSTR 1998。LNCS，卷\u00a01559，第1页。Springer，Heidelberg（1999）“}，{”issue“：”3“，”key“：”5_CR10“，”doi-asserted-by“：”crossref“，”first page“：“620”，“doi”：“10.1145\/116825.16838”，“volume”：“38”，”author“：”A.Gelder Van“，”year“：”1991“，”unstructured“：”Van Gelder，A.，Ross，K.A.，Schlipf，J.S.：通用逻辑程序的良好语义。Jour.ACM\u00a038（3），620\u2013650（1991）“，”新闻标题“：”Jour。ACM“｝，｛“key”：“5_CR11”，“nonstructured”：“Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。In：Proc.Int.Conf.and Symp.Logic Programming（1988）”｝，｛“key”：“5_CR12”，“系列标题”：“模型理论基础”一章，“首页”：“47”，“卷标题”：“数理逻辑手册”，“作者”：“J.Keisler”，“年份”：“1989”，“非结构化”：“Keisler，J.：数理逻辑手册。第47章模型理论基础，pp.47\u2013103。North-Holland，Amsterdam（1989）“}，{”key“：”5_CR13“，”unstructured“：”Manthey，R.：“数据库系统中的主动和被动规则：它们如何相互关联。in:Proc.1st Workshop on Advances in Databases and Information Systems（1994）”}，“”key”：“5_CR14”，“”doi-asserted-by“”：“crossref”，“unstructure”：“”Manthey，R.，Bry，F.：SATCHMO：在Prolog中实现的定理证明程序。In：程序。第九届自动演绎大会（1988）”，“DOI”：“10.1007\/BFb0012847”}，{“key”：“5_CR15”，“unstructured”：“Marchiori，M.，Saarela，J.：查询+元数据+逻辑\u00a0=Metalog。In:Proc.QL 1998，查询语言研讨会（1998），http://www.w3.org\/TandS\/QL\/QL98\/”}“publisher”，“first page”：“1”，“DOI”：“10.1016\/0304-3975（77）90053-6“，“卷”：“4”，“作者”：“R.Milner”，“年份”：“1977”，“非结构化”：“Milner，R.：类型化的Fuly抽象模型\u03bb-Calculi。理论计算机科学\u00a04（1），1\u201322（1977）“，”journal-title“：”Theoryal Computer Science“}，{“key”：“5_CR17”，“doi-asserted-by”：“crossref”，“unstructured”：“Nguyen，B.，Abiteboul，S.，Cobena，G.，Preda，M.：监视Web上的XML数据。In:Proc.ACM SIGMOD Intl.Conf.on Management of Data（2001）”，“doi”：“10.1145\/375663.375723”}，}“”key“：”5_CR18“，”doi-asserted-by“：”crossref“，”unstructured“：”Pandey，S.，Ramamritham，S.C.K.：监视动态Web以响应连续查询。In：程序。第十二届国际互联网会议（2003）“，”DOI“：”10.1145\/775152.775245“}，{“key”：“5_CR19”，“DOI-asserted-by”：“crossref”，“unstructured”：“Robie，J.：句法Web：Web上的语法和语义。In:Proc.XML Conf.and Exposition（2001）”，“DOI”：“10.1162\/109966202760152176”}，“issue”：“4”，“key“：”“5_CR20”，“first page”：”333“，”卷“：”1“，”作者“：”M.E.Stickel”，“年份”：“1985年”，“非结构化”：“Stickel，M.E.：通过理论解析进行自动演绎。熟练工人。自动推理\u00a01（4），333\u2013355（1985）“，”期刊标题“：”Jour。自动推理“}，{“key”：“5_CR21”，“doi-asserted-by”：“crossref”，“unstructured”：“Stickel，M.E.：Prolog技术定理证明程序：由扩展Prolog计算机实现。自动推理Jour.（1988）”，“doi”：“10.1007\/BF00297245”}，}，”key“：”5_CR22“，”doi-assert-by“：”crossref.“，“非结构化”：“Terry，D.，Goldberg，D.，Nichols，D.，Oki，B.：仅附加数据库的连续查询。In：程序。ACM SIGMOD Int.Conf.on Management of Data（1992）“，”DOI“：”10.1145\/130283.130333“}]，”container-title“：[”Semantic Web Reasoning的原理与实践“，”计算机科学课堂讲稿“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10007\/1155222_5.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”相似性检查“}]，”存放“：{”日期部分“：[[2020,11,17]]，”日期时间“：”2020-11-17T19:43:38Z“，”时间戳“：1605642218000}，”分数“：1，”资源“：{primary”：{“URL”：“http://link.sprimary.com\/10007\/1155222_5”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“日期部分”：[2005年]]}，“ISBN”：[“9783540287933”，“978354320289”]，“references-count“：22，”URL“：”http://\/dx.doi.org\/10.1007\/115522225_5“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“”，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2005】】}}}