{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T10:35:00Z”，“时间戳”：1725532500357}，“出版商位置”：“柏林，海德堡”，“参考计数”：24，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783838 642021206“}，{”类型“：“electronic”，“value”：“9783642021213”}]，“license”：[{“start”：{“date-parts”：[[2009,1,1]]，“date-time”：“2009-01T00:00:00Z”，“timestamp”：1230768000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}，{“start”：{“date-ports”：[2009,1]]“2009-01-01T00:00:00Z”，“时间戳”：123076800000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com//tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[2009]]}，”DOI“：”10.1007\/978-3642-02121-3_27“，”type“：”book-capter“，”created“：{“date-part”：[2009,5,20]]，“日期时间”：“2009-05-20T06:58:54Z”，“时间戳”：1242802734000}，“页面”：“338-352”，“源”：“Crossref”，“is-referenced-by-count”：2，“标题”：[“与森林逻辑程序的混合推理”]，“前缀”：“10.1007”，《作者》：[{“给定”：“克里斯蒂娜”，“家族”：“费耶尔”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“斯蒂金”，“家庭”：“海曼斯”，“顺序”：“附加“，”从属关系“：[]}]，“member”：“297”，“reference”：[{“key”：“27_CR1”，“unstructured”：“Baader，F.，Calvanese，D.，McGuinness，D.L.，Nardi，D.，Patel-Schneider，P.F.（eds.）：DL Handbook:Theory，Implementation，and Applications（2003）”}，{“密钥”：“27 _CR2”，“doi-asserted-by”：“publisher”，《首页》：“227”，《doi》：“10.1023\/A:1008687430626”，“volume”：《10》，“author”：“F.Donini”，“年份”：“1998年”，“非结构化”：“Donini，F.，Lenzerini，M.，Nardi，D.，Schaerf，A.：AL-log:集成数据日志和描述逻辑。智能与合作信息系统杂志\u00a010，227\u2013252（1998）”，“期刊标题”：“智能与合作信息系统杂志”}，{“问题”：“12-13”，“密钥”：“27_CR3”，“doi-asserted-by”：“publisher”，“first page”：“1495”，“DOI”：“10.1016\/j.artint.2008.04.002”，“volume”：”172“，“author”：“T.Eiter”，“year”：“2008”，“unstructured”：“Eiter，T.，Ianni，G.，Lukasiewicz，T.、Schindlauer，R.、Tompits，H.：将答案集编程与语义网的描述逻辑相结合。人工智能\u00a0172（12-13），1495\u20131539（2008）”，“journal-title”：“人工智能”}，{“key”：“27_CR4”，“unstructured”：“Feier，C.，Heymans，S.：与森林逻辑程序的混合推理。技术报告Infsys研究报告184-08-14，奥地利维也纳理工大学KBS集团（2008年12月），www.kr.tuwien.ac.at\/staff\/Heymans\/priv\/projects\/fwf-dosap\/eswc2009-tr.pdf”}，｛“key”：“27_CR5”，“doi asserted by”：“crossref”，“nonstructured”：“Feier，C.，Heymans，S.：简单概念逻辑程序的健全完整算法。In：Proc.of ALPSWS 2008（2008）”，“doi”：“10.1007\/978-3-642-05082-4_5”｝，｛“key”：“27_CR6”，“nonstructured”：“Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。In:ICLP 1988 Proc.，pp.1070\u20131080（1988）”}，{“key”：“27_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Grosof，B.N.，Horrocks，I.，Volz，R.，Decker，S.：描述逻辑程序：将逻辑程序与描述逻辑相结合。收录于：万维网会议（WWW），第48\u201357（2003）页”，“DOI”：“10.1145\/77512775160”}，{“issue”：“3”，“key”：“27_CR8”，“first page”：：“Heymans，S.，de Bruijn，J.，Predoiu，L.，Feier，C.，Van Nieuwenborgh，D.：保守的混合知识库。TPLP\u00a08（3），411\u2013429（2008）”，“日志标题”：“TPLP”}，{“问题”：“1\u2013”，“关键”：“27_CR9”，“首页”：“103”，“卷”：“47”，“作者”：“S.Heymans.”，“年份”：“2006”，“非结构化”：“Heymans，S.，Van Nieuwenborgh，D.，Vermeir，D.：概念逻辑程序。数学与人工智能年鉴（答案集编程特刊）\u00a047（1\u20132），103\u2013137（2006）”，“期刊标题”：“数学与人工智能年鉴（回答集编程特辑）”}，{“问题”：“1”，“关键”：“27_CR10”，“doi-asserted-by”：“publisher”，“first page”：“144”，”doi“：”10.1016\/j.jal.2006.02.001“，”volume“：”5“，”author“：”S.Heyman“，”year“：”2007“，”unstructured“：”Heymans，S.，Van Nieuwenborgh，D.，Vermeir，D.：语义网的开放答案集编程。《应用逻辑杂志》\u00a05（1），144\u2013169（2007）“，”journal-title“：”《应用逻辑期刊》}，{“key”：“27_CR11”，“doi asserted by”：“crossref”，“unstructured”：“Heymans，S.，Van Nieuwenborgh，D.，Vermeir，D.：带保护程序的开放答案集编程。ACM Trans.on Comp.Logic\u00a09（4）（2008年10月）”，“doi”：“10.1145\/138052.1380575”｝，｛“key”：“27_CR12”，“doi asserted by”：“crossref”，“首页”：“723”，“doi”：“10.1145\/988672.988771”，“volume-title”：“万维网会议（WWW）议事录”，“author”：“I.Horrocks”，“year”：“2004”，“unstructured”：“Horrockes，I.，Patel-Schneider，P.F.：OWL规则语言的提案。摘自：万维网大会（WWW，Proc.of the World Wide Web Conference），pp.723\u2013731。ACM，New York（2004）“}，{“key”：“27_CR13”，“unstructured”：“Kr\u00f6tzsch，M.，Rudolph，S.，Hitzler，P.：描述逻辑规则。摘自：Proc.18th European Conf.on Artificial Intelligence（ECAI 2008），pp.80\u201384（2008）”}，}，“key“：”27_CR14“非结构化”：“Levy，A.Y.，Rousset，M.：CARIN:一种结合了Horn规则和描述逻辑的表示语言。In：程序。ECAI 1996，第323\u2013327（1996）页“}，{“key”：“27_CR15”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《501》，“doi”：“10.1007\/11926078_36”，“volume-title”：《语义Web-ISWC 2006》，“author”：“B.Motik”，“year”：“2006”，“unstructured”：“Motik，B.，Horrocks，I.，Rosati，R.，Sattler，U.：OWL和逻辑编程能从此幸福地生活在一起吗？收录人：Cruz，I.、Decker，S.、Allemang，D.、Preist，C.、Schwabe，D.、Mika，P.、Uschold，M.、Aroyo，L.M.（编辑）ISWC 2006。LNCS，卷\u00a04273，第501\u2013514页。Springer，Heidelberg（2006）“}，{“key”：“27_CR16”，“unstructured”：“Motik，B.，Rosati，R.：Closing Semantic Web Ontologies.Technical report（2006）”}，}“issue”：“1”，“key“：”27_CR17“，”doi-asserted-by“：”publisher“，”first page“：“41”，“doi”：“10.1016\/j.websem.2005.05.001”，“volume”:“3”，“author”：“B.Motik”，“year”：“2005”，“非结构化“：”Motik，B.，Sattler，U.，Studer，R.：使用规则查询OWL-DL的应答。Web语义杂志\u00a03（1），41\u201360（2005）“，”Journal-title“：”Journal of Web Semantics“}，{“issue”：“1”，“key”：“27_CR18”，“doi-asserted-by”：“publisher”，“first-page”：“41”，“doi”：“10.1016\/j.websem.2005.002”，“volume”：Rosati，R.：关于集成本体论和规则的可判定性和复杂性。Web Semantics \u00a03（1），41\u201360（2005）“，“journal-title”：“Web Semanitis”}，{“key”：“27_CR19”，“unstructured”：“Rosati，R.：DL+log:描述逻辑和析取数据日志的紧密集成。In:《KR和Reas原则国际会议程序》（KR），第68页\u201378（2006）”}、{“密钥”：“27 _ CR20”，“doi-asserted-by”：“crossref”，“非结构化”：“Rosat，R.：关于描述逻辑本体论和非递归数据日志规则的结合。In：程序。第二届网络推理和规则系统国际会议（2008）”，“DOI”：“10.1007\/978-3-540-88737-9_3”}，{“key”：“27_CR21”，“unstructured”：“Smith，M.，Welty，C.，McGuinness，D.：OWL Web本体语言指南（2004），http://www.w3.org\/TR\/OWL-Guide\/”}Tobies，S.：知识表示中逻辑的复杂性结果和实用算法。博士论文，RWTH-Aachen（2001）“}，{“key”：“27_CR23”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”628“，“doi”：“10.1007\/BFb0055090”，“volume-title”：”Automata，Languages and Programming“，”author“M.Y.Vardi”，“year”：“1998”，“unstructured”：“瓦迪，M.Y.：用双向自动机推理过去。收录：Larsen，K.G.，Skyum，S.，Winskel，G.（编辑）ICALP 1998。LNCS，卷\u00a01443，第628页。Springer，Heidelberg（1998）“}，{”key“：”27_CR24“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“514”，”doi“：”10.1007\/978-3-540-75560-9_37“，”volume-title“：“编程逻辑、人工智能和推理”，”author“：”M.\u0160imkus“，”year“：”2007“，”unstructured“：”\u0160imkus，M.，Eiter，T.：$\\mathbb{FDNC}$：带函数符号的可判定非单调析取逻辑程序。收录：Dershowitz，N.，Voronkov，A.（编辑）LPAR 2007。LNCS，第u00a04790卷，第514\u2013530页。Springer，Heidelberg（2007）“}]，“container-title”：[“计算机科学课堂讲稿”，“语义网：研究与应用”]，“original-title“：[]，”link“：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10007\/978-3642-02121-3_27”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，”存放“：{“date-parts”：[[2023,5,25]]，“date-time”：“2023-05-25T03:32:22Z”，“timestamp”：1684985542000}，“score”：1，“resource”：{”primary“：{“URL”：“http://\link.springer.com\/10.1007\/978-3642-02121-3_27”}，”subtitle“：[]，”shorttitle“：[]，“issued”：{“date-parts”：[2009]]}，《ISBN》：[“97836464]2021206“，”9783642021213“]，”references-count“：24，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-642-02121-3_27“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2009]]}}}}