{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T12:24:08Z”，“时间戳”：1725539048956}，“出版商位置”：“柏林，海德堡”，“参考计数”：17，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783839”642050817“}，{”类型“：“electronic”，“value”：“9783642050824”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2009]]}，”DOI“：”10.1007\/978-3642-05082-4_5“，”type“：”book-capter“，”created“：”{“date-part”：[2009,10,14]]，“date-time”：“2009-10-14T02:19:58Z“，”时间戳“：1255486798000}，”页面“：”55-70“，“source”：“Crossref”，“由count引用”：1，“title”：[“简单概念逻辑程序的推理器”]，“prefix”：“10.1007”，“author”：[｛”给定的：“Stijn”，“family”：“Heymans”，“sequence”：“first”，“affiliation”：[]｝，｛”给定的：“Cristina”，“family”：“Feier”，“sequence”：“additional”，“affiliation”：[]｝，｛”给定的：“Thomas”，“family”：“Eiter”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“5_CR1”，“unstructured”：“RacerPro 1.9.0。Racer Systems GmbH&Co.KG，http://www.Racer-Systems.com/index.phtml“}，{”key“：”5_CR2“，”unstructured“：”BProlog 7.1。Afany软件，http://www.probp.com/“}，{“volume-title”：“描述逻辑手册：理论、实现和应用”，“年份”：“2003”，“关键字”：“5_CR3”，“非结构化”：“Baader，F.，Calvanese，D.，McGuinness，D.L.，Nardi，D.，Patel-Schneider，P.F.（eds.）：描述逻辑手册：理论、实现和应用。剑桥大学出版社，剑桥（2003）“}，{”issue“：“12-13”，”key“：“5_CR4”，”doi-asserted-by“：”publisher“，”first page“：”1495“，”doi“：”10.1016\/j.artint.2008.04.002“，”volume“：Eiter，T.、Ianni，G.、Lukasiewicz，T.，Schindlauer，R.、Tompits，H.：将答案集编程与语义网的描述逻辑相结合。人工智能\u00a0172（12-13），1495\u20131539（2008）“，”杂志标题“：”人工智能“}，{“key”：“5_CR5”，“unstructured”：“Feier，C.，Heymans，S.：简单概念逻辑程序的完善算法。技术报告INFSYS研究报告184-08-10，奥地利维也纳技术大学KBS集团（2008年10月），http://www.kr.tuwien.ac.at\/staff\/heymans\/priv\/projects\/fwf-dosap\/alpsws2008-tr.pdf“}，{“key”：“5_CR6”，“unstructured”：“Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。In:1988年ICLP Proc.，Cambridge，Massachusetts，pp.1070\u20131080（1988）”}，}，“key“：”5_CR7“，”doi-asserted-by“：”crossref“，“first page”：“48”，“DOI“：”10.1145\/775152.775160“，”volume-title“：”Proc。《万维网会议（WWW）》，“作者”：“B.N.Grosof”，“年份”：“2003年”，“非结构化”：“Grosof，B.N.，Horrocks，I.，Volz，R.，Decker，S.：描述逻辑程序：将逻辑程序与描述逻辑相结合。In：程序。万维网会议（WWW），第48\u201357页。ACM，New York（2003）“}，{”issue“：“3”，”key“：“5_CR8”，”doi-asserted-by“：”publisher“，”first page“：”411“，”doi“：”10.1017\/S1471068407003201“，”volume“：Heymans，S.、de Bruijn，J.、Predoiu，L.、Feier，C.、Van Nieuwenborgh，D.：保守的混合知识库。逻辑程序设计理论与实践\u00a08（3），411\u2013429（2008）”，“期刊标题”：“逻辑程序设计的理论与实践”}，{“问题”：“1\u2013”，“关键”：“5_CR9”，“首页”：“103”，“卷”：“47”，“作者”：“S.海曼斯”，“年份”：“2006”，“非结构化”：“Heymans，S.，Van Nieuwenborgh，D.，Vermeir，D.：概念逻辑程序。数学与人工智能年鉴（答案集编程专刊）\u00a047（1\u20132），103\u2013137（2006）“，“期刊标题”：“数学与人工智力年鉴（回答集编程专版）”}，{“问题”：“1”，“关键”：“5_CR10”，“doi-asserted-by”：“出版商”，“首页”：“144”，“doi”：“10.1016\/j.jal.2006.02.001“，”volume“：”5“，”author“：”S.Heymans“，”year“：”2007“，”unstructured“：”Heyman，S.，Van Nieuwenborgh，D.，Vermeir，D.：语义网的开放答案集编程。应用逻辑杂志\u00a05（1），144\u2013169（2007）“，”Journal-title“：”Journal of Applied Logic“}，{“key”：“5_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Heymans，S.，Van Nieuwenborgh，D.，Vermeir，D.：用保护程序进行开放答案集编程。ACM计算逻辑事务（TOCL）\u00a 09（4）（2008年10月）”，“doi”：“10.1145\/1380572.1380575“}，{”key“：”5_CR12“，”first page“：“80”，”volume-title“：”Proc.18th European Conf.on Artificial Intelligence（ECAI 2008）“，”author“：”M.Kr\u00f6tzsch“，”year“：”2008“，”unstructured“：”Kr\u00 f6tzzch，M.，Rudolph，S.，Hitzler，P.：描述逻辑规则。In:Proc.18st Europeans Conf.on.Artificular Intelligational Intelligation（ECAI2008）第80页\u201384。IOS出版社，阿姆斯特丹（2008）“}，{“key”：“5_CR13”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《384》，“doi”：“10.1007\/978-3-540-72667-8_28”，“volume-title”：《语义网：研究与应用》，“author”：“T.Lukasiewicz”，“year”：“2007”，“unstructured”：“Lukasiewicz，T.：语义网的答案集编程与描述逻辑的新颖组合。收录：Franconi，E.，Kifer，M.，May，W.（编辑）ESWC 2007。LNCS，第u00a04519卷，第384\u2013398页。Springer，Heidelberg（2007）“}，{”issue“：”1“，”key“：”5_CR14“，”doi-asserted-by“：”crossref“，”first-pages“：”41“，”doi“：”10.1016\/j.websem.2005.05.001“，”volume“：“3”，”author“：”B.Motik“，”year“：”2005“，”unstructured“：”Motik，B.，Sattler，U.，Studer，R.：用规则查询OWL-DL。Web语义杂志\u00a03（1），41\ u201360（2005）“，”期刊标题：“journal of Web Semantics”｝，｛“key”：“5_CR15”，“nonstructured”：“Rosati，R.:DL+log:描述逻辑和析取数据日志的紧密集成。In：Proc.KR，pp.68\u201378（2006）”｝，｛“issue”：“1”，“key”：“5_CR16”，“doi asserted by”：“crossref”，“首页”：“61”，“doi”：“10.1016\/j.websem.2005.05.0002”，“volume”：“3”，“author”：“R.Rosati”，“年份”：“2005”，“非结构化”：“Rosati，R.：关于集成本体和规则的可决策性和复杂性。《网络语义学杂志》\u00a03（1），61\u201373（2005）“，”期刊标题“：《网络语意学杂志》}，{“key”：“5_CR17”，“unstructured”：“Tobies，S.：知识表示中逻辑的复杂性结果和实用算法。博士论文（2001）”}]，“container-title”：[“计算机科学课堂讲稿”，“Web推理和规则系统”]，“original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-05082-4.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,10,12]，”date-time“：“2021-10-12T06:16:58Z”，”timestamp“：1634019418000}，”score“：1，“资源”：{“主资源”：}URL“：”http://\/link.springer.com/10.1007\/978-3642-05082-4_5“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2009]]}，“ISBN”：[“9783642050817”，“978364 2050824”]，“references-count”：17，“URL”：“http://\/dx.doi.org\/10007\/978-3642-5082-4_5”，“relation”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“键入“：”electronic“，”value“：”1611-3349“}]，”subject“：[]，”published“：{”date-parts“：[[2009]]}}