{“status”：“ok”，“messagetype”：“work”，”message-version“：“1.0.0”，“消息”：{“indexed”：{“date-parts”：[[2024,8,7]]，“date-time”：”2024-08-07T07:33:33Z“，”timestamp“：1723016013998}，“publisher-location”：“California”，“reference-count”：0，“publish”：“International Joint Conferences on Artificial Intelligence Organization”，“content-domain”：{[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2018,7]]}，”抽象“：”我们考虑基于ALC家族的表达描述逻辑和联合查询的本体中介查询（OMQ），研究基于实例查询（IQ）的OMQ的可重写性。我们的结果包括了这种重写何时可能的精确特征，以及决定可重写性的严格复杂性边界。我们还为确定给定MMSNP语句（换句话说：一元析取数据日志程序的补码）是否等价于约束满足问题的相关问题给出了严格的复杂性界限<\/jats:p>“，”DOI“：”10.24963\/ijcai.2018\/250“，”type“：”proceedings article“，”created“：｛”日期部分“：[[2018,7,5]]，”日期时间“：”2018-07-05T01:49:10Z“，”时间戳“：1530755350000｝，”page“：”1810-1816“，”source“：”Crossref“，”被计数引用“：0，”title“：[”从连接查询到本体中介查询中的实例查询“]，”prefix“：”10.24963“，”author“：[{”given“：”Cristina“，”family“：”Feier“，”sequence“：”first“，”affiliation“：”[{“name”：“University of Bremen，Germany”}]}，{“given”：“Carsten”，“family”：“Lutz”，“sequence”：“additional”，“affiliance”：[{name“：”University ofBremen“，German”}]{，{given：“Frank”，“家族”：“Wolter”，”segment“：”additional“利物浦大学，英国“}]}]，“成员”：“10584”，“事件”：{“数字”：“27”，“赞助商”：[“人工智能组织国际联合会议（IJCAI）”]，“缩写词”：“IJCAI-2018”，“名称”：“第二十届国际人工智能联合会议{IJCAI-18}”，“开始”：{“日期部分”：[2018,7,13]}，“主题”：“人工智能”，“位置”：“瑞典斯德哥尔摩”，“结束”：{“日期-部分”：[[2018,7,19]]}}，“容器-时间”：[“第二十届国际人工智能联合会议论文集”]，“原文标题”：[]，“存放”：{-“日期-部件”：[[2018,7,5]]，“日期时间”：“2018-07-05T01:51:16Z”，“时间戳”：1530755476000}，”分数“1，”资源“primary”：｛“URL”：“https://www.ijcai.org/procedures\/2018\/250”｝，“副标题”：[]，“procedures-subject”：“人工智能研究文章”，“短标题”：[]，“已发布”：｛“日期部分”：[[2018,7]]｝，“引用次数”：0，“URL”：“http:\/\/dx.doi.org/10.24963\/ijcai.2018\/250”，“关系”：｛｝，“主题”：[]，“已发布”：｛“日期部分”：[[2018,7]]｝｝