{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,3,30]]，“日期时间”：“2022-03-30T20:55:50Z”，“时间戳”：1648673750846}，“发布者位置”：“查姆”，“引用计数”：43，“发布商”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783030297640”，“类型”：”打印“}，{“值”：“9783030297657”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2019,1,1]]，“date-time”：“2019-01-01T00:00:00Z”，“timestamp”：1546300800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”用法：{“date-parts”：[2019]]}，“DOI”：“10.1007\/978-3-030-29765-7_18”，“type”：“book-chapter”，“created”：{”date-part“：[[2019,9,3]]，“date-time”：“2019-09-03T19:03:54Z”，“timestamp”：1567537434000}，”page“：”212-225“，”update-policy“http://dx.DOI.org\/10.10007\/springer_crossmark_policy”，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“关于本体论中例外的推理：多参考语义的近似”]，“前缀”：“10.1007”，“作者”：[{“给定”：“劳拉”，“家族”：“佐丹奴”，“序列”：“第一”，“从属”：[]}，{“给出”：“瓦伦蒂娜”，“家庭”：“Gliozzi”，“sequence”：“additional”，“affiliation”：[]}]，“成员”：“297”，“在线发布”：{“日期段”：[2019,9,4]]}、，“reference”：[{“key”：“18_CR1”，“doi-asserted-by”：“publisher”，《doi》：“10.1017\/CBO9780511711787”，“volume-title”：“The Description Logic Handbook-Theory，Implementation，and Applications”，“author”：“F Baader”，“year”：“2007”，“unstructured”：“Baader，F.，Calvanee，D.，McGuinness，D.L.，Nardi，D.，Patel-Schneider，P.F.：《描述逻辑手册-理论、实现和应用》，第二版，剑桥大学出版社，纽约（2007）”，“版本”：“2”}，{“问题”：“1”，“关键”：“18_CR2”，“doi-asserted-by”：“出版商”，“首页”：“41”，“doi”：“10.1007\/BF00881830”，“卷”：“15”，“author”：“F Baader”，“year”：“1995”，“unstructured”：“Baader，F.，Hollander，B.：先决条件默认的优先级，及其在处理术语默认逻辑中的特殊性中的应用。J.Autom.Reason.（JAR）15（1），41\u201368（1995）”，“journal-title”：“J.Autom.Reason”}，{“key”：“18_CR3”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“17”，“doi”：“10.1007\/BFb0028177”，“volume-title”：“推理和不确定性的符号和定量方法”，“author”：“S Benferhat”，“year”：“1993”，“unstructured”：“Benferhat，S.，Dubois，D.，Prade，H.：可能性逻辑：从非单调性到逻辑编程。收录：Clarke，M.，Kruse，R.，Moral，S.（编辑）ECSQARU 1993。LNCS，第747卷，第17\u201324页。斯普林格，海德堡（1993）。https:\/\/doi.org\/10.1007\/BFb0028177“}，{”key“：”18_CR4“，”doi-asserted-by“：”publisher“，”first page“：“197”，”doi“：”10.1016\/j.artint.2019.04.01“，“volume”：“274”，“author”：“PA Bonati”，“year”：“2019”，“unstructured”：“Bonati，P.A.：所有描述逻辑的理性闭包。Artif.Intel.274，197\u2013223（2019）“，”journal-title“：”Artif.Intell.“}，{”key“：”18_CR5“，”doi asserted by“：”publisher“，”first page“：”1“，”doi“：”10.1016\/j.artin.2014.12.010“，”volume“：”222“，”author“：”PA Bonatti“，”year“：”2015“，”unstructured“：”Bonatti，P.A.，Faella，M.，Petrova，I.，Sauro，L.：一种用于覆盖描述逻辑的新语义。Artif公司。智力。222，1\u201348（2015）“，“新闻标题”：“文章。智力。“}，{”key“：”18_CR6“，”first page“：“719”，“volume”：“42”，“author”：“PA Bonatti”，“year”：“2011”，“unstructured”：“Bonatti，P.A.，Faella，M.，Sauro，L.：低复杂性DLs中的可击败包裹体。J.Artif.Intell.Res.（JAIR）42，719\u2013764（2011）”，“journal title”：“J.Artif.Intell.Res.doi-asserted-by“：”publisher“，”第一页“：”717“，”DOI“：”10.1613\/jair.2763“，”volume“：”35“，”author“：”PA Bonatti“，”year“：”2009“，”unstructured“：”Bonati，P.A.，Lutz，C.，Wolter，F.：DLs中界限的复杂性。J.阿蒂夫。智力。Res.（JAIR）35，717\u2013773（2009）“，“期刊标题”：“J.Artif。智力。Res.（JAIR）“}，{”key“：”18_CR8“，”doi-asserted-by“：”crossref“，”first page“：“85”，”doi“：”10.1016\/j.artint.2017.04.01“，“volume”：“248”，“author”：“PA Bonatti”，“year”：“2017”，“unstructured”：“Bonati，P.A.，Sauro，L.：关于非单调描述逻辑DL$${}^{\\text{N}$N的逻辑性质。Artif公司。智力。248，85\u2013111（2017）“，“新闻标题”：“文章。智力。“}，{”key“：”18_CR9“，”doi-asserted-by“：”publisher“，”first page“：“72”，“doi”：“10.1016\/j.artint.2017.12.005”，“volume”：“257”，“author”：“L Bozzato”，“year”：“2018”，“unstructured”：“Bozzato，L.，Eiter，T.，Serafini，L.：用合理的例外增强上下文知识库。Artif.Intellic.257，72\u2013126（2018）”，“journal-title”：“”Artif公司。智力。“}，{”key“：”18_CR10“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“114”，”doi“：”10.1007\/978-3319-90050-6_7“，”volume-title“：“信息与知识系统基础”，”author“：”K Britz“，”year“：”2018“，”unstructured“：”Britz，K.，Varzinczak，I.：可撤销包容的合理性和背景。收件人：Ferrarotti，F.，Woltran，S.（编辑）FoIKS 2018。LNCS，第10833卷，第114\u2013132页。查姆施普林格（2018）。https:\/\/doi.org\/10007\/978-3-319-90050-6_7“}，{“key”：“18_CR11”，“unstructured”：“Britz，A.，Varzinczak，I.：可定义ALC的上下文理性闭包（扩展摘要）。摘自：第32届描述逻辑国际研讨会论文集，挪威奥斯陆，2019年6月18日\u201321日（2019年）”}，}Britz，K.，Heidema，J.，Meyer，T.：语义优先包容。摘自：Brewka，G.，Lang，J.（编辑）《知识表示和推理原则：第十一届国际会议论文集》（KR 2008），澳大利亚悉尼，2008年9月，第476\u2013484页。AAAI出版社（2008）“}，{“key”：“18_CR13”，“series-title”：“计算机科学课堂讲稿（人工智能课堂讲稿）”，“doi-asserted-by”：“publisher”，“first page”：”92“，”doi“：”10.1007\/978-3319-11558-0_7“，”volume-title“：”Logics in Artificial Intelligence“，”author“：”G Casini“，“year”：“2014”，“unstructured”：“Casini，G.，Meyer，T.，Moodley，K.，Nortj\u00e9，R.：相关闭包：描述逻辑的一种新的可判定推理形式。收录：Ferm\u00e9，E.，Leite，J.（编辑）JELIA 2014。LNCS（LNAI），第8761卷，第92\u2013106页。施普林格，查姆（2014）。https:\/\/doi.org\/10.1007\/978-3-319-11558-0_7“}，{“key”：“18_CR14”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“409”，“doi”：“10.1007\/9783-319-25010-6_27”，“volume-title”：《语义网-ISWC 2015》，“author”：“G Casini”，年：“2015”，“非结构化”：“Casini，G.，Meyer，T.，Moodley，K.，Sattler，U.，Varzinczak，I.：将可解除性引入OWL本体论。摘自：Arenas，M.等人（编辑）ISWC 2015。LNCS，第9367卷，第409\u2013426页。查姆施普林格（2015）。https:\/\/doi.org\/10007\/978-3-319-25010-6_27“}，{“key”：“18_CR15”，“unstructured”：“Casini，G.，Meyer，T.，Varzinczak，I.J.，Moodley，K.：描述逻辑中的非单调推理：ABox的理性闭包。摘自：DL 2013，第26届描述逻辑国际研讨会，CEUR研讨会论文集第1014卷，第600\u2013615页。CEUR-WS.org（2013）“}，{”key“：”18_CR16“，”series-title“：”计算机科学讲稿（人工智能讲稿）“，”doi-asserted-by“：”publisher“，”first page“：“77”，”doi“：”10.1007\/978-3642-15675-5_9“，”volume-title“：Casini，G.，Straccia，U.：可废止描述逻辑的理性闭包。收录：Janhunen，T.，Niemel\u00e4，I.（编辑）JELIA 2010。LNCS（LNAI），第6341卷，第77\u201390页。施普林格，海德堡（2010）。https:\/\/doi.org\/10.1007\/978-3642-15675-5_9“}，{“key”：“18_CR17”，“unstructured”：“Casini，G.，Straccia，U.：基于可失效继承的描述逻辑。In:Walsh，T.（ed.）《第二十二届国际人工智能联合会议（IJCAI 2011）会议记录》，西班牙巴塞罗那，2011年7月，第813\u2013818页。Morgan Kaufmann（2011）“}，{“key”：“18_CR18”，“unstructured”：“Casini，G.，Straccia，U.：可废止描述逻辑的词汇闭包。收录于：《澳大利亚本体论研讨会论文集》，第969卷，第28\u201339页（2012）”}，}，“key“：”18_CR19“，”doi-asserted-by“：”publisher“，”first page“：“415”，“doi”：“10.1613\/jair.4062”，“volume”：”48“，”author“：”G Casini”，“年份”：“2013年”，“非结构化”：“Casini，G.，Straccia，U.：基于可失效继承的描述逻辑。J.阿蒂夫。智力。Res.（JAIR）48，415\u2013473（2013）“，“期刊标题”：“J.Artif。智力。Res.（JAIR）“}，{”issue“：”2“，”key“：”18_CR20“，”doi-asserted-by“：”publisher“，”first page“：“177”，“doi”：“10.1145\/505372.505373”，“volume”：“3”，”author“：”FM Donini“，”year“：”2002“，”unstructured“：”Donini，F.M.，Nardi，D.，Rosati，R.：描述最小知识和否定作为失败的逻辑。ACM Trans.Compute.Logic（ToCL）3（2），177\u.2013225（2002）“，”journal-title“：”ACM事务处理。计算。Logic（ToCL）“}，{”issue“：”2“，”key“：”18_CR21“，”doi-asserted-by“：”publisher“，”first page“：“11”，“doi”：“10.1145\/1877714.1877717”，“volume”：“12”，“author”：“T Eiter”，“year”：“2011”，“unstructured”：“Eiter，T.，Ianni，G.，Lukasiewicz，T.（2），11（2011）“，“日记标题”：“ACM Trans。计算。日志。“}，{”issue“：”12\u201313“，”key“：”18_CR22“，”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.：将答案集编程与语义网的描述逻辑相结合。Artif公司。智力。172（12\u201313），1495\u20131539（2008）“，“新闻标题”：“Artif。智力。}，{“key”：“18_CR23”，“unstructured”：“Fernandez-Gil，O.：关于非单调描述逻辑ALC+T${}_{\\text{min}}$$min。CoRR，abs\/1404.6566（2014）“}，{“key”：“18_CR24”，“series-title”：“计算机科学课堂讲稿（人工智能课堂讲稿）”，“doi-asserted-by”：“publisher”，“first page”：《248》，“doi”：“10.1007\/978-3-319-25252-0_27”，“volume-title”：《智能系统基础》，“author”：“L Giordano”，“year”：“2015”，“unstructured”：“Giordano，L.，Gliozzi，V.：将描述逻辑$$\\cal{SROIQ}$$SROIQ的优先扩展编码为$$\\cal{SROIQ}$$SROIQ。收录人：Esposito，F.，Pivert，O.，Hacid，M.-S.，Ra\u015b，Z.W.，Ferilli，S.（编辑）ISMIS 2015。LNCS（LNAI），第9384卷，第248\u2013258页。查姆施普林格（2015）。https:\/\/doi.org\/10.1007\/978-3-319-25252-0_27“}，{“key”：“18_CR25”，“unstructured”：“Giordano，L.，Gliozzi，V.：本体论中异常的推理：从词典学闭包到怀疑论闭包。CoRR，abs\/1807.02879（2018）”}，}，[key“：”18_CR26“非结构化”：“Giordano，L.，Gliozzi，V.：本体论中关于例外的推理：从词典闭包到怀疑闭包。摘自：关于偏好、不确定性和模糊性推理的逻辑第二次研讨会论文集，IJCAR的PRUV2018年，英国牛津，2018年7月19日，{“key”：“18_CR29”，“doi-asserted-by”：“crossref”，“first-pages”：“1”，“doi”：“10.3233\/FI-2009-182”，“volume”：”96“，“author”：“L Giordano”，“year”：“2009”，“unstructured”：“Giodano，L.，Gliozzi，V.，Olivetti，N.，Pozzato，G.L.：ALC+T：描述逻辑的优先扩展。Fundamental Informaticae 96，1\u201332（2009）”，“journal-title”：“Fundamenta Informaticae”}，{“key”：“18_CR30”，“doi-asserted-by”：“publisher”，“first page”：”165“，“doi”：“10.1016\/j.artint.2012.10.004”，“volume”：第195页，“author”：“L Giordano”，“year”：“2013”，“unstructured”：“佐丹奴，L.，Gliozzi，V.，Olivetti，N.，Pozzato，G.L.：关于典型性推理的非单调描述逻辑。Artif.Intell.195，165\u2013202（2013）”，“期刊标题”：“Artif.Intell.”}，{“key”：“18_CR31”，“doi-asserted-by”：“publisher”，“first page”：第1页，“doi”：“10.1016\/j.artint.2015.05.001”，“卷”：“226”，“作者”：“L Giordano“，”年份“：”2015年“，“非结构化”：“Giordano，L.，Gliozzi，V.，Olivetti，N.，Pozzato，G.L.：理性闭包的语义表征：从命题逻辑到描述逻辑。Artific.Intell.226，1\u201333（2015）”，“期刊标题”：“Artific.Intell.”}，{“key”：“18_CR32”，“非结构化”：“Giordano，L.，Gliozzi，V.，Olivetti，N.，Pozzato，G.L.：描述逻辑中的最小模型语义和有理闭包。in:第26届描述逻辑国际研讨会（DL 2013），2013年8月，第1014卷，pp.168\u2013180（2013）”}，{“key”：“18_CR33”，“doi-asserted-by”：“publisher”，“first page”：”392“，“doi”：“10.1007\/978-319-49130-1_29”，“volume-title”：“AI*IA 2016人工智能进展”，“author”：“Valentina Gliozzi”，“year”：“2016”，“unstructured”：“Gliozzi，V.：关于DL理性闭合中多方面的推理。摘自：AI*IA 2016会议记录-意大利人工智能协会第十六届国际会议，意大利热那亚，2013年11月29日\u20131年12月，第392\u2013405页（2016）”}，{“key”：“18_CR34”，“unstructured”：“Gottlob，G.，Hernich，A.，Kupke，C.，Lukasiewicz，T.：保护存在规则和描述逻辑的稳定模型语义。In:Proceedings of KR 2014（2014）”}，{“key”：“18_CR35”，“unstructured”：“Ke，P.，Sattler，U.：最小知识和否定作为失败的描述逻辑的下一步。In:Baader，F.，Lutz，C.，Motik，B.（eds.）《描述逻辑学报》，《CEUR研讨会论文集》第353卷，德国德累斯顿，2008年5月，CEUR-WS.org（2008）“}，{“key”：“18_CR36”，“unstructured”：“Knorr，M.，Hitzler，P.，Maier，F.：协调语义网的owl规则和非单调规则。摘自：ECAI 2012，pp.474\u2013479（2012）”}，}“issue”：“1\u20132”，“key“：“18_CR37”，“doi-asserted-by“：”publisher“，”first page“：”167“，“doi”：“10.1016\/0004-3702（90）90101-5”，“volume”：“44”，“author”：“S Kraus”，“year”：“1990”，“unstructured”：“Kraus，S.，Lehmann，D.，Magidor，M.：非单调推理，优先模型和累积逻辑。Artif公司。智力。44（1\u20132），167\u2013207（1990）“，“新闻标题”：“文章。智力。“}，{”issue“：“1”，”key“：“18_CR38”，”doi-asserted-by“：”publisher“，”first page“：”1“，”doi“：”10.1016\/0004-3702（92）90041-U“，“volume”：“55”，“author”：“D Lehman”，“year”：“1992”，“unstructured”：“Lehman，D.，Magidor，M.：有条件的知识库需要什么？Artif.Intell.55（1），1\u201360（1992）”，“日记标题”：“Artif.Intern.“}，{“问题”：“1”，“密钥”：“18_CR39“，”doi-asserted-by“：”publisher“，”first-pages“：”61“，”doi“：”10.1007 \/BF01535841“，”volume“：”15“，”author“：”DJ Lehmann“，”year“：”1995“，”unstructured“：”Lehman，D.J.：默认推理的另一个视角。安。数学。Artif公司。智力。15（1），61\u201382（1995）“，“期刊标题”：“数学年鉴。Artif公司。智力。“}，{”key“：”18_CR40“，”doi-asserted-by“：”crossref“，”unstructured“：”Moodley，K.：可废止描述逻辑的实用推理。夸祖鲁大学博士论文（2016）“，”doi“：”10.31237\/osf.io\/dw5p2“}”，{“issue”：“5”，“key”：“18_CR41”，“doi-assert-by”：“publisher”，“first-page”：“1”，“doi”：“10.1145\/1754399.175440 3“，”卷“：”57“，”作者“：”B Motik”，“年份”：“2010年”，“非结构化”：“Motik，B.，Rosati，R.：协调描述逻辑和规则。J.ACM 57（5），1\u201362（2010）“，“期刊标题”：“J.ACM”}，{“key”：“18_CR42”，“unstructured”：“Pearl，J.：系统Z：默认值的自然排序，可用于非单调推理。摘自：Parikh，R.（ed.）TARK第三届知识推理理论方面会议，第121\u2013135页。Morgan Kaufmann，Pacific Grove，CA，USA（1990）“}，{“key”：“18_CR43”，“unstructured”：“Straccia，U.：混合KL-one-style逻辑中的默认继承推理。收录：Bajcsy，R.（ed.）《第十三届国际人工智能联合会议论文集》（IJCAI 1993），法国Chamb\u00e9ry，1993年8月。第676\u2013681页，Morgan Kaufmann（1993）“}]，“容器-时间”：[“计算机科学课堂讲稿”，“不确定性推理的符号和定量方法”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-030-29765-7_18”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,12,6]]，”date-time“：”2019-12-06T07:56:13Z“，”timestamp“：1575618973000}，”score“：1，”resource“：{primary”：{“URL”：“http:\/\/link.sprimary.com\/10007\/978-3-030-29765-7_18”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[2019]]}，“ISBN”：[“9783030297640”，“9783030297657“]，”引用计数“：43，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-030-29765-7_18“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：[]，”published“：{”date-pa rts“：[2019]]}，”断言“：[{”值“：”2019年9月4日“，”订单“：1，”名称“：”first_online，“label”：“first online”，“group”：{“name”：“ChapterHistory”，“label:”Chapter History“}}，{“value”：“ECSQARU”，“order”：1，“name”，“conference_acrombit”，“标签”：“conference acronym”，”group“：{”name“：”ConferenceInfo“，”label“：”会议信息“}}}”，{”value“：”具有不确定性的符号和定量方法欧洲会议“，”order“：2，”name“：”conference_name“，”label“：”会议名称“，”group“：：“会议国家/地区”、“组”：｛“名称”：“ConferenceInfo”、“标签”：“会议信息”｝｝、｛“值”：“2019”、“顺序”：5、“名称”：“会议年”、“标签”：“会议年”、“组”：｛“名称”：“ConferenceInfo”、“标签”：“会议信息”｝、｛“值”：“2019年9月18日”、“顺序”：7、“名称”：“会议开始日期”、“标签”：“会议开始日期”、“组”：｛name“：”ConferenceInfo“，”label“：”会议信息“}}，{“value”：“2019年9月20日”，“order”：8，“name”：“Conference_end_date”，“label”：“会议结束日期”，“group”：：“会议信息“}}，{“value”：“ecsqaru2019”，“order”：10，“name”：“Conference_id”，“label”：“Conference_id”，“group”：{“name”:“ConferenceInfo”，“标签”：“会议信息”}}“，”标签“：”会议信息“}}，{”value“：”Single-blind“，”order“：1，”name“：”type“，”label“：”type“，”group“：ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）}，{“value”：“41”，“order”：4，“name”：“number_of_full_papers_accepted”，“label”：“已接受的完整论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“label”：”同行评审信息（由会议组织者提供）“}}，{”value“：”3“，”order“：5，”name“：”number_ of_short_papers_Accepteded“，”label“：”已接受的短论文数“，”group“用法：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}，{“value”：“66%-该值由等式“接受的全文数”/“发送供评审的提交数*100\”计算，然后四舍五入为整数。”，“order”：6，“name”:“acceptance_rate_of_Full_Papers”，“标签”：“完整论文的接受率”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“Peer Review Information（由会议组织者提供）”}}，{“value”：“3.1”，“order”：7，“name”:“average_number_of_reviews_per_paper”，“标签”：“每篇论文的平均评论数”：“同行评议信息（由会议组织者提供）”}}，{“value”：“2.9”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行评审信息（由大会组织者提供）：“external_reviewers_involved”，“label”：“涉及外部审阅者”，“group”：{“name”：“ConfEventPeerReviewInformation”，“标签”：“同行审阅信息（由会议组织者提供）”}}]}}