托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;托马斯·卢卡西维奇;罗马辛德劳;汉斯·托姆皮茨 将答案集编程与语义web的描述逻辑相结合。 （英语） 兹比尔1183.68595 工件。智力。 172，编号12-13，1495-1539（2008）. 摘要：我们提出了答案集语义下的逻辑编程与描述逻辑（mathcal{SHIF}（mathbf D）和（mathcal{SHOIN}（mathbf D））的组合，它们分别是Web本体语言OWL-Lite和OWL-DL的基础。为此，我们引入了描述逻辑程序（或DL-programs），它由描述逻辑知识库（L）和描述逻辑规则（或DL-rules）的有限集（P）组成。这些规则类似于非单调逻辑程序中的常见规则，但它们也可能在其正文中包含对\（L）的查询，可能在默认否定的情况下。它们允许在本体之上构建规则，但也在一定程度上允许在规则之上构建本体。我们为各类DL程序定义了一套语义，它保守地扩展了各个类的标准语义，并在缺少描述逻辑知识库的情况下与之相一致。更具体地说，我们将正的、分层的和任意的正规逻辑程序推广到DL-程序，并为它们定义了Herbrand模型语义。我们证明了它们与普通逻辑程序具有类似的属性，并且还提供了（迭代）结果运算符的不动点特征。对于任意DL程序，我们通过推广Gelfond和Lifschitz的变换概念来定义答案集，从而得到强答案集语义和弱答案集语义，它们分别基于对正DL程序和普通正逻辑程序语义的约简。我们还展示了如何利用普通正规逻辑程序的答案集来计算弱答案集。此外，我们还展示了如何在DL程序之上实现语义Web的一些高级推理任务，包括不同形式的封闭世界推理和默认推理，以及DL安全规则。最后，我们给出了DL-programs计算复杂性的精确描述，并描述了有效的算法和可在Web上使用的DL-programs的原型实现。 引用于1审查引用于69文件 MSC公司： 第68页第27页 人工智能中的逻辑 68英里11 互联网主题 68N17号 逻辑编程 68立方英尺 知识表示 关键词：答案集编程;描述逻辑;规则;本体;语义网;计算复杂性;封闭世界推理;默认逻辑 软件：规则ML;斯莫德尔斯;阻尼+油;三倍的;swrl公司;赛车手 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，Artif。智力。172，编号12--131495--1539（2008；Zbl 1183.68595） 全文： 内政部 参考文献： [1] G.Alsaç，C.Baral，《使用声明逻辑编程进行描述逻辑推理》，技术报告，亚利桑那州立大学计算机科学与工程系，2001年；G.Alsaç，C.Baral，《使用声明逻辑编程进行描述逻辑推理》，技术报告，亚利桑那州立大学计算机科学与工程系，2001年 [2] Analyti，A。；安东尼奥，G。；达马西奥，哥伦比亚特区。；Wagner，G.，扩展RDF本体的稳定模型理论（Proceedings ISWC-2005。ISWC-2005，LNCS，第3729卷（2005），Springer），21-36 [3] Angele，J。；博利，H。；de Bruijn，J。；芬塞尔，D。；希茨勒，P。；Kifer，M。；Krummenacher，R。；Lausen，H。；Poleres，A。；Studer，R.，Web规则语言（WRL），2005年9月，W3C成员提交。可在 [4] Antoniou，G.，《本体层之上的非单调规则系统》（Proceedings ISWC-2002）。ISWC-2002，LNCS，第2342卷（2002），Springer），394-398·Zbl 1048.68664号 [5] G.Antoniou，C.V.Damásio，B.Grosof，I.Horrocks，M.Kifer，J.Maluszynski，P.F.Patel-Schneider，《结合规则和本体：调查》，技术报告IST506779/Linköping/I3-D3/D/PU/a1，Linkö坪大学，2005年2月；G.Antoniou，C.V.Damásio，B.Grosof，I.Horrocks，M.Kifer，J.Maluszynski，P.F.Patel-Schneider，《结合规则和本体：一项调查》，技术报告IST506779/Linköping/I3-D3/D/PU/a1，Linkö坪大学，2005年2月 [6] 巴德，F。；Hollander，B.，《将默认值嵌入术语知识表示形式》，J.Autom。推理，14，1，149-180（1995） [7] Baral，C.，《知识表示、推理和陈述式问题解决》（2002），剑桥大学出版社：剑桥大学出版社，英国剑桥·Zbl 1056.68139号 [8] Berardi，D。；Calvanee，D。；De Giacomo，G.，UML类图推理，人工智能，168，1-2，70-118（2005）·Zbl 1132.68747号 [9] Berners-Lee，T.，编织网络（1999），哈珀：加利福尼亚州旧金山哈珀 [10] Berners-Lee，T。；亨德勒，J。；Lassila，O.，《语义网》，《科学美国人》，284，5，34-43（2001） [11] H.Boley，S.Tabet，G.Wagner，《RuleML的设计原理：语义web规则的标记语言》，收录于：I.F.Cruz，S.Decker，J.Euzenat，D.L.McGuinness（编辑），《第一届语义web工作研讨会论文集》（SWWS-2001），斯坦福大学，2001年，第381-401页；H.Boley，S.Tabet，G.Wagner，《RuleML的设计原理：语义web规则的标记语言》，收录于：I.F.Cruz，S.Decker，J.Euzenat，D.L.McGuinness（编辑），《第一届语义web工作研讨会论文集》（SWWS-2001），斯坦福大学，2001年，第381-401页 [12] 博纳蒂，P.A。；卢茨，C。；Wolter，F.，《带界限的描述逻辑》（Proceedings KR-2006（2006），AAAI Press），400-410 [13] Börger，E。；Grädel，E。；Gurevich，Y.，经典决策问题（2001），Springer·Zbl 0970.03001号 [14] 卡多利，M。；Lenzerini，M.，命题封闭世界推理和限定的复杂性，J.Compute。系统。科学。，48255-310（1994年）·Zbl 0806.68096号 [15] Calvanee，D。；德贾科莫，G。；伦博，D。；Lenzerini，M。；Rosati，R.，《描述逻辑中查询应答的数据复杂性》（Proceedings KR-2006（2006），AAAI Press），260-270 [16] Calvanee，D。；Lenzerini，M。；Nardi，D.，概念数据建模的描述逻辑，（Chomicki，J.；van der Meyden，R.；Saake，G.，数据库新兴应用的逻辑（2003），Springer），229-263，（第8章）·Zbl 0905.03016号 [17] Dantsin，E。；艾特，T。；Gottlob，G。；Voronkov，A.，逻辑编程的复杂性和表达能力，ACM Comput。调查。，33, 3, 374-425 (2001) [18] de Bruijn，J。；艾特，T。；Poleres，A。；Tompits，H.，《关于经典理论与非单调规则结合的代表性问题》（Proceedings KSEM-2006）。会议记录KSEM-2006，LNCS/LNAI，第4092卷（2006年），施普林格），1-22 [19] de Bruijn，J。；艾特，T。；Poleres，A。；Tompits，H.，《将非地面逻辑程序嵌入到知识库组合的自认知逻辑中》（《2007年国际学术会议论文集》，AAAI出版社/IJCAI），304-309 [20] de Bruijn，J。；皮尔斯，D。；Poleres，A。；Valverde，A.，《混合规则的逻辑》（Proceedings RuleML-2006（2006），IEEE Computer Society），在线阅读 [21] 多尼尼，F.M。；Lenzerini，M。；Nardi，D。；Schaerf，A.，《（AL）-log:集成数据日志和描述逻辑》，J.Intell。信息系统。，10, 3, 227-252 (1998) [22] 多尼尼，F.M。；Nardi，D。；Rosati，R.，《最小知识和否定作为失败的描述逻辑》，ACM Trans。计算。日志。，3, 2, 177-225 (2002) ·兹比尔1365.68403 [23] 艾特，T。；Faber，W。；塞拉利昂，北卡罗来纳州。；Pfeifer，G.，使用DLV系统解决声明性问题，（Minker，J.，Logic-Based Artificial Intelligence（2000），Kluwer Academic Publishers），79-103·Zbl 0979.68091号 [24] 艾特，T。；Gottlob，G.，《析取逻辑编程的计算成本：命题案例》，《数学年鉴》。工件。整数。，15, 3/4, 289-323 (1995) ·Zbl 0858.68016号 [25] 艾特，T。；Gottlob，G。；Veith，H.，《模块化逻辑编程和广义量词》（Proceedings LPNMR-1997）。LPNMR-1997，LNCS/LNAI，第1265卷（1997），施普林格），290-309 [26] T.Eiter，G.Ianni，T.Krennwallner，R.Schindlauer，《利用描述逻辑程序中的连接查询》，载于：D.Calvanese等人（编辑），《第20届描述逻辑国际研讨会论文集》（DL-2007），《欧洲经济研究中心研讨会论文集（CEUR Workshop Proceedings）》，第250卷，CEUR-WS.org，2007年，第259-266页；T.Eiter，G.Ianni，T.Krennwallner，R.Schindlauer，《利用描述逻辑程序中的连接查询》，载于：D.Calvanese等人（编辑），《第20届描述逻辑国际研讨会论文集》（DL-2007），《欧洲经济研究中心研讨会论文集（CEUR Workshop Proceedings）》，第250卷，CEUR-WS.org，2007年，第259-266页·Zbl 1165.68499号 [27] 艾特，T。；伊安尼，G。；Poleres，A。；辛德劳，R。；Tompits，H.，用规则和本体进行推理，（Barahona，P.；Bry，F.；Franconi，E.；Henze，N.；Sattler，U.，推理网络，2006年第二国际暑期学校，教程讲座。推理网络，2006年第二国际暑期学校，教程讲座，LNCS，第4126卷（2006年），施普林格），93-127 [28] T.Eiter，G.Ianni，R.Schindlauer，H.Tompits，NLP-DL:非单调逻辑程序与描述逻辑耦合的KR系统，收录于：第四届国际语义网络会议（ISWC-2005），2005年。系统海报；T.Eiter，G.Ianni，R.Schindlauer，H.Tompits，NLP-DL:非单调逻辑程序与描述逻辑耦合的KR系统，收录于：第四届国际语义网络会议（ISWC-2005），2005年。系统海报 [29] 艾特，T。；伊安尼，G。；辛德劳，R。；Tompits，H.，《非单调描述逻辑程序：实现和实验》（Proceedings LPAR-2004）。LPAR-2004，LNCS，第3452卷（2005），Springer），511-517·Zbl 1108.68359号 [30] 艾特，T。；伊安尼，G。；辛德劳，R。；Tompits，H.，《答案集编程中高阶推理和外部评估的统一集成》（Proceedings IJCAI-2005（2005），Professional Book Center），90-96 [31] 艾特，T。；伊安尼，G。；Schindlauer，R。；Tompits，H.，《声明性规则与语义Web推理外部评估的有效集成》（Proceedings ESWC-2006）。ESWC-2006，LNCS，第4011卷（2006），Springer），273-287 [32] T.Eiter，G.Ianni，R.Schindlauer，H.Tompits，《HEX程序的有效评估》，载于《NMR-2006年会议录》，第40-46页；T.Eiter，G.Ianni，R.Schindlauer，H.Tompits，《HEX程序的有效评估》，收录于：NMR-2006年，第40-46页 [33] 艾特，T。；卢卡塞维奇，T。；辛德劳，R。；Tompits，H.，《语义网中描述逻辑程序的良好语义》（Proceedings RuleML-2004）。诉讼规则ML-2004，LNCS，第3323卷（2004），施普林格），81-97 [34] Faber，W。；塞拉利昂，北卡罗来纳州。；Pfeifer，G.，《析取逻辑程序中的递归聚合：语义和复杂性》（Proceedings JELIA-2004）。JELIA-2004，LNCS/LNAI，第3229卷（2004），Springer），200-212·Zbl 1111.68380号 [35] 芬塞尔，D。；范·哈梅伦（F.van Harmelen）。；霍洛克斯，I。；McGuinness，D.L。；Patel-Schneider，P.F.，《OIL:语义网的本体基础设施》，IEEE智能系统。，16, 2, 38-45 (2001) [36] （Fensel，D.；Wahlster，W.；Lieberman，H.；Hendler，J.，《旋转语义网：充分发挥万维网的潜力》（2002），麻省理工出版社） [37] Fitting，M.，《一阶逻辑与自动定理证明》（1996），斯普林格：斯普林格-塞考库斯，美国新泽西州·Zbl 0848.68101号 [38] Gelfond，M。；Lifschitz，V.，逻辑编程的稳定模型语义，（Proceedings ICLP/SLP-1888（1988），麻省理工学院出版社），1070-1080 [39] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新一代计算。，9, 365-385 (1991) ·Zbl 0735.68012号 [40] Gelfond，M。；Przymusinska，H。；Przymusinski，T.C.，《扩展的封闭世界假设及其与平行边界的关系》（Proceedings PODS-1986（1986），ACM Press），133-139 [41] Gelfond，M。；Przymusinska，H。；Przymusinski，T.C.，《关于限制和否定作为失败的关系》，《人工智能》，38，75-94（1989）·Zbl 0663.68097号 [42] 格利姆，B。；霍洛克斯，I。；卢茨，C。；Sattler，U.，描述逻辑的连接查询应答（SHIQ），（2007年IJCAI-2007会议录，AAAI出版社/IJCAI），399-404·Zbl 1183.68244号 [43] Gottlob，G.，非单调逻辑的复杂性结果，J.逻辑计算。，2397-425（1992年）·Zbl 0765.03012号 [44] Grosof，B.N。；Horrocks，I。；沃尔兹·R。；Decker，S.，《描述逻辑程序：逻辑程序与描述逻辑的结合》（Proceedings WWW-2003（2003），ACM Press），48-57 [45] 哈尔斯列夫，V。；Möller，R.，《RACER系统描述》（Proceedings IJCAR-2001）。IJCAR-2001，LNCS/LNAI，第2083卷（2001），Springer），701-705·Zbl 0988.68599号 [46] 赫夫林，J。；Munoz-Avila，H.，基于LCW的语义Web代理规划，（本体论和语义Web。2002年AAAI研讨会WS-02-11（1998）论文，AAAI出版社），63-70 [47] Hemachandra，L.A.，《强大的指数层次结构崩溃》，J.Compute。系统。科学。，39, 3, 299-322 (1989) ·Zbl 0693.03022号 [48] 亨德勒，J。；McGuinness，D.L.，DARPA代理标记语言，IEEE智能系统。，15, 6, 67-73 (2000) [49] 海曼斯，S。；Nieuwenborgh，D.V。；Vermeir，D.，《扩展概念逻辑程序的非单调本体论和基于规则的推理》（Proceedings ESWC-2005）。《ESWC-2005年会刊》，LNCS，第3532卷（2005年），施普林格出版社，392-407 [50] 海曼斯，S。；Vermeir，D.，集成本体语言和答案集编程，（2003年DEXA研讨会论文集，IEEE计算机学会），584-588 [51] S.Heymans，D.Vermeir，整合语义网络推理和答案集编程，收录于：M.de Vos，A.Provetti，（编辑），Proceedings ASP-2003 answer set programming:Advances in Theory and Implementation，CEUR Workshop Proceeding，vol.78，CEUR-WS.org，2003，pp.194-208；S.Heymans，D.Vermeir，《集成语义网络推理和答案集编程》，载于：M.de Vos，A.Provetti，（编辑），Proceedings ASP-2003 answer set programming:Advances in Theory and Implementation，CEUR Workshop Proceeding，vol.78，CEUR-WS.org，2003，pp.194-208 [52] Horrocks，I.，DAML+OIL:语义网的描述逻辑，IEEE Bull。技术委员会数据工程，25，1，4-9（2002） [53] Horrocks，I.，DAML+OIL:一种合理的Web本体语言（Proceedings EDBT-2002）。EDBT-2002，LNCS，第2287卷（2002），Springer），2-13·Zbl 1054.68785号 [54] 霍洛克斯，I。；Patel-Schneider，P.F.，《将OWL蕴涵减少到描述逻辑可满足性》（Proceedings ISWC-2003）。ISWC-2003，LNCS，第2870卷（2003），Springer），17-29 [55] 霍洛克斯，I。；Patel Schneider，P.F.，OWL规则语言提案，（《WWW-2004年会议记录》（2004年），ACM出版社），723-731 [56] 霍洛克斯，I。；Patel-Schneider，P.F。；Bechhofer，S。；Tsarkov，D.，《OWL规则：提案和原型实现》，《J.Web Sem.》，第3期，第1期，第23-40页（2005年） [57] 霍洛克斯，I。；Patel-Schneider，P.F。；Boley，H。；Tabet，S。；Grosof，B。；Dean，M.，SWRL:结合OWL和RuleML的语义Web规则语言，2004年5月，W3C成员提交。可在 [58] 霍洛克斯，I。；Patel-Schneider，P.F。；van Harmelen，F.，From（SHIQ）and RDF to OWL:The making of a Web ontology language，J.Web Sem.，1,1,7-26（2003） [59] 霍洛克斯，I。；美国萨特勒。；Tobies，S.，《表达描述逻辑的实用推理》（Proceedings LPAR-1999）。LPAR-1999，LNCS/LNAI，第1705卷（1999），Springer），161-180·Zbl 0947.68134号 [60] Horty，J.F.，《非单调遗传的一些直接理论》（Gabbay，D.M.；Hogger，C.J.；Robinson，J.A.，《人工智能和逻辑编程逻辑手册》，第三卷：非单调推理和不确定推理（1994），克拉伦登出版社：克拉伦登牛津出版社），111-187·Zbl 0804.03017号 [61] Hustadt，U。；莫蒂克，B。；美国Sattler，《将SHIQ描述逻辑简化为析取数据日志程序》（Proceedings KR-2004（2004），AAAI Press），152-162 [62] 詹纳，B。；Toran，J.，《计算功能与NP并行查询》，Theor。计算。科学。，141175-193（1995年）·Zbl 0873.68058号 [63] Johnson，D.S.，《复杂性类目录》，（van，J.，《理论计算机科学手册》，A卷（1990年），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥），67-161，（第2章）·Zbl 0900.68246号 [64] Lenzerini，M.，《数据集成：理论视角》（Proceedings PODS-2002（2002），ACM Press），233-246 [65] 塞拉利昂，北卡罗来纳州。；Pfeifer，G。；Faber，W。；艾特，T。；Gottlob，G。；佩里，S。；Scarcello，F.，《用于知识表示和推理的DLV系统》，ACM Trans。计算。日志。，7，3499-562（2006年）·Zbl 1367.68308号 [66] 利维，A.Y。；Rousset，M.-C.，CARIN中Horn规则和描述逻辑的结合，人工智能，104，1-2165-209（1998）·Zbl 0908.68166号 [67] Lifschitz，V.，《计算范围》，（《国际计算机学会学报-1985（1985）》，摩根·考夫曼），121-127 [68] Lifschitz，V.，《非单调数据库和认知查询》（Proceedings IJCAI-91（1991），Morgan Kaufmann），381-386·Zbl 0747.68086号 [69] Lifschitz，V。；Turner，H.，《逻辑程序的分割》（ICLP-1994（1994），麻省理工学院出版社），23-38 [70] Lukasiewicz，T.，概率描述逻辑程序（Proceedings ECSQARU-2005）。ECSQARU-2005，LNCS/LNAI，第3571卷（2005），施普林格）。（ECSQARU-2005会议记录。ECSQARU-2005，LNCS/LNAI，第3571卷（2005），施普林格），《国际近似推理》，45，2，288-307（2007），扩展版·Zbl 1122.68027号 [71] Lukasiewicz，T.，《语义网答案集语义下的模糊描述逻辑程序》（Proceedings RuleML-2006（2006），IEEE Computer Society）。（Proceedings RuleML-2006（2006），IEEE Computer Society），Fundamental Informaticae，82，3，289-310（2008），扩展版·Zbl 1135.68569号 [72] Lukasiewicz，T.，《语义Web的答案集编程与描述逻辑的新组合》（Proceedings ESWC-2007）。ESWC-2007，LNCS，第4519卷（2007），Springer），384-398 [73] Lukasiewicz，T.，可追踪概率描述逻辑程序（Proceedings SUM-2007）。诉讼SUM-2007，LNCS，第4772卷（2007），Springer），143-156 [74] Łukaszewicz，W.，《非单调推理：常识推理的形式化》（1990），埃利斯·霍伍德 [75] 莫蒂克，B。；霍洛克斯，I。；罗萨蒂，R。；美国塞特勒，OWL和逻辑编程能从此幸福地生活在一起吗？，（ISWC-2006会议记录。ISWC-2006，LNCS，第4273卷（2006），Springer），501-514 [76] 莫蒂克，B。；Rosati，R.，描述逻辑与逻辑编程的忠实集成，（2007年《国际计算机学会学报》，美国计算机学会出版社/IJCAI），477-482 [77] B.Motik，R.Rosati，《描述逻辑与逻辑编程的忠实集成》，载于：《2007年国际期刊汇编》，第477-482页；B.Motik，R.Rosati，《描述逻辑与逻辑编程的忠实集成》，载于：《2007年国际期刊汇编》，第477-482页 [78] 莫蒂克，B。；Sattler，U.，《查询大型描述逻辑ABoxes的推理技术比较》（Proceedings LPAR-2006）。LPAR-2006，LNCS/LNAI（2006），Springer论文集·Zbl 1165.68506号 [79] 莫蒂克，B。；美国萨特勒。；Studer，R.，用规则回答OWL-DL的问题，（会议记录ISWC-2004）。ISWC-2004，LNCS，第3298卷（2004），Springer），549-563 [80] 莫蒂克，B。；美国萨特勒。；Studer，R.，用规则回答OWL-DL问题，J.Web Sem.，3，1，41-60（2005） [81] I.Niemelä，P.Simons，T.Syrjänen，Smodels:答案集编程系统，收录于：Proceedings NMR-2000，2000；I.Niemelä，P.Simons，T.Syrjänen，Smodels:答案集编程系统，收录于：Proceedings NMR-2000，2000 [82] Ortiz de la Fuente，M。；Calvanee，D。；艾特，T。；Franconi，E.，《表征表达描述逻辑中连接查询应答的数据复杂性》（AAAI-2006（2006），AAAI出版社） [83] J.Z.Pan、E.Franconi、S.Tessaris、G.Stamou、V.Tzouvaras、L.Serafini、I.Horrocks、B.Glimm，规则和本体语言的协调规范。项目可交付成果D2.5.1，KnowledgeWeb NoE，2004年6月；J.Z.Pan、E.Franconi、S.Tessaris、G.Stamou、V.Tzouvaras、L.Serafini、I.Horrocks、B.Glimm，规则和本体语言的协调规范。项目可交付成果D2.5.1，KnowledgeWeb NoE，2004年6月 [84] Papadimitriou，C.H.，《计算复杂性》（1994），Addison-Wesley·Zbl 0557.68033号 [85] Poleres，A。；Feier，C。；Harth，A.，《上下文范围否定规则》（ESWC-2006年会议记录）。ESWC-2006，LNCS，第4011卷（2006），Springer），332-347 [86] Poole，D.，《默认推理的逻辑框架》，《人工智能》，36，1，27-47（1988）·Zbl 0647.68094号 [87] Pratt-Hartmann，I.，带计数量词的二元片段的复杂性，J.逻辑语言信息。，第14、3、369-395页（2005年）·Zbl 1082.03007号 [88] Reiter，R.，《关于封闭世界数据库》，（Gallaire，H.；Minker，J.，《逻辑与数据库》（1978），Plenum出版社：Plenum出版社，纽约），55-76 [89] Reiter，R.，《默认推理的逻辑》，《人工智能》，第13期，第81-132页（1980年）·Zbl 0435.68069号 [90] R.Rosati，《朝向集成数据日志和描述逻辑的表达性KR系统：初步报告》，载于：《DL-1999学报》，1999年，第160-164页；R.Rosati，《朝向集成数据日志和描述逻辑的表达性KR系统：初步报告》，载于：《DL-1999学报》，1999年，第160-164页 [91] Rosati，R.，《论集成本体论和规则的可判定性和复杂性》，J.Web Sem.，3，1，61-73（2005） [92] Rosati，R.，《本体论和规则安全集成的语义和计算优势》（Proceedings PPSWR-2005）。《程序集PPSWR-2005》，LNCS，第3703卷（2005），Springer），50-64 [93] Rosati，R.，《集成本体论和规则：语义和计算问题》，（Barahona，P.；Bry，F.；Franconi，E.；Henze，N.；Sattler，U.，《推理网络》，LNCS，第4126卷（2006），Springer），128-151 [94] Rosati，R.，《（DL+\log）：描述逻辑与析取数据日志的紧密结合》（Proceedings KR-2006（2006），AAAI Press），68-78 [95] R.Schindlauer，《语义网的答案编程》，博士论文，奥地利维也纳理工大学，2006年。可在http://www.kr.tuwien.ac.at/staff/roman/papers/thesis.pdf; R.Schindlauer，《语义网的答案编程》，博士论文，奥地利维也纳理工大学，2006年。可在http://www.kr.tuwien.ac.at/staff/roman/papers/thesis.pdf [96] Sintek，M。；Decker，S.，《TRIPLE-A Semantic Web的查询、推理和转换语言》（Proceedings ISWC-2002）。ISWC-2002，LNCS，第2342卷（2002），Springer），364-378·Zbl 1048.68910号 [97] Swift，T.，《通过ASP进行本体论演绎》（Proceedings LPNMR-2004）。LPNMR-2004，LNCS/LNAI，第2923卷（2004），Springer），275-288·Zbl 1122.68628号 [98] S.Tobies，《知识表示中逻辑的复杂性结果和实用算法》，博士论文，RWTH Aachen，德国；S.Tobies，《知识表示中逻辑的复杂性结果和实用算法》，博士论文，RWTH Aachen，德国 [99] Van Belleghem，K。；Denecker，M。；De Schreye，D.，描述逻辑和开放逻辑编程之间的强烈对应，（ICLP-1997（1997），麻省理工学院出版社，346-360 [100] van Gelder，A。；Ross，K.A。；Schlipf，J.S.，《通用逻辑程序的完善语义》，《ACM杂志》，38，3，620-650（1991）·Zbl 0799.68045号 [101] W3C，OWL Web本体语言概述，2004年。可在 [102] W3C，OWL 1.1 Web本体语言概述，2006年。可在 [103] 王凯。；安东尼奥，G。；托珀，R.W。；Sattar，A.，在dl-programs中合并和对齐本体（Proceedings RuleML-2005）。议事规则ML-2005，LNCS，第3791卷（2005年），施普林格），160-171 [104] 王凯。；比林顿，D。；布莱，J。；Antoniou，G.，《语义网络的描述逻辑和可解释逻辑的结合》（Proceedings RuleML-2004）。诉讼规则ML-2004，LNCS，第3323卷（2004），施普林格），170-181 [105] S.Woltran，《答案集编程：模型应用和概念证明》，技术报告WP5，答案集编程工作组（WASP，IST-FET-2001-37004），2005年7月。可在http://www.kr.tuwien.ac.at/projects/WASP/report.html; S.Woltran，《答案集编程：模型应用和概念证明》，技术报告WP5，答案集编程工作组（WASP，IST-FET-2001-37004），2005年7月。可在http://www.kr.tuwien.ac.at/projects/WASP/report.html [106] F.Yang，X.Chen，Z.Wang，p-dl-programs：结合dl-programs和语义Web偏好。未出版手稿，2006年8月；F.Yang，X.Chen，Z.Wang，p-dl-programs：结合dl-programs和语义Web偏好。未出版手稿，2006年8月 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。