翁贝托·斯特拉契亚；费尔南多·博比洛 从模糊到注释语义网络语言。 （英语） Zbl 1358.68031号 Pan，Jeff Z.（编辑）等人，《推理网络》。知识图构建和问答的逻辑基础。2016年第12届国际暑期学校，英国阿伯丁，2016年9月5日至9日。辅导讲座。查姆：施普林格（ISBN 978-3-319-49492-0/pbk；978-3-3169-49493-7/电子书）。计算机科学讲座笔记9885，203-240（2017）。 摘要：本章的目的是详细、独立和全面地介绍语义网络语言（如三重语言RDF/RDFS、OWL2族概念语言和规则语言）中用模糊知识表示和推理的最新技术。我们进一步展示了如何将它们推广到所谓的注释域，这些注释域还包括时间和来源扩展。有关整个系列，请参见[Zbl 1358.68016号]. 引用于1文件 MSC公司： 68英里11 互联网主题 68T27型 人工智能中的逻辑 68立方英尺 知识表示 68层37 人工智能背景下的不确定性推理 软件：德洛里安；Fuzzydl公司；FPROLOG公司；Ciao公司；FRIL公司 PDF格式BibTeX公司 XML格式引用 \textit{U.Straccia}和\textit{F.Bobillo}，莱克特。票据计算。科学。9885、203-240（2017年；Zbl 1358.68031） 全文： 内政部 arXiv公司 参考文献： [1] 美国斯特拉契亚：管理描述逻辑、逻辑程序和描述逻辑程序中的不确定性和模糊性。收录：Baroglio，C.，Bonatti，P.A.，Małuszy nn ski，J.，Marchiori，M.，Polleres，A.，Schaffert，S.（编辑）Reasoning Web。LNCS，第5224卷，第54–103页。施普林格，海德堡（2008）。doi:10.1007/978-3-540-85658-02·Zbl 05365613号 ·doi:10.1007/978-3-540-85658-02 [2] 美国斯特拉契亚：模糊逻辑和语义网络语言基础。CRC信息学系列研究。查普曼和霍尔，伦敦（2013） [3] OWL 2 Web本体语言文档概述。W3C（2009）。http://www.w3.org/TR/2009/REC-owl2-overview-20091027/ [4] Hayes，P.：RDF语义，W3C建议书，2004年2月。http://www.w3.org/TR/rdf-mt [5] http://ruleml.org/index.html。规则标记计划 [6] Cal，A.，Gottlob，G.，Lukasiewicz，T.：数据日志\[\下午\]：本体和完整性约束的统一方法。摘自：《第十二届数据库理论国际会议论文集》，第14-30页。ACM，纽约（2009年）。国际标准图书编号978-1-60558-423-2。doi:10.1145/1514894.1514897·数字对象标识代码：10.1145/1514894.1514897 [7] 规则交换格式（RIF）。W3C（2011）。http://www.w3.org/2001/sw/wiki/RIF [8] XML。W3C公司http://www.w3.org/XML/ [9] Muñoz，S.，Pérez，J.，Gutierrez，C.：RDF的最小演绎系统。收录：Franconi，E.，Kifer，M.，May，W.（编辑）ESWC 2007。LNCS，第4519卷，第53-67页。斯普林格，海德堡（2007）。doi:10.1007/978-3-540-72667-86·doi:10.1007/978-3-540-72667-86 [10] Baader，F.、Calvanee，D.、McGuinness，D.、Nardi，D.、Patel-Schneider，P.F.（编辑）：《描述逻辑手册：理论、实现和应用》。剑桥大学出版社，剑桥（2003）·Zbl 1058.68107号 [11] Lloyd，J.W.：逻辑编程基础。斯普林格，海德堡（1987）·Zbl 0668.68004号 ·doi:10.1007/978-3-642-83189-8 [12] Dubois，D.，Prade，H.：可能性理论、概率论和多值逻辑：澄清。安。数学。Artif公司。智力。32(1–4), 35–66 (2001). 国际标准编号1012-2443·Zbl 1314.68309号 ·doi:10.1023/A:1016740830286 [13] 洛杉矶扎德：模糊集。信息控制8（3），338–353（1965）·Zbl 0139.24606号 ·doi:10.1016/S0019-9958（65）90241-X [14] Dubois，D.，Prade，H.：我们能在不确定性计算中实施完全合成吗？摘自：《第十二届全国人工智能会议论文集》（AAAI 1994），华盛顿州西雅图，第149-154页（1994） [15] 斯特拉契亚，U。：一般模糊RDF的最小演绎系统。收录：Polleres，A.，Swift，T.（编辑）RR 2009。LNCS，第5837卷，第166-181页。斯普林格，海德堡（2009）。doi:10.1007/978-3-642-05082-4_12·Zbl 05623434号 ·doi:10.1007/978-3-642-05082-4_12 [16] Straccia，U.、Lopes，N.、Lukacsy，G.、Polleres，A.：用带注释的语义网络数据表示和推理的通用框架。摘自：《第24届AAAI人工智能会议论文集》（AAAI 2010），第1437-1442页。AAAI出版社（2010） [17] Lukasiewicz，T.，Straccia，U.：管理语义网络描述逻辑中的不确定性和模糊性。J.Web Semant公司。6291-308（2008年）·Zbl 05517739号 ·doi:10.1016/j.websem.2008.04.001 [18] 斯特拉契亚，U。：模糊描述逻辑中的推理。J.阿蒂夫。智力。第14号决议，137-166（2001年）·Zbl 0973.03034号 [19] 斯特拉契亚，美国：在模糊DL-Lite中回答模糊查询。载：《第11届知识系统信息处理和不确定性管理国际会议论文集》（IPMU 2006），第2238-2245页。E.D.K.，巴黎（2006）。国际标准图书编号2-84254-112-X [20] Damasio，C.V.，Pan，J.Z.，Stoilos，G.，Straccia，U.：在RuleMl中表示不确定性规则。芬丹。通知。82(3), 265–288 (2008) ·Zbl 1135.68574号 [21] Ragone，A.，Straccia，U.，Noia，T.D.，Sciascio，E.D.，Donini，F.M.：使用数据日志在对等实体的电子市场中进行模糊匹配。模糊集系统。160（2）、251–268（2009年）·Zbl 05634375号 ·doi:10.1016/j.fss.2008.07.002 [22] Straccia，U.：不确定性条件下正常逻辑程序中的查询应答。收录：Godo，L.（编辑）ECSQARU 2005。LNCS（LNAI），第3571卷，第687-700页。斯普林格，海德堡（2005）。doi:10.1007/11518655_58·Zbl 1122.68672号 ·doi:10.1007/11518655_58 [23] 斯特拉契亚，U。：逻辑编程中的不确定性管理：简单有效的自上而下查询应答。收录：科斯拉，R.，霍利特，R.J.，贾恩，L.C.（编辑）KES 2005。LNCS（LNAI），第3682卷，第753-760页。斯普林格，海德堡（2005）。doi:10.1007/11552451-103·doi:10.1007/1152451_103 [24] 美国斯特拉契亚：模糊描述逻辑程序。摘自：《第十一届基于知识系统的信息处理和不确定性管理国际会议记录》（IPMU 2006），第1818-1825页。E.D.K.，巴黎（2006）。国际标准图书编号2-84254-112-X [25] 斯特拉契亚，美国：走向演绎数据库中的top-k查询应答。摘自：《2006年IEEE系统、人与控制论国际会议论文集》（SMC 2006），第4873-4879页。IEEE（2006）·doi:10.1109/ICSMC.2006.385077 [26] Lopes，N.、Zimmermann，A.、Hogan，A.、Lukacsy，G.、Poleres，A.、Straccia，U.、Decker，S.：RDF需要注释。摘自：W3C研讨会论文集–RDF下一步（2010年）。http://www.w3.org/2009/12/rdf-ws/ [27] Lopes，N.、Polleres，A.、Straccia，U.、Zimmermann，A.：AnQL:SPARQLing up annotated RDFS。作者：Patel-Schneider，P.F.、Pan，Y.、Hitzler，P.、Mika，P.，Zhang，L.、Pan.，J.Z.、Horrocks，I.、Glimm，B.（编辑）ISWC 2010。LNCS，第6496卷，第518-533页。施普林格，海德堡（2010）。doi:10.1007/978-3-642-17746-0_33·兹伯利05862244 ·doi:10.1007/978-3-642-17746-0_33 [28] Zimmermann，A.，Lopes，N.，Polleres，A.，Straccia，U.：用带注释的语义网络数据表示、推理和查询的通用框架。J.Web Semant公司。11, 72–95 (2012) ·doi:10.1016/j.websem.2011.08.006 [29] Dubois，D.，Prade，H.：模糊集与系统。纽约学术出版社（1980）·Zbl 0444.94049号 [30] Klir，G.J.，Yuan，B.：《模糊集与模糊逻辑：理论与应用》。Prentice-Hall公司，《上鞍河》（1995年）。国际标准书号0-13-101171-5·Zbl 0915.03001号 [31] Klement，E.P.，Mesiar，R.，Pap，E.：三角范数。逻辑趋势——Studia Logica图书馆。Kluwer学术出版社，纽约（2000年） [32] Mostert，P.S.，Shields，A.L.：关于具有边界的紧流形上半群的结构。安。数学。65117-143（1957年）·Zbl 0096.01203号 ·doi:10.2307/1969668 [33] Hájek，P.：模糊逻辑的元数学。多德雷赫特·克鲁沃（1998）·Zbl 0937.03030号 ·doi:10.1007/978-94-011-5300-3 [34] Hähnle，R.：高级多值逻辑。收录：Gabbay，D.M.，Guenthner，F.（编辑）《哲学逻辑手册》，第2卷，第2版。Kluwer，Dordrecht（2001）·Zbl 1003.03522号 [35] Kifer，M.，Subrahmanian，V.：广义注释逻辑编程理论及其应用。J.逻辑程序。12335-367（1992年）·doi:10.1016/0743-1066（92）90007-P [36] Marin，D.：RDF的形式化。智利大学计算机科学系技术报告TR/DCC-2006-8（2004）。http://www.dcc.uchile.cl/cgutierr/ftp/draltan.pdf [37] RDF语义，W3C（2004）。http://www.w3.org/TR/rdf-mt/ [38] Abadi，D.J.、Marcus，A.、Madden，S.、Hollenbach，K.：SW-store：用于语义web数据管理的垂直分区DBMS。VLDB J.18（2），385–406（2009）·Zbl 05828394号 ·doi:10.1007/s00778-008-0125-y [39] Buneman，P.，Kostylev，E.：RDFS的注释代数。摘自：语义网在产地管理中的作用第二届国际研讨会（SWPM 2010）。CEUR研讨会记录（2010年） [40] Ianni，G.、Krennwallner，T.、Martello，A.、Polleres，A.：查询持久RDFS数据的规则系统。摘自：《语义网：研究与应用》，第六届欧洲语义网会议（ESWC 2009），第857-862页（2009）·兹伯利05558779 ·doi:10.1007/978-3642-02121-370 [41] Bobillo，F.、Cerami，M.、Esteva，F.和García-Cerdaña，阿拉巴马州。，Peñaloza，R.，Straccia，U.：数学模糊逻辑框架中的模糊描述逻辑。摘自：Petr Cintula，C.N.，Fermüller，C.（编辑）《数学模糊逻辑手册》，第3卷。《逻辑、数学逻辑和基础的逻辑研究》，第58卷，第1105-1181页。伦敦大学出版社（2015）。第16章，国际标准书号978-1-84890-193-3 [42] Bobillo，F.、Delgado，M.、Gómez-Romero，J.：DeLorean:模糊OWL 1.1的推理器。摘自：第四届语义网不确定性推理国际研讨会论文集（URSW 2008）。CEUR研讨会记录，第423卷，2008年。ISSN 1613-0073 [43] Bobillo，F.，Straccia，U.：关于Lukasiewicz语义下模糊描述逻辑中的限定基数限制。摘自：Magdalena，L.、Ojeda-Aciego，M.、Verdegay，J.L.（编辑），《第十二届基于知识的系统信息处理和不确定性管理国际会议论文集》（IPMU 2008），第1008–1015页，2008年6月 [44] Bobillo，F.，Straccia，U.：模糊描述逻辑中数据类型限制的扩展。摘自：第九届智能系统设计与应用国际会议记录（ISDA 2009），第785-790页。IEEE计算机学会（2009）·doi:10.1109/ISDA.2009.27 [45] Bobillo，F.，Straccia，U.：具有模糊真值的模糊描述逻辑。载于：Carvalho，J.P.B.，Dubois，D.，Kaymak，U.，Sousa，J.M.C.（编辑），《国际模糊系统协会第十三届世界大会暨欧洲模糊逻辑与技术学会第六届会议论文集》（IFSA-EUSFLAT 2009），第189-194页，2009年7月。国际标准图书编号978-989-95079-6-8·Zbl 1192.68659号 [46] Bobillo，F.，Straccia，U.：在模糊描述逻辑中支持模糊粗糙集。收录：Sossai，C.，Chemello，G.（编辑）ECSQARU 2009。LNCS（LNAI），第5590卷，第676–687页。斯普林格，海德堡（2009）。doi:10.1007/978-3-642-02906-6_58·Zbl 1245.68181号 ·doi:10.1007/978-3-642-02906-6_58 [47] Dubois，D.，Mengin，J.，Prade，H.：描述逻辑中的可能性不确定性和模糊特征。初步讨论。收录：Sanchez，E.（编辑）《捕获智能：模糊逻辑和语义网络》。Elsevier，阿姆斯特丹（2006） [48] Lukasiewicz，T.：语义网答案集语义下的模糊描述逻辑程序。摘自：第二届语义网规则和规则标记语言国际会议（RuleML 2006），第89-96页。IEEE计算机学会（2006）·doi:10.1109/RULEML.2006.12 [49] Lukasiewicz，T.：语义网答案集语义下的模糊描述逻辑程序。《基础信息》82（3），289–310（2008）·Zbl 1135.68569号 [50] Lukasiewicz，T.，Straccia，U.：描述概率不确定性和模糊模糊性下的逻辑程序。收录：Mellouli，K.（编辑）ECSQARU 2007。LNCS（LNAI），第4724卷，第187-198页。斯普林格，海德堡（2007）。doi:10.1007/978-3-540-75256-119·Zbl 1148.68527号 ·doi:10.1007/978-3-540-75256-119 [51] Lukasiewicz，T.，Straccia，U.：在语义网的答案集语义下紧密集成模糊描述逻辑程序。收录人：Marchiori，M.，Pan，J.Z.，Marie，C.S.（编辑）RR 2007。LNCS，第4524卷，第289–298页。斯普林格，海德堡（2007）。doi:10.1007/978-3-540-72982-223·Zbl 05364400号 ·doi:10.1007/978-3-540-72982-223 [52] Lukasiewicz，T.，Straccia，U.：语义网模糊描述逻辑程序中的Top-k检索。收录：Prade，H.，Subrahmanian，V.S.（编辑）SUM 2007。LNCS（LNAI），第4772卷，第16-30页。斯普林格，海德堡（2007）。doi:10.1007/978-3-540-75410-7_2·兹伯利05293099 ·doi:10.1007/978-3-540-75410-7_2 [53] Lukasiewicz，T.，Straccia，U.：语义网答案集语义下的紧密耦合模糊描述逻辑程序。国际期刊Semant。Web、信息系统。4(3), 68–89 (2008) ·Zbl 05514878号 ·doi:10.4018/jswis.2008070104 [54] Lukasiewicz，T.，Straccia，U.：描述概率不确定性和模糊模糊性下的逻辑程序。国际期刊近似原因。50(6), 837–853 (2009) ·Zbl 1191.68691号 ·doi:10.1016/j.ijar.2009.03.004 [55] Sanchez，D.，Tettamanzi，A.G.：模糊描述逻辑中的广义量化。收录：《多特蒙德第八届模糊日会议录》（2004） [56] Sánchez，D.，Tettamanzi，A.G.B.：模糊描述逻辑中的推理和量化。收录人：Bloch，I.、Petrosino，A.、Tettamanzi，A.G.B.（编辑）《WILF 2005》。LNCS（LNAI），第3849卷，第81-88页。斯普林格，海德堡（2006）。doi:10.1007/11676935_10·兹比尔1168.68571 ·doi:10.1007/11676935_10 [57] Sanchez，D.，Tettamanzi，A.G.：模糊描述逻辑中的模糊量化。收录：Sanchez，E.（编辑）《捕获智能：模糊逻辑和语义网络》。Elsevier，阿姆斯特丹（2006） [58] Stoilos，G.，Stamou，G.：为语义网扩展模糊描述逻辑。参加：第三届OWL国际研讨会：经验和方向（2007年）。http://www.image.ece.ntua.gr/publications.php [59] Straccia，U.：一种模糊描述逻辑。摘自：《第十五届全国人工智能会议论文集》（AAAI 1998），美国麦迪逊，第594-599页（1998） [60] 斯特拉契亚，美国：用模糊具体领域描述逻辑。摘自：Bachus，F.，Jaakkola，T.（编辑），第21届人工智能不确定性会议（UAI 2005），第559-567页。爱丁堡AUAI出版社（2005） [61] 斯特拉契亚，U。：具有模糊具体域的模糊ALC。摘自：描述逻辑国际研讨会论文集（DL 2005），第96-103页。CEUR，爱丁堡（2005） [62] 美国斯特拉契亚：模糊描述逻辑程序。收录于：Bouchon-Meunier，C.M.B.，Yager，R.R.，Rifqi，M.（编辑）《不确定性与智能信息系统》，第405-418页。《世界科学》，新加坡（2008年）。国际标准图书编号978-981-279-234-1。第29章·Zbl 1171.68754号 ·doi:10.1142/9789812792358_0029 [63] Venetis，T.、Stoilos，G.、Stamou，G.和Kollias，S.：f-DLPs：用模糊集和模糊逻辑扩展描述逻辑程序。参见：IEEE模糊系统国际会议（Fuzz-IEEE 2007）（2007）。http://www.image.ece.ntua.gr/publications.php [64] Yen，J.：将术语包含语言推广到模糊逻辑。摘自：《第十二届国际人工智能联合会议论文集》（IJCAI 1991），澳大利亚悉尼，第472-477页（1991）·Zbl 0742.68062号 [65] Bobillo，F.，Straccia，U.：fuzzyDL：一个有表现力的模糊描述逻辑推理器。参见：2008年模糊系统国际会议（FUZZ 2008），第923-930页。IEEE计算机学会（2008）·doi:10.1109/FUZZY.2008.4630480 [66] Bobillo，F.，Straccia，U.：有限模糊描述逻辑：有限模糊的清晰表示\[\数学{ALCH}\]收录人：Bobillo，F.、Carvalho，R.、da Costa，P.C.G.、d'Amato，C.、Fanizzi，N.、Laskey，K.B.、Laskie，K.J.、Lukasiewicz，T.、Martin，T.，Nickles，M.、Pool，M.（编辑）第六届ISWC语义网不确定性推理研讨会论文集（URSW 2010）。CEUR研讨会记录，第654卷，第61-72页，2010年11月。ISSN 1613-0073 [67] Bobillo，F.，Straccia，U.：聚合运算符和模糊OWL 2。参见：第20届IEEE模糊系统国际会议论文集（FUZZ-IEEE 2011），第1727-1734页。IEEE出版社，2011年6月·doi:10.1109/FUZZY.2011.6007406 [68] Bobillo，F.，Straccia，U.：模糊本体论和模糊积分。摘自：《第十一届智能系统设计与应用国际会议论文集》（ISDA 2011），第1311-1316页。IEEE出版社，2011年11月·doi:10.1109/ISDA.2011.6121841 [69] Bobillo，F.，Straccia，U.：使用OWL 2的模糊本体表示。国际期刊近似原因。52, 1073–1094 (2011) ·兹伯利05976298 ·doi:10.1016/j.ijar.2011.05.003 [70] Bobillo，F.，Straccia，U.：广义模糊粗糙描述逻辑。信息科学。189, 43–62 (2012) ·Zbl 1247.68264号 ·doi:10.1016/j.ins.2011.10.002 [71] Bobillo，F.，Straccia，U.：模糊本体的聚合操作符。申请。软计算。13(9), 3816–3830 (2013). ISSN编号1568-4946·doi:10.1016/j.asoc.2013.05.008 [72] Bobillo，F.，Straccia，U.：模糊描述逻辑的一般概念包含吸收：第一步。摘自：第26届描述逻辑国际研讨会论文集（DL 2013）。CEUR研讨会论文集，第1014卷，第513–525页。CEUR-WS.org（2013）。http://ceur-ws.org/Vol-1014/paper_3.pdf [73] Dinh Khac，D.，Hölldobler，S.，Tran，D.-K.：模糊语言描述逻辑\[\马查尔{自动高度控制}_{FL}（佛罗里达州）\]摘自：《第十一届基于知识的系统中的信息处理和不确定性管理国际会议记录》（IPMU 2006），第2096–2103页。E.D.K.，巴黎（2006）。国际标准图书编号2-84254-112-X [74] Hölldobler，S.，Khang，T.D.，Störr，H.-P.：以模糊限制语作为概念修饰语的模糊描述逻辑。收录于：Phuong，N.H.，Nguyen，H.T.，Ho，N.C.，Santiprabhob，P.（eds.）Proceedings InTech/VJFuzzy 2002，第25-34页。越南自然科学技术中心信息技术研究所，科学技术出版社，河内（2002） [75] Hölldobler，S.，Nga，N.H.，Khang，T.D.：模糊描述逻辑\[\马查尔{自动高度控制}_{跳频}\]收录：描述逻辑国际研讨会论文集（DL 2005）（2005） [76] Hölldobler，S.，Störr，H.-P.，Khang，T.D.：模糊描述逻辑\[\马查尔{自动高度控制}_{跳频}\]用hedge代数作为概念修饰词。高级计算杂志。智力。智力。通知。（JACIII）7（3），294–305（2003）。doi:10.20965/jaciii.2003.p0294·Zbl 05426092号 ·doi:10.20965/jaciii.2003.p0294 [77] Hölldobler，S.，Störr，H.-P.，Khang，T.D.：带有模糊限制语和概念修饰语的模糊描述逻辑。In:第十届基于知识的系统中信息处理和不确定性管理国际会议记录（IPMU 2004）（2004） [78] Hölldobler，S.，Störr，H.-P.，Khang，T.D.：模糊描述逻辑的包含问题\[\马查尔{自动高度控制}_{跳频}\]In：第十届基于知识的系统中信息处理和不确定性管理国际会议记录（IPMU 2004）（2004） [79] Jiang，Y.、Liu，H.、Tang，Y.和Chen，Q.：使用基于本体论的软集进行语义决策。数学。计算。模型1。53(5–6), 1140–1149 (2011) ·Zbl 1217.68213号 ·doi:10.1016/j.mcm.2010.11.080 [80] Jiang，Y.，Tang，Y.、Chen，Q.、Wang，J.、Tang，S.：用描述逻辑扩展软集。计算。数学。申请。59（6），2087–2096（2010年）。ISSN 0898-1221。http://dx.doi.org/10.1016/j.camwa.2009.12.014 ·Zbl 1189.68140号 ·doi:10.1016/j.camwa.2009.12.014 [81] 姜瑜，汤瑜，王瑜，邓瑜，唐瑜：格上的表达模糊描述逻辑。知识-基于系统。23, 150–161 (2010). ISSN 0950-7051。http://dx.doi.org/10.1016/j.knosys.2009.11.002 ·doi:10.1016/j.knosys.2009.11.002 [82] 姜瑜、汤瑜、王瑜、唐瑜：直觉模糊粗糙描述逻辑中的推理。信息科学。179, 2362–2378 (2009) ·Zbl 1192.68672号 ·doi:10.1016/j.ins.2009.03.001 [83] 姜瑜、汤瑜、王瑜、唐瑜：分布式模糊本体中上下文相关知识的表示和推理。专家系统。申请。37(8), 6052–6060 (2010). ISSN 0957-4174。http://dx.doi.org/10.1016/j.eswa.2010.02.122 ·doi:10.1016/j.eswa.2010.02.122 [84] 姜瑜、王杰、邓平、唐生：表达模糊粗糙描述逻辑中的推理。模糊集系统。160(23), 3403–3424 (2009). doi:10.1016/j.fss.2009.01.004·Zbl 1192.68662号 ·doi:10.1016/j.fss.2009.01.004 [85] 姜瑜、王杰、唐S.、肖B.：用粗略描述逻辑进行推理：一种近似概念方法。信息科学。179(5), 600–612 (2009). 国际标准刊号0020-0255·Zbl 1170.68037号 ·doi:10.1016/j.ins.2008.10.21 [86] Kang，B.，Xu，D.，Lu，J.，Li，Y.：用比较表达式推理模糊描述逻辑。摘自：描述逻辑国际研讨会论文集（DL 2006）。CEUR研讨会论文集（2006） [87] Mailis，T.，Stoilos，G.，Stamou，G.：用霍恩规则和模糊描述逻辑进行表达推理。收录人：Marchiori，M.，Pan，J.Z.，Marie，C.S.（编辑）RR 2007。LNCS，第4524卷，第43-57页。斯普林格，海德堡（2007）。doi:10.1007/978-3-540-72982-24·Zbl 05364381号 ·doi:10.1007/978-3-540-72982-24 [88] 斯特拉契亚，U。：面向模糊描述逻辑中的空间推理。在：2009年IEEE模糊系统国际会议（FUZZ-IEEE 2009），第512–517页。IEEE计算机学会（2009）·doi:10.1109/FUZZY.2009.5277056 [89] Tresp，C.，Molitor，R.：模糊知识的描述逻辑。摘自：《第13届欧洲人工智能会议论文集》（ECAI 1998），英国布莱顿，1998年8月 [90] Bobillo，F.，Delgado，M.，Gómez-Romero，J.，Straccia，U.：哥德尔语义下的模糊描述逻辑。国际期刊近似原因。50(3), 494–514 (2009) ·Zbl 1191.68647号 ·doi:10.1016/j.ijar.2008.10.003 [91] Bobillo，F.，Straccia，U.：具有乘积t-范数的模糊描述逻辑。摘自：IEEE模糊系统国际会议论文集（Fuzz-IEEE 2007），第652-657页。IEEE计算机学会（2007）·doi:10.1109/FUZZY.2007.4295443 [92] Bobillo，F.，Straccia，U.：具有一般t-范数和数据类型的模糊描述逻辑。模糊集系统。160(23), 3382–3402 (2009) ·Zbl 1192.68659号 ·doi:10.1016/j.fss.2009.03.006 [93] Hájek，P.：使模糊描述逻辑更通用。模糊集系统。154(1), 1–15 (2005) ·Zbl 1094.03014号 ·doi:10.1016/j.fss.2005.03.005 [94] Hájek，P.：数学模糊逻辑为描述逻辑提供了什么？收录：Sanchez，E.（编辑）《模糊逻辑与语义网络》，《捕获智能》，第91-100页。Elsevier，阿姆斯特丹（2006）。第五章·doi:10.1016/S1574-9576（06）80007-9 [95] 美国斯特拉契亚：描述逻辑中的不确定性：基于格的方法。摘自：第十届基于知识的系统中信息处理和不确定性管理国际会议记录（IPMU 2004），第251-258页（2004） [96] 美国斯特拉契亚：格上的不确定性和描述逻辑程序。收录：Sanchez，E.（编辑）《模糊逻辑与语义网络》，《捕获智能》，第115-133页。Elsevier，阿姆斯特丹（2006）。第7章·doi:10.1016/S1574-9576（06）80009-2 [97] 斯特拉契亚，U。：格上的描述逻辑。《国际不确定性杂志》，模糊知识-基于系统。14(1), 1–16 (2006) ·Zbl 1093.68107号 ·网址：10.1142/S0218488506003807 [98] Baader，F.，Peñaloza，R.：具有一般概念包含公理的模糊描述逻辑是可判定的吗？在：2011年IEEE模糊系统国际会议论文集（Fuzz IEEE 2011）。IEEE出版社（2011）·Zbl 1348.68236号 ·doi:10.1109/FUZZY.2011.6007520 [99] Baader，F.，Peñaloza，R.：GCI在产品t-范数不可判定的模糊DL中进行推理。摘自：第24届描述逻辑国际研讨会论文集（DL 2011）。CEUR电子研讨会会议记录（2011年）·Zbl 1348.68236号 [100] Bobillo，F.、Bou，F.和Straccia，U.：关于某些模糊描述逻辑中有限模型属性的失效。模糊集系统。172(1), 1–12 (2011) ·Zbl 1231.03025号 ·doi:10.1016/j.fs.2011.02.012 [101] Bobillo，F.，Delgado，M.，Gómez-Romero，J.：模糊的清晰表示\[\mathcal{SHOIN}公司\]包含模糊名词和一般概念。摘自：2006年11月第二届语义网不确定性推理研讨会论文集（URSW 2006） [102] Bobillo，F.，Delgado，M.，Gómez-Romero，J.：模糊的清晰表示\[\mathcal{SHOIN}公司\]包含模糊名词和一般概念。收录人：Costa，P.C.G.，d'Amato，C.，Fanizzi，N.，Laskey，K.B.，Laskie，K.J.，Lukasiewicz，T.，Nickles，M.，Pool，M.（编辑）URSW 2005-2007。LNCS（LNAI），第5327卷，第174-188页。施普林格，海德堡（2008）。doi:10.1007/978-3-540-89765-1_11·Zbl 05488322号 ·doi:10.1007/978-3-540-89765-1_11 [103] Bobillo，F.，Delgado，M.，Gómez-Romero，J.：优化模糊描述逻辑的清晰表示\[\数学{SROIQ}\]收录人：Costa，P.C.G.，d'Amato，C.，Fanizzi，N.，Laskey，K.B.，Laskie，K.J.，Lukasiewicz，T.，Nickles，M.，Pool，M.（编辑）URSW 2005-2007。LNCS（LNAI），第5327卷，第189-206页。施普林格，海德堡（2008）。doi:10.1007/978-3-540-89765-1_12·Zbl 05488323号 ·doi:10.1007/978-3-540-89765-1_12 [104] Bobillo，F.，Delgado，M.，Gómez-Romero，J.，Straccia，U.：在模糊描述逻辑中加入哥德尔和扎德模糊逻辑。《国际不确定性杂志》，模糊知识-基于系统。20, 475–508 (2012) ·Zbl 1251.68224号 ·doi:10.1142/S0218488512500249 [105] Bobillo，F.，Straccia，U.：在Łukasiewicz语义下实现模糊描述逻辑的清晰表示。在：An，A.，Matwin，S.，Raś，Z.W.，西勒扎克，D.（编辑）ISMIS 2008。LNCS（LNAI），第4994卷，第309-318页。施普林格，海德堡（2008）。文件编号：10.1007/978-3-540-68123-6_34·Zbl 05285247号 ·doi:10.1007/978-3-540-68123-6_34 [106] Bobillo，F.，Straccia，U.：有限多值Lukasiewicz模糊描述逻辑的推理\[\数学{SROIQ}\]信息科学。181, 758–778 (2011) ·Zbl 1209.68519号 ·doi:10.1016/j.ins.20.10.020 [107] Bobillo，F.，Straccia，U.：有限模糊描述逻辑和清晰表示。收录：Bobillo，F.等人（编辑）UniDL/URSW 2008-2010。LNCS（LNAI），第7123卷，第99–118页。斯普林格，海德堡（2013）。doi:10.1007/978-3-642-35975-06·Zbl 1351.68262号 ·doi:10.1007/978-3-642-35975-06 [108] Bobillo，F.，Straccia，U.：基于MILP的（模糊）描述逻辑决策程序\[\数学{ALCB}\]《第27届描述逻辑国际研讨会论文集》（DL 2014），第1193卷，第378–390页。CEUR研讨会记录，ISSN 1613-00732014年7月 [109] Bobillo，F.，Straccia，U.：关于表达模糊描述逻辑中基于分区的优化。摘自：第24届IEEE模糊系统国际会议论文集（FUZZ-IEEE 2015）。IEEE出版社，2015年8月。doi:10.1109/FUZZ-IEEE.2015.7337838·doi:10.1109/FUZZ-IEEE.2015.7337838 [110] Bobillo，F.，Straccia，U.：优化模糊描述逻辑推理机，吸收一般概念包含。模糊集系统。292, 98–129 (2016). http://dx.doi.org/10.1016/j.fss.2014.10.029 ·Zbl 1380.68351号 ·doi:10.1016/j.fss.2014.10.029 [111] Bonatti，P.A.，Tettamanzi，A.G.B.：模糊描述逻辑的一些复杂性结果。收录于：Gesü，V.，Masulli，F.，Petrosino，A.（编辑）WILF 2003。LNCS（LNAI），第2955卷，第19-24页。斯普林格，海德堡（2006）。doi:10.1007/10983652_3·兹比尔1128.68491 ·doi:10.1007/10983652_3 [112] Borgwardt，S.，Distel，F.，Peñaloza，R.：我的模糊描述逻辑有多模糊？收录于：Gramlich，B.、Miller，D.、Sattler，U.（编辑）IJCAR 2012。LNCS（LNAI），第7364卷，第82-96页。施普林格，海德堡（2012）。doi:10.1007/978-3-642-31365-39·Zbl 1358.68274号 ·doi:10.1007/978-3-642-31365-39 [113] Borgwardt，S.，Distel，F.，Peñaloza，R.：非哥德尔否定使未经检验的一致性变得不可判定。参见：《2012年描述逻辑国际研讨会论文集》（DL 2012），第846卷。CEUR-WS.org（2012） [114] Borgwardt，S.，Peñaloza，R.：具有多值本体的格上的描述逻辑。摘自：《第二十二届国际人工智能联合会议论文集》（IJCAI 2011），第768–773页（2011） [115] Borgwardt，S.，Peñaloza，R.：有限格不进行推理\[\数学{ALCI}\]更努力。载：《第七届语义网不确定性推理国际研讨会论文集》（URSW 2011），第778卷，第51-62页。CEUR-WS.org（2011） [116] Borgwardt，S.，Peñaloza，R.：具有t-范数的格上的模糊本体。摘自：第24届描述逻辑国际研讨会论文集（DL 2011）。CEUR电子研讨会会议记录（2011年） [117] Borgwardt，S.，Peñaloza，R.：剩余De Morgan格上模糊描述逻辑的表格算法。收录：Krötzsch，M.，Straccia，U.（编辑）RR 2012。LNCS，第7497卷，第9-24页。施普林格，海德堡（2012）。doi:10.1007/978-3-642-33203-63·Zbl 06104218号 ·doi:10.1007/978-3-642-33203-6_3 [118] Borgwardt，S.，Peñaloza，R.：模糊描述逻辑的不确定性。参见：《第十三届知识表示与推理原则国际会议论文集》（KR 2012），第232-242页。AAAI出版社，罗马（2012） [119] Bou，F.，Cerami，M.，Esteva，F.：有限值Lukasiewicz模态逻辑是PSPACE完备的。摘自：《第二十二届国际人工智能联合会议论文集》（2011），第774-779页（2011） [120] Cerami，M.，Esteva，F.，Bou，F.：描述逻辑对无限值乘积逻辑的判定性。摘自：《第十二届知识表示与推理原则国际会议论文集》（KR 2010）。AAAI出版社（2010） [121] Cerami，M.，Straccia，U.：关于具有lukasiewicz t-范数的GCI的模糊描述逻辑的不可判定性。技术报告，《计算研究数据库》（2011年）。CoRR技术报告可在http://arxiv.org/abs/107.4212 [122] Cerami，M.，Straccia，U.：l-的KB可满足性的不确定性\[\数学｛ALC｝\]GCI，2011年7月。未发表的手稿 [123] Fernando Bobillo，美国：减少模糊本体推理中优化问题的规模。摘自：第十一届语义网不确定性推理国际研讨会论文集（URSW 2015）。CEUR研讨会论文集，第1479卷，第54–59页。CEUR-WS.org（2015）。http://ceur-ws.org/Vol-1479/paper6.pdf [124] Pan，J.Z.，Stamou，G.，Stoilos，G.，Thomas，E.：模糊DL-Lite本体的表达查询。参见：第二十届描述逻辑国际研讨会（2007年）。http://www.image.ece.ntua.gr/publications.php [125] Stoilos，G.、Stamou，G.，Pan，J.、Tzouvaras，V.、Horrocks，I.：模糊描述逻辑f-SHIN。摘自：语义网不确定性推理国际研讨会（2005年）。http://www.image.ece.ntua.gr/publications.php ·Zbl 1182.68292号 [126] Stoilos，G.，Stamou，G.B.，Pan，J.Z.，Tzouvaras，V.，Horrocks，I.：用非常有表现力的模糊描述逻辑进行推理。J.阿蒂夫。智力。第30号决议，273–320（2007年）·Zbl 1182.68292号 [127] Stoilos，G.、Straccia，U.、Stamou，G.和Pan，J.Z.：模糊描述逻辑中的一般概念包含。摘自：《第17届欧洲人工智能会议论文集》（ECAI 2006），第457-461页。IOS出版社（2006） [128] 斯特拉契亚，U。：将模糊描述逻辑转换为经典描述逻辑。收录人：Alferes，J.J.，Leite，J.（编辑）JELIA 2004。LNCS（LNAI），第3229卷，第385-399页。斯普林格，海德堡（2004）。doi:10.1007/978-3-540-30227-833·Zbl 1111.68690号 ·doi:10.1007/978-3-540-30227-833 [129] 斯特拉契亚，U。：面向描述逻辑中的Top-k查询应答：DL-lite案例。收录人：Fisher，M.，Hoek，W.，Konev，B.，Lisitsa，A.（编辑）JELIA 2006。LNCS（LNAI），第4160卷，第439–451页。斯普林格，海德堡（2006）。doi:10.1007/11853886_36·Zbl 1152.68618号 ·doi:10.1007/11853886_36 [130] 斯特拉契亚，U。：l-推理\[\数学{SHIF}\]：一种基于lukasiewicz语义的表达型模糊描述逻辑。技术报告TR-2007-10-18，Istituto di Scienceza e Tecnologie dell'Informazione，Consiglio Nazionale delle Ricerche，意大利比萨（2007） [131] 斯特拉契亚，U。，博比洛，F。：混合整数规划，一般概念包含和模糊描述逻辑。参见：《欧洲模糊逻辑与技术学会第五届会议记录》（EUSFLAT 2007），第2卷，第213-220页。俄斯特拉发大学（2007）·Zbl 1152.68632号 [132] 斯特拉契亚，U。，博比洛，F。：混合整数规划，一般概念包含和模糊描述逻辑。数学软件软计算。14（3），247-259（2007）·Zbl 1152.68632号 [133] Li，Y.，Xu，B.，Lu，J.，Kang，D.：离散表算法\[\数学{FSHI}\]。摘自：描述逻辑国际研讨会（DL 2006）。CEUR（2006）。http://ceur-ws.org/Vol-189/submission_14.pdf [134] Zhou，Z.，Qi，G.，Liu，C.，Hitzler，P.，Mutharaju，R.：模糊推理\[\数学{EL}^{+}\]使用map-reduce的本体。摘自：第20届欧洲人工智能会议（ECAI 2012），第933-934页。IOS出版社（2012）·Zbl 1327.68292号 [135] Andreasen，T.，Bulskov，H.：通过本体论进行概念查询。模糊集系统。160(15), 2159–2172 (2009). ISSN 0165-0114。doi:10.1016/j.fss.2009.02.019·兹比尔1186.68155 ·doi:10.1016/j.fss.2009.02.019 [136] Calegari，S.，Sanchez，E.：对象模糊概念网络：语义信息检索中本体的丰富。美国社会科学杂志。Technol公司。59(13), 2171–2185 (2008). ISSN 1532-2882。doi:10.1002/asi版本59:13·doi:10.1002/asi版本59:13 [137] Liu，C.，Liu，D.，Wang，S.：地理空间语义检索中的模糊地理空间信息建模。高级数学。计算。方法2（4），47-53（2012） [138] Straccia，U.，Visco，G.：DL-Media：以本体为中介的多媒体信息检索系统。参见：描述逻辑国际研讨会论文集（DL 2007），第250卷。CEUR，因斯布鲁克（2007）。http://ceur-ws.org [139] Straccia，U.，Visco，G.：DLMedia：以本体为中介的多媒体信息检索系统。摘自：第四届语义网不确定性推理国际研讨会论文集，德国卡尔斯鲁厄，10月26日（URSW 2008）。CEUR研讨会记录，第423卷。CEUR-WS.org（2008）。http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-423/paper4.pdf [140] Wallace，M.：灵活查询中的本体论和软计算。控制网络。38(2), 481–507 (2009) ·Zbl 1301.68225号 [141] Zhang，L.，Yu，Y.，Zhou，J.，Lin，C.，Yang，Y.：语义门户搜索的增强模型。载于：WWW 2005：第14届国际万维网会议记录，第453-462页。ACM出版社，纽约（2005年）。国际标准书号1-59593-046-9。http://doi.acm.org/10.1145/1060745.1060812 ·doi:10.1145/1060745.1060812 [142] Carlsson，C.，Brunelli，M.，Mezei，J.：模糊本体论的决策。软计算。16(7), 1143–1152 (2012). 编号1432-7643。doi:10.1007/s00500-011-0789-x·Zbl 06130911号 ·doi:10.1007/s00500-011-0789-x [143] Lee，C.-S.，Wang，M.H.，Hagras，H.：第二类模糊本体论及其在个人糖尿病饮食推荐中的应用。IEEE传输。模糊系统。18(2), 374–395 (2010) [144] Pérez，I.J.、Wikström，R.、Mezei，J.、Carlsson，C.、Herrera-Viedma，E.：使用模糊本体的群体决策新共识模型。软计算。17（9），1617-1627（2013）·Zbl 06506128号 ·doi:10.1007/s00500-012-0975-5 [145] Yaguinuma，C.A.，Santos，M.T.P.，Camargo，H.A.，Reformat，M.：基于FML的混合推理机，结合模糊本体和mamdani推理。In:第22届IEEE模糊系统国际会议论文集（FUZZ-IEEE 2013）（2013）·doi:10.1109/FUZZ-IEEE.2013.6622491 [146] Dasiopoulou，S.，Kompatsiaris，I.：图像解释描述逻辑框架的趋势和问题。收录：Konstantopoulos，S.、Perantonis，S..、Karkaletsis，V.、Spyropoulos、C.D.、Vouros，G.（编辑）SETN 2010。LNCS（LNAI），第6040卷，第61-70页。施普林格，海德堡（2010）。doi:10.1007/978-3642-12842-4_10·Zbl 05708221号 ·doi:10.1007/978-3642-12842-4_10 [147] Dasiopoulou，S.，Kompatsiaris，I.，Strintzis，M.G.：将模糊DLS应用于图像语义提取。J.Data Semant公司。14, 105–132 (2009) ·Zbl 05644587号 ·doi:10.1007/978-3-642-10562-3_4 [148] Dasiopoulou，S.，Kompatsiaris，I.，Strintzis，M.G.：研究语义图像分析中基于模糊DLS的推理。多媒体工具应用。49(1), 167–194 (2010). ISSN 1380-7501。doi:10.1007/s11042-009-0393-6·Zbl 05797787号 ·doi:10.1007/s11042-009-0393-6 [149] Meghini，C.，Sebastiani，F.，Straccia，U.：多媒体信息检索模型。《美国临床医学杂志》48（5），909–970（2001）·Zbl 1323.68257号 ·doi:10.1145/502102.502103 [150] Stoilos，G.、Stamou，G.，Tzouvaras，V.、Pan，J.Z.、Horrock，I.：多媒体知识表示的模糊描述逻辑。摘自：多媒体和语义网国际研讨会论文集（2005年） [151] 斯特拉契亚，美国：基于逻辑的多媒体文档检索方法的基础。德国多特蒙德多特蒙德大学计算机科学系博士论文，1999年6月 [152] 美国斯特拉契亚：基于四值模糊描述逻辑的多媒体对象检索框架。收录：Crestani，F.，Pasi，G.（编辑）《信息检索中的软计算：技术与应用》。SFSC，第50卷，第332-357页。斯普林格，海德堡（2000）·doi:10.1007/978-3-7908-1849-914 [153] Costa，P.C.G.，Laskey，K.B.，Lukasiewicz，T.：语义网中的不确定性表示和推理。载于：《知识社会中的语义网络工程》，第315-340页。IGI Global（2008） [154] Quan，T.T.，Hui，S.C.，Fong，A.C.M.，Cao，T.H.：语义web的自动模糊本体生成。IEEE传输。知识。数据工程18（6），842–856（2006）·Zbl 05109817号 ·doi:10.1109/TKDE.2006.87 [155] 桑切斯（编辑）：模糊逻辑和语义网。捕获情报，第1卷。Elsevier Science，阿姆斯特丹（2006）·Zbl 1107.68336号 [156] Díaz-Rodríguez，N.，LeóN-Cadahía，O.，Pegalajar-Cuéllar，M.，Lilius，J.，Delgado，M.：使用基于模糊本体的混合方法处理实时人类活动跟踪和识别中的真实世界上下文意识、不确定性和模糊性。传感器14（10），18131–18171（2014）·doi:10.3390/s141018131 [157] Díaz-Rodríguez，N.，Pegalajar-Cuéllar，M.，Lilius，J.，Delgado，M.：人类行为语义建模和识别的模糊本体论。知识-基于系统。66, 46–60 (2014) ·doi:10.1016/j.knosys.2014.04.016 [158] Liu，C.，Liu，D.，Wang，S.：不确定性下的情境建模和识别。摘自：第二届亚太电路、通信和系统会议记录（PACCS 2010），第296–299页（2010） [159] 罗德里格斯（Rodríguez，N.D.）、库拉尔（Cuéllar，M.P.）、利利乌斯（Lilius，J.）、卡尔沃·弗洛雷斯（Calvo-Flores，M.D.）：人类行为识别本体论调查。ACM计算。调查46（4），43:1–43:33（2014）。ISSN 0360-0300。doi:10.1145/2523819·Zbl 06410352号 ·doi:10.1145/2523819 [160] Chen，R.-C.，Bau，C.T.，Yeh，C.-J.：基于WordNet系统和模糊形式概念分析技术合并领域本体。申请。软计算。1908年至1923年（2011年）11（2）·Zbl 05889510号 ·doi:10.1016/j.soc.2010.06.007 [161] Todorov，K.，Hudelot，C.，Popescu，A.，Geibel，P.：使用背景知识的模糊本体对齐。国际不确定性模糊知识杂志-基于系统。22(1), 75–112 (2014) ·Zbl 1322.68195号 ·doi:10.1142/S02184888514500044 [162] Agarwal，S.，Lamparter，S.：SMART：电子市场的语义配对门户。摘自：CEC 2005：第七届IEEE电子商务技术国际会议记录（CEC 2005），第405-408页。IEEE计算机学会，华盛顿特区（2005年）。国际标准图书编号0-7695-2277-7。http://dx.doi.org/10.109/ICECT.2005.84 ·doi:10.1109/ICECT.2005.84 [163] Colucci，S.、Noia，T.D.、Ragone，A.、Ruta，M.、Straccia，U.、Tinelli，E.：用于高级技能管理的信息性top-k检索。摘自：de Virgilio，R.、Giunchiglia，F.、Tanca，L.（编辑）《语义网络信息管理》，第449-476页。施普林格，海德堡（2010）。doi:10.1007/978-3642-04329-1_19。第19章·doi:10.1007/978-3-642-04329-119 [164] Ragone，A.，Straccia，U.，Bobillo，F.，Noia，T.，Sciascio，E.：电子市场中的模糊双边配对。收录人：Lovrek，I.、Howlett，R.J.、Jain，L.C.（编辑）KES 2008。LNCS（LNAI），第5179卷，第293–301页。施普林格，海德堡（2008）。doi:10.1007/978-3-540-85567-5_37·Zbl 05368140号 ·doi:10.1007/978-3-540-85567-5_37 [165] Ragone，A.，Straccia，U.，Noia，T.D.，Sciascio，E.D.，Donini，F.M.：为P2P电子市场中的配对扩展数据日志。摘自：Ceci，M.、Malerba，D.、Tanca，L.（编辑）第十五届意大利高级数据库系统研讨会（SEBD 2007），第463-470页（2007）。国际标准图书编号978-88-902981-0-3 [166] Ragone，A.，Straccia，U.，Noia，T.，Sciascio，E.，Donini，F.M.：P2P电子市场中配对的模糊知识库。收录：Franconi，E.，Kifer，M.，May，W.（编辑）ESWC 2007。LNCS，第4519卷，第414–428页。斯普林格，海德堡（2007）。数字对象标识代码：10.1007/978-3-540-72667-8_30·数字对象标识代码：10.1007/978-3-540-72667-8_30 [167] Ragone，A.，Straccia，U.，Noia，T.，Sciascio，E.，Donini，F.M.：走向自动化多议题谈判的模糊逻辑。摘自：Hartmann，S.，Kern-Isberner，G.（编辑）FoIKS 2008。LNCS，第4932卷，第381-396页。施普林格，海德堡（2008）。doi:10.1007/978-3-540-77684-0_25·Zbl 05242146号 ·doi:10.1007/978-3-540-77684-0_25 [168] Straccia，U.、Tinelli，E.、Colucci，S.、Noia，T.、Sciascio，E.：基于语义的top-k检索，用于能力管理。收录人：Rauch，J.、Ra-shi，Z.W.、Berka，P.、Elomaa，T.（编辑）ISMIS 2009。LNCS（LNAI），第5722卷，第473-482页。斯普林格，海德堡（2009）。doi:10.1007/978-3642-04125-9_50·Zbl 05624702号 ·doi:10.1007/978-3642-04125-9_50 [169] Straccia，U.、Tinelli，E.、Noia，T.D.、Sciascio，E.D.、Colucci，S.：自动化人力资源管理的Top-k检索。摘自：第17届意大利高级数据库系统研讨会论文集（SEBD 2009），第161-168页（2009） [170] 美国斯特拉契亚：模糊描述逻辑中的多准则决策：第一步。收录人：Velásquez，J.D.，Ríos，S.A.，Howlett，R.J.，Jain，L.C.（编辑）KES 2009。LNCS（LNAI），第5711卷，第78-86页。斯普林格，海德堡（2009）。doi:10.1007/978-3642-04595-0_10·Zbl 05611583号 ·doi:10.1007/978-3-642-04595-0_10 [171] Lee，C.-S.，Jian，Z.-W.，Huang，L.-K.：模糊本体及其在新闻摘要中的应用。IEEE传输。系统。人类网络。B部分35（5），859–880（2005）·doi:10.1109/TSMCB.2005.845032 [172] Eich，M.、Hartanto，R.、Kasperski，S.、Natarajan，S.和Wollenberg，J.：在未知环境中进行协调的多机器人月球样品采集任务。J.野外机器人。31(1), 35–74 (2014) ·doi:10.1002/rob.21491 [173] Eich，T.：基于模糊DL的语义感知在土壤容器分类中的应用。摘自：IEEE实用机器人应用技术国际会议（TePRA 2013），第1-6页。IEEE出版社（2013）·doi:10.1109/TePRA.2013.6556369 [174] Lisi，F.A.，Straccia，U.：自动归纳模糊本体公理的基于逻辑的计算方法。《基础信息》124（4），503–519（2013）·Zbl 1268.68160号 [175] Lisi，F.A.，Straccia，U.：模糊描述逻辑中学习GCI公理的系统。摘自：第26届描述逻辑国际研讨会论文集（DL 2013）。CEUR研讨会论文集，第1014卷，第760-778页。CEUR-WS.org（2013）。http://ceur-ws.org/Vol-1014/paper_42.pdf [176] Lisi，F.A.，Straccia，U.：ILP能处理不完整和模糊的结构化知识吗？摘自：Muggleton，S.H.，Watanabe，H.（编辑）《归纳逻辑编程的最新进展》，第21章，第199-206页。《世界科学》（2014）。doi:10.1142/9781783265091_0021·Zbl 1328.68219号 ·doi:10.1142/9781783265091_0021 [177] Lisi，F.A.，Straccia，U.：学习模糊具体领域的描述逻辑。《基础信息》140（3-4），373-391（2015）。ISSN 1875-8681。doi:10.3233/FI-2015-1259·Zbl 1342.68312号 ·doi:10.3233/FI-2015-1259 [178] Lisi，F.A.，Straccia，U.：一种学习模糊描述逻辑中包含公理的归纳逻辑编程方法。参见：第26届意大利计算逻辑会议（CILC 2011）。CEUR电子研讨会论文集，第810卷，第57-71页（2011年）。http://ceur-ws.org/Vol-810/paper-l04.pdf [179] Lisi，F.A.，Straccia，U.：学习模糊DL包含公理。收录人：Fanelli，A.M.，Pedrycz，W.，Petrosino，A.（编辑）WILF 2011。LNCS（LNAI），第6857卷，第58-66页。斯普林格，海德堡（2011）。doi:10.1007/978-3-642-23713-3_8·Zbl 1285.68169号 ·doi:10.1007/978-3-642-23713-38 [180] Lisi，F.A.，Straccia，U.：处理归纳逻辑编程中的不完整性和模糊性。摘自：第28届意大利计算逻辑会议（CILC 2013）。CEUR电子研讨会论文集，第1068卷，第179-193页（2013年）。ISSN 1613-0073。http://ceur-ws.org/Vol-1068/paper-l12.pdf [181] Lisi，F.A.，Straccia，U.：在不完整和模糊情况下学习的一种类似于FOIL的方法。收录：Zaverucha，G.，Santos Costa，V.，Paes，A.（编辑）ILP 2013。LNCS（LNAI），第8812卷，第123–139页。斯普林格，海德堡（2014）。doi:10.1007/978-3-662-44923-39·Zbl 1319.68218号 ·doi:10.1007/978-3-662-44923-39 [182] 斯特拉契亚，U。、穆奇，M。：pFOIL-DL：学习（模糊）\[\数学{EL}\]使用概率集合估计从清晰的owl数据中进行概念描述。摘自：第30届美国计算机学会应用计算研讨会论文集（SAC 2015），第345-352页。ACM，萨拉曼卡（2015）·数字对象标识代码：10.1145/2695664.2695707 [183] Balaj，R.，Groza，A.：基于推特流的实时语义分析检测流感疫情。摘自：《第三届智能系统建模与开发国际会议论文集》（MDIS 2013），第30–39页（2013） [184] d'Aquin，M.，Lieber，J.，Napoli，A.：使用具有模糊具体域的描述逻辑实现肿瘤学的语义门户。收录：Sanchez，E.（编辑）《模糊逻辑与语义网络》。《获取情报》，第379-393页。爱思唯尔（2006）·doi:10.1016/S1574-9576（06）80021-3 [185] Fernández，C.：理解图像序列：本体论在认知视觉系统中的作用。西班牙巴塞罗那大学博士论文（2010年） [186] Iglesias，J.，Lehmann，J.：《将模糊逻辑能力集成到基于本体的归纳逻辑编程框架中》，摘自：《第十一届智能系统设计与应用国际会议论文集》（ISDA 2011），第1323-1328页（2011）·doi:10.1109/ISDA.2011.6121843 [187] Konstanopoulos，S.，Karkaletsis，V.，Bilidas，D.：一个用于文化对象描述的抽象语义表示的智能创作环境。摘自：2009年EACL文化遗产、社会科学、人文和教育语言技术和资源研讨会论文集（LaTeCH SHELT&R 2009），第10-17页（2009）·doi:10.3115/1642049.1642051 [188] Letia，I.A.，Groza，A.：在描述逻辑中建模不精确的参数。高级电子设备。计算。工程9（3），94-99（2009）·doi:10.4316/aece.2009.03017 [189] Liu，O.，Tian，Q.，Ma，J.：研发项目选择中模型管理的模糊描述逻辑方法。附：第八届亚太信息系统会议记录（PACIS 2004）（2004） [190] Martínez-Cruz，C.，van der Heide，A.，Sánchez，D.，Triviño，G.：使用本体论近似感知计算理论。专家系统。申请。39(10), 9494–9503 (2012). doi:10.1016/j.eswa.2012.02.107·doi:10.1016/j.eswa.2012.02.107 [191] Quan，T.T.，Hui，S.C.，Fong，A.C.M.：语义帮助桌面支持的自动模糊本体生成。IEEE传输。Ind.Inf.2（3），155-164（2006）·doi:10.1109/TII.2006.873363 [192] Rodger，J.A.：航空航天实物期权评估的模糊语言本体支付方法。专家系统。申请。40(8) (2013) ·doi:10.1016/j.eswa.2012.12.001 [193] 斯拉维切克：本体论驱动的模糊工作流系统。收件人：Emde Boas，P.，Groen，F.C.A.，Italiano，G.F.，Nawrocki，J.，Sack，H.（编辑）SOFSEM 2013。LNCS，第7741卷，第515–527页。斯普林格，海德堡（2013）。doi:10.1007/978-3-642-35843-244·Zbl 06365554号 ·doi:10.1007/978-3-642-35843-244 [194] OWL Web本体语言概述。http://www.w3.org/TR/owl-features网站/。W3C（2004） [195] Cuenca-Grau，B.，Horrocks，I.，Motik，B.，Parsia，B.，Patel-Schneider，P.，Sattler，U.:OWL 2：OWL的下一步。J.Web Semant公司。6(4), 309–322 (2008) ·兹伯利05517734 ·doi:10.1016/j.websem.2008.05.001 [196] Bobillo，F.，Straccia，U.：模糊本体推理器模糊DL。知识-基于系统。95, 12–34 (2016). doi:10.1016/j.knosys.2015.11.017。http://www.sciencedirect.com/science/article/pii/S0950705115004621 ·doi:10.1016/j.knosys.2015.11.017 [197] 火灾。http://www.image.ece.ntua.gr/nsimou/FiRE/ [198] Stoilos，G.、Simou，N.、Stamou，G.和Kollias，S.：不确定性和语义网。IEEE国际。系统。21(5), 84–87 (2006) ·Zbl 05334131号 ·doi:10.1109/MIS.2006.105 [199] 美国斯特拉契亚：Softfacts:top-k检索引擎，用于以本体为中介的关系数据库访问。摘自：《2010年IEEE系统、人与控制论国际会议论文集》（SMC 2010），第4115-4122页。IEEE出版社（2010）·doi:10.1010/ICSMC.2010.5641780 [200] Haarslev，V.，Pai，H.-I，Shiri，N.：在不确定性扩展的ALC中优化表格推理。摘自：2007年描述逻辑国际研讨会论文集（DL 2007）（2007） [201] Habiballa，H.：模糊描述逻辑的解决策略。摘自：《欧洲模糊逻辑与技术学会第五届会议记录》（EUSFLAT 2007），第2卷，第27-36页（2007） [202] Konstantopoulos，S.，Apostolikas，G.：未知模糊度上的模糊-DL推理。收录人：Meersman，R.，Tari，Z.，Herrero，P.（编辑）OTM 2007。LNCS，第4806卷，第1312-1318页。斯普林格，海德堡（2007）。doi:10.1007/978-3-540-76890-6_59。国际标准图书编号（ISBN）3-540-76889-0、978-3-540-768、89-0·Zbl 05273269号 ·doi:10.1007/978-3-540-76890-6_59 [203] Wang，H.，Ma，Z.M.，Yin，J.：FRESG：一种模糊描述逻辑推理器。收录人：Bhowmick，S.S.，Küng，J.，Wagner，R.（编辑）DEXA 2009。LNCS，第5690卷，第443-450页。斯普林格，海德堡（2009）。doi:10.1007/978-3-642-03573-9_38·Zbl 05601085号 ·doi:10.1007/978-3-642-03573-9_38 [204] 美国斯特拉契亚：以本体为中介的多媒体信息检索系统。摘自：第40届多值逻辑国际研讨会论文集（ISMVL 2010），第319-324页。IEEE计算机学会（2010）·doi:10.1109/ISMVL.2010.65 [205] Gao，M.，Liu，C.：通过模糊描述逻辑扩展OWL。在：第17届IEEE人工智能工具国际会议论文集（ICTAI 2005），第562–567页。IEEE计算机学会，华盛顿特区（2005年）。国际标准图书编号0-7695-2488-5。http://dl.acm.org/citation.cfm？id=1105924.1106115 [206] Stoilos，G.、Stamou，G.和Pan，J.Z.：OWL的模糊扩展：逻辑属性和模糊描述逻辑的简化。国际期刊近似原因。51(6), 656–679 (2010). ISSN 0888-613X。doi:10.1016/j.ijar.2010.01.05·兹比尔1209.68525 ·doi:10.1016/j.ijar.2010.01.05 [207] Bobillo，F.，Straccia，U.：模糊OWL 2的OWL本体。收录人：Rauch，J.、Ra-shi，Z.W.、Berka，P.、Elomaa，T.（编辑）ISMIS 2009。LNCS（LNAI），第5722卷，第151-160页。斯普林格，海德堡（2009）。doi:10.1007/978-3642-04125-9_18·Zbl 05624670号 ·doi:10.1007/978-3-642-04125-9_18 [208] Bobillo，F.，Straccia，U.：在OWL 2中表示模糊本体。参见：第19届IEEE模糊系统国际会议记录（FUZZ-IEEE 2010），第2695–2700页。IEEE出版社，2010年7月·doi:10.1109/FUZZY.2010.5584661 [209] 模糊OWL 2 Web本体语言。http://www.straccia.info/software/FuzzyOWL/。ISTI-CNR（2011） [210] Ullman，J.D.：数据库和知识库系统原理，第1卷，第2卷。计算机科学出版社，波托马克（1989） [211] 夏皮罗（Shapiro，E.Y.）：具有不确定性的逻辑程序：实现基于规则的系统的工具。摘自：《第八届国际人工智能联合会议记录》（IJCAI 1983），第529-532页（1983） [212] Baldwin，J.F.，Martin，T.P.，Pilsworth，B.W.：人工智能中的模糊和证据推理。研究出版社，Baldock（1995） [213] Baldwin，J.F.，Martin，T.P.，Pilsworth，B.W.：模糊计算的应用：基于知识的系统：知识表示。收录：Ruspini，E.H.，Bonnisone，P.，Pedrycz，W.（编辑）《模糊计算手册》。IOP出版，布里斯托尔（1998） [214] Bueno，F.、Cabeza，D.、Carro，M.、Hermenegildo，M.，López-García，P.、Puebla，G.：Ciao序言系统。参考手册。技术报告CLIPS3/97.1。马德里技术大学计算机科学学院（UPM）（1997年）。http://www.cliplab.org/Software/Ciao/ [215] Cao，T.H.：带注释的模糊逻辑程序。模糊集系统。113(2), 277–298 (2000) ·兹比尔0951.68015 ·doi:10.1016/S0165-0114（98）00083-9 [216] Chortaras，A.，Stamou，G.B.，Stafylopatis，A.：加权模糊程序的自适应。摘自：第16届人工神经网络国际会议——ICANN 2006，第二部分，第45–54页（2006）·Zbl 1165.68023号 ·doi:10.1007/11840930_5 [217] Chortaras，A.，Stamou，G.，Stafylopatis，A.：使用加权模糊规则的集成查询应答。收录：Mellouli，K.（编辑）ECSQARU 2007。LNCS（LNAI），第4724卷，第767-778页。斯普林格，海德堡（2007）。doi:10.1007/978-3-540-75256-1_67·Zbl 1148.68505号 ·doi:10.1007/978-3-540-75256-1_67 [218] Chortaras，A.，Stamou，G.B.，Stafylopatis，A.：加权模糊逻辑程序语义的自顶向下计算。在：第一届网络推理和规则系统国际会议（RR 2007），第364–366页（2007）·Zbl 05364409号 ·doi:10.1007/978-3-540-72982-232 [219] 易卜拉欣，R.：模糊逻辑编程。模糊集系统。117(2), 215–230 (2001) ·Zbl 0985.68010号 ·doi:10.1016/S0165-0114（98）00300-5 [220] Guller，D.：模糊析取程序的程序语义。收录：Baaz，M.，Voronkov，A.（编辑）LPAR 2002。LNCS（LNAI），第2514卷，第247-261页。斯普林格，海德堡（2002）。doi:10.1007/3-540-36078-6_17。国际标准图书编号3-540-00010-0·兹比尔1023.0537 ·doi:10.1007/3-540-36078-6_17 [221] Guller，D.：弱相似性模糊析取程序的语义。摘自：Abraham，A.，Köppen，M.（编辑）混合信息系统。AINSC，第14卷，第285-299页。Physica-Verlag，海德堡（2002）。doi:10.1007/978-3-7908-1782-921。国际标准图书编号3-7908-1480-6·兹比尔1033.68074 ·doi:10.1007/978-3-7908-1782-9_21 [222] Hinde，C.：模糊序言。国际曼马赫杂志。螺柱24，569–595（1986）·doi:10.1016/S0020-7373（86）80009-8 [223] Ishizuka，M.，Kanai，N.：Prolog-ELF：结合模糊逻辑。摘自：《第九届国际人工智能联合会议论文集》（IJCAI 1985），加利福尼亚州洛杉矶，第701-703页（1985）·doi:10.1007/BF03037082 [224] Klawonn，F.，Kruse，R.：基于Lukasiewicz逻辑的Prolog。数学软件软计算。1(1), 5–29 (1994). https://citeseer.ist.psu.edu/klawonn94lukasiewicz.html [225] Magrez，P.，Smets，P.：模糊模型：适用于基于知识的应用系统的新模型。《国际情报杂志》。系统。4, 181–200 (1989) ·Zbl 0672.03010号 ·doi:10.1002/int.4550040205 [226] Martin，T.P.，Baldwin，J.F.，Pilsworth，B.W.：FProlog的实现——模糊序言解释器。模糊集系统。23(1), 119–129 (1987). ISSN 0165-0114。http://dx.doi.org/10.1016/0165-0114(87)90104-7 ·Zbl 0633.68091号 ·doi:10.1016/0165-0114（87）90104-7 [227] Mukaidono，M.：模糊逻辑编程基础。收录：《模糊系统的进展——应用和理论》，第1卷。《世界科学》，新加坡（1996年） [228] Mukaidono，M.，Shen，Z.，Ding，L.：模糊序言的基础。国际期刊近似原因。3(2), 179–193 (1989). ISSN 0888-613X。http://dx.doi.org/10.1016/0888-613X(89)90005-4 ·Zbl 0666.68089号 ·doi:10.1016/0888-613X（89）90005-4 [229] Paulik，L.：对于模糊SLD分辨率，最好的可能答案是可计算的。在：Hajék，P.（编辑）哥德尔1996：数学、计算机科学和物理的逻辑基础。LNL，第6卷，第257-266页。斯普林格，海德堡（1996）·Zbl 0854.03009号 ·doi:10.1007/978-3-662-21963-8_19 [230] Rhodes，P.C.，Menani，S.M.：走向模糊逻辑编程系统：子句形式的模糊逻辑。知识-基于系统。8(4), 174–182 (1995) ·Zbl 05480065号 ·doi:10.1016/0950-7051（95）96214-C [231] Sessa，M.I.：基于相似性的SLD分辨率的近似推理。定理。计算。科学。275, 389–426 (2002) ·Zbl 1051.68045号 ·doi:10.1016/S0304-3975（01）00188-8 [232] Shen，Z.，Ding，L.，Mukaidono，M.：模糊计算。在：模糊Prolog机器的理论框架，第89-100页。Elsevier Science Publishers B.V.（1988）。第A章·Zbl 0667.68105号 [233] Subramanian，V.：关于定量逻辑程序的语义。在：第四届IEEE逻辑编程研讨会论文集，第173–182页。计算机社会出版社（1987） [234] van Emden，M.：定量演绎及其不动点理论。J.日志。程序。4(1), 37–53 (1986) ·Zbl 0609.68068号 ·doi:10.1016/0743-1066（86）90003-8 [235] Vojtás，P.：模糊逻辑编程。模糊集系统。124361–370（2001年）·Zbl 1015.68036号 ·doi:10.1016/S0165-0114（01）00106-3 [236] Vojtás，P.，Paulík，L.：非经典扩展SLD分辨率的合理性和完整性。摘自：Dyckhoff，R.，Herre，H.，Schroeder-Heister，P.（编辑）ELP 1996。LNCS，第1050卷，第289–301页。斯普林格，海德堡（1996）。doi:10.1007/3-540-60983-0-20·doi:10.1007/3-540-60983-0-20 [237] Vojtás，P.，Vomlelová，M.：不完全信息逻辑编程模型之间演绎和归纳任务的转换。摘自：第十届基于知识的系统中信息处理和不确定性管理国际会议记录（IPMU 2004），第839-846页（2004） [238] Wagner，G.：模糊和可能性逻辑程序中的否定。收录：Martin，T.，Arcelli，F.（编辑）《逻辑编程与软计算》。研究出版社（1998） [239] Yasui，H.，Hamada，Y.，Mukaidono，M.：基于Lukasiewicz蕴涵和有界积的模糊序言。IEEE传输。模糊系统。2, 949–954 (1995) [240] Calmet，J.，Lu，J.J.，Rodriguez，M.，Schü，J.:签名公式逻辑编程：操作语义和应用（扩展抽象）。收录：Ra-shi，Z.W.，Michalewicz，M.（编辑）ISMIS 1996。LNCS，第1079卷，第202-211页。斯普林格，海德堡（1996）。doi:10.1007/3-540-61286-6_145·doi:10.1007/3-540-61286-6_145 [241] Damásio，C.V.，Medina，J.，Ojeda-Aciego，M.：分类多伴随逻辑程序：终止结果和应用。收录人：Alferes，J.J.，Leite，J.（编辑）JELIA 2004。LNCS（LNAI），第3229卷，第252–265页。斯普林格，海德堡（2004）。doi:10.1007/978-3-540-30227-823·Zbl 1111.68379号 ·doi:10.1007/978-3-540-30227-823 [242] Damásio，C.V.，Medina，J.，Ojeda-Aciego，M.：剩余逻辑编程的制表证明程序。附：第六届欧洲人工智能会议记录（ECAI 2004）（2004）·Zbl 1111.68379号 [243] Damásio，C.V.，Medina，J.，Ojeda Aciego，M.：排序多伴随逻辑程序的终止结果。摘自：第十届基于知识的系统中信息处理和不确定性管理国际会议记录（IPMU 2004），第1879–1886页（2004）·Zbl 1111.68379号 ·doi:10.1007/978-3-540-30227-823 [244] Damásio，C.V.，Pan，J.Z.，Stoilos，G.，Straccia，U.：在RuleML中表示不确定性规则的方法。摘自：第二届语义网规则和规则标记语言国际会议（RuleML 2006），第97-106页。IEEE（2006）·Zbl 1135.68574号 ·doi:10.1109/RULEML.2006.3 [245] Damásio，C.V.，Pereira，L.M.：逻辑程序的次一致语义调查。摘自：Gabbay，D.，Smets，P.（编辑）《可推迟推理和不确定性管理系统手册》，第241-320页。Kluwer，Alphen aan den Rijn（1998年）·Zbl 0936.68021号 [246] Damásio，C.V.，Pereira，L.M.：反单调逻辑程序。收录：Eiter，T.、Faber，W.、Truszczynski，M.（编辑）LPNMR 2001。LNCS（LNAI），第2173卷，第379-393页。斯普林格，海德堡（2001）。doi:10.1007/3-540-45402-028·Zbl 1007.68022号 ·doi:10.1007/3-540-45402-028 [247] Damásio，C.V.，Pereira，L.M.：单调逻辑程序和剩余逻辑程序。收录：Benferhat，S.，Besnard，P.（编辑）ECSQARU 2001。LNCS（LNAI），第2143卷，第748–759页。斯普林格，海德堡（2001）。doi:10.1007/3-540-44652-466。国际标准图书编号3-540-42464-4·兹比尔1001.68545 ·doi:10.1007/3-540-44652-466 [248] Damásio，C.V.，Pereira，L.M.：分类单调逻辑程序及其嵌入。摘自：第十届基于知识的系统中信息处理和不确定性管理国际会议记录（IPMU 2004），第807–814页（2004） [249] Damásio，C.，Medina，J.，Ojeda-Aciego，M.：一阶剩余逻辑程序的制表程序。In:第十一届基于知识的系统中信息处理和不确定性管理国际会议记录（IPMU 2006）（2006）·Zbl 1122.68025号 [250] Damásio，C.，Medina，J.，Ojeda-Aciego，M.：一阶剩余逻辑程序的制表程序。摘自：IEEE世界计算智能大会会议记录（模糊系统部分）（WCCI 2006），第9576–9583页（2006） [251] Damásio，C.，Medina，J.，Ojeda-Aciego，M.：用不完全信息终止逻辑程序：应用程序和查询过程。J.应用。日志。7(5), 435–458 (2007) ·Zbl 1122.68025号 ·doi:10.1016/j.cal.2006.03.004 [252] Denecker，M.，Marek，V.，Truszczynski，M.：近似，稳定算子，基础良好的不动点以及在非单调推理中的应用。摘自：Minker，J.（编辑）《基于逻辑的人工智能》，第127-144页。Kluwer学术出版社，Alphen aan den Rijn（2000）·Zbl 0988.68183号 ·doi:10.1007/978-1-4615-1567-8_6 [253] Denecker，M.，Pelov，N.，Bruynooghe，M.：具有聚合的逻辑程序的终极基础良好且稳定的语义。收录：Codognet，P.（编辑）ICLP 2001。LNCS，第2237卷，第212-226页。斯普林格，海德堡（2001）。doi:10.1007/3-540-45635-X_22。国际标准图书编号3-540-42935-2·Zbl 1053.68526号 ·doi:10.1007/3-540-45635-X_22 [254] Denecker，M.，Marek，V.W.，Truszczynski，M.：缺省逻辑和自认知逻辑的统一语义处理。在：Cohn，A.，Giunchiglia，F.，Selman，B.（编辑）《第七届知识表示与推理原则国际会议论文集》，第74-84页。Morgan Kaufman，Burlington（2000年）·Zbl 1010.03021号 [255] Denecker，M.，Marek，V.W.，Truszczynski，M.：极限近似。技术报告CW 320。Katholieke Iniversiteit Leuven，2001年9月 [256] Denecker，M.，Marek，V.W.，Truszczyński，M.：非单调知识表示系统中的极限近似。摘自：Fensel，D.，Giunchiglia，F.，McGuinness，D.，Williams，M.（编辑）《知识表示和推理原则：第八届国际会议论文集》，第177-188页。Morgan Kaufmann，Burlington（2002年） [257] M.C.Fitting：稳定模型系列。J.日志。程序。17, 197–225 (1993) ·Zbl 0798.68096号 ·doi:10.1016/0743-1066（93）90031-B [258] Fitting，M.C.：逻辑编程的定点语义——一项调查。定理。计算。科学。21(3), 25–51 (2002) ·Zbl 1002.68023号 ·doi:10.1016/S0304-3975（00）00330-3 [259] Fitting，M.：通用逻辑程序的Kripke-Kleene-sementics。J.日志。程序。2, 295–312 (1985) ·Zbl 0589.68011号 ·doi:10.1016/S0743-1066（85）80005-4 [260] 拟合，M.：伪布尔值Prolog。螺柱。Logica XLVII（2），85–91（1987）·Zbl 0667.68110号 [261] Fitting，M.：双参数和逻辑编程的语义。J.日志。程序。11, 91–116 (1991) ·Zbl 0757.68028号 ·doi:10.1016/0743-1066（91）90014-G [262] Hähnle，R.：多值逻辑表格规则的统一表示法。摘自：《多值逻辑国际研讨会论文集》，第238-245页。IEEE出版社，洛斯·阿拉米托斯（1991） [263] Khamsi，M.，Misane，D.：析取符号逻辑程序。《基础信息》32、349–357（1996）·Zbl 0927.68020号 [264] Khamsi，M.，Misane，D.：逻辑编程中的不动点定理。安。数学。Artif公司。智力。21, 231–243 (1997) ·Zbl 0890.68025号 ·doi:10.1023/A：1018969519807 [265] Kifer，M.，Li，A.：关于基于规则的不确定性专家系统的语义。收录：Gyssens，M.，Paredaens，J.，Gucht，D.（编辑）ICDT 1988。LNCS，第326卷，第102–117页。斯普林格，海德堡（1983）。doi:10.1007/3-540-50171-16·doi:10.1007/3-540-50171-16 [266] Kulmann，P.，Sandri，S.：扩展可能性逻辑的注释逻辑定理证明器。模糊集系统。144, 67–91 (2004) ·Zbl 1076.68087号 ·doi:10.1016/j.fss.2003.10.014 [267] Lakshmanan，L.V.S.：不确定性逻辑编程的认知基础。收录：Thiagarajan，P.S.（编辑）FSTTCS 1994。LNCS，第880卷，第89-100页。斯普林格，海德堡（1994）。doi:10.1007/3-540-58715-2-116·Zbl 1044.68816号 ·doi:10.1007/3-540-58715-2-116 [268] Lakshmanan，L.V.，Sadri，F.：不确定演绎数据库：一种混合方法。信息系统。22(8), 483–508 (1997) ·Zbl 0893.68056号 ·doi:10.1016/S0306-4379（97）00030-6 [269] Lakshmanan，L.V.，Shiri，N.：具有不确定性的演绎数据库的参数方法。IEEE传输。知识。数据工程13（4），554–570（2001）·Zbl 05109289号 ·数字对象标识代码：10.1109/69.940732 [270] Loyer，Y.，Straccia，U.：参数演绎数据库中的不确定性和部分非均匀假设。收录：Flesca，S.、Greco，S.，Ianni，G.、Leone，N.（编辑）JELIA 2002。LNCS（LNAI），第2424卷，第271-282页。斯普林格，海德堡（2002）。文件编号：10.1007/3-540-45757-7_23·Zbl 1013.68074号 ·文件编号：10.1007/3-540-45757-7_23 [271] Loyer，Y.，Straccia，U.：具有不确定性的正常逻辑程序中的基础良好的语义。摘自：Hu，Z.，Rodríguez-Artalejo，M.（编辑）FLOPS 2002。LNCS，第2441卷，第152-166页。斯普林格，海德堡（2002）。doi:10.1007/3-540-45788-79·Zbl 1019.68019号 ·doi:10.1007/3-540-45788-79 [272] Loyer，Y.，Straccia，U.：具有不确定性的逻辑程序的基本语义。收录：Rovan，B.，Vojtáš，P.（编辑）MFCS 2003。LNCS，第2747卷，第541-550页。斯普林格，海德堡（2003）。doi:10.1007/978-3-540-45138-9_48·Zbl 1124.68339号 ·doi:10.1007/978-3-540-45138-9_48 [273] Loyer，Y.，Straccia，U.：具有不确定性的逻辑程序中的默认知识。在：Palamidessi，C.（编辑）ICLP 2003。LNCS，第2916卷，第466–480页。斯普林格，海德堡（2003）。doi:10.1007/978-3-540-24599-5_32·Zbl 1204.68059号 ·doi:10.1007/978-3-540-24599-5_32 [274] Loyer，Y.，Straccia，U.：双关语基础良好语义的认识论基础。收录：Fiala，J.、Koubek，V.、Kratochvíl，J.（编辑）MFCS 2004。LNCS，第3153卷，第513–524页。斯普林格，海德堡（2004）。doi:10.1007/978-3-540-28629-5_39·Zbl 1096.68016号 ·文件编号：10.1007/978-3-540-28629-5_39 [275] Loyer，Y.，Straccia，U.：逻辑编程中的任何世界假设。定理。计算。科学。342(2–3), 351–381 (2005) ·Zbl 1077.68013号 ·doi:10.1016/j.tcs.2005.04.005 [276] Loyer，Y.，Straccia，U.：稳定模型语义的认识论基础。J.理论与实践。日志。程序。6355–393（2006年）·Zbl 1110.68070号 ·文件编号：10.1017/S1471068405002619 [277] Lu，J.J.：带符号和注释的逻辑编程。J.日志。计算。6(6), 755–778 (1996) ·兹比尔0874.68062 ·doi:10.1093/logcom/6.6.755 [278] Lu，J.J.，Calmet，J.，Schü，J.:计算多值逻辑程序。数学软件软计算。2(4), 129–153 (1997) ·Zbl 0880.68014号 [279] Lukasiewicz，T.，Straccia，U.：在语义网的答案语义下紧密集成模糊描述逻辑程序。Infsys Research报告1843-07-03。德国维也纳理工大学信息系统研究所Arbeitsbereich Wissensbasierte Systeme（2007） [280] Lukasiewicz，T.，Straccia，U.：在语义网的答案语义下紧密集成模糊描述逻辑程序。摘自：Sheth，M.L.A.（编辑）《语义Web进化的渐进概念：应用和开发》，第237-256页。IGI Global（2010年）。第11章·文件编号：10.4018/978-1-60566-992-2.ch011 [281] Madrid，N.，Straccia，U.：关于非单调排序函数族的top-k检索。收录人：Larsen，H.L.、Martin-Bautista，M.J.、Vila，M.A.、Andreasen，T.、Christiansen，H.（编辑）FQAS 2013。LNCS（LNAI），第8132卷，第507–518页。斯普林格，海德堡（2013）。doi:10.1007/978-3-642-40769-7_44·Zbl 06357224号 ·doi:10.1007/978-3-642-40769-7_44 [282] Majkic，Z.：逻辑程序的Coalgebraic语义。In:第18届（约束）逻辑编程研讨会（WCLP 2005），德国乌尔姆（2004） [283] Majkic，Z.：基于非格逻辑中的多值直觉蕴涵和推理闭包。摘自：第35届多值逻辑国际研讨会（ISMVL 2005），第214-220页（2005）·doi:10.1109/ISMVL.2005.22 [284] Majkic，Z.：多值逻辑编程的真理和知识定点语义。摘自：第19届（约束）逻辑编程研讨会（WCLP 2005），第76-87页，德国乌尔姆（2005） [285] Marek，V.W.，Truszczynski，M.：带成本的逻辑编程。技术报告，肯塔基大学（2000年）。ftp://al.cs.engr.uky.edu/cs/manuscripts/lp-costs.ps [286] Mateis，C.：用T范数扩展析取逻辑编程。收录：Gelfond，M.，Leone，N.，Pfeifer，G.（编辑）LPNMR 1999。LNCS（LNAI），第1730卷，第290-304页。斯普林格，海德堡（1999）。文件编号：10.1007/3-540-46767-X21·Zbl 0952.68027号 ·文件编号：10.1007/3-540-46767-X21 [287] Mateis，C.：定量析取逻辑编程：语义和计算。AI通讯。13, 225–248 (2000) ·Zbl 0967.68030号 [288] Medina，J.，Ojeda-Aciego，M.：多伴随逻辑编程。摘自：第十届基于知识的系统中信息处理和不确定性管理国际会议记录（IPMU 2004），第823–830页（2004）·Zbl 1073.68025号 [289] Medina，J.，Ojeda-Aciego，M.，Vojtaš，P.：具有连续语义的多伴随逻辑编程。收录：Eiter，T.、Faber，W.、Truszczynski，M.（编辑）LPNMR 2001。LNCS（LNAI），第2173卷，第351-364页。斯普林格，海德堡（2001）。文件编号：10.1007/3-540-45402-026·Zbl 1007.68023号 ·doi:10.1007/3-540-445402-0_26 [290] Medina，J.，Ojeda-Aciego，M.，Vojtásh，P.：多伴随逻辑编程的过程语义。收录：Braddil，P.，Jorge，A.（编辑）EPIA 2001。LNCS（LNAI），第2258卷，第290-297页。斯普林格，海德堡（2001）。doi:10.1007/3-540-45329-6_29·Zbl 1053.68540号 ·doi:10.1007/3-540-45329-6_29 [291] Medina，J.，Ojeda Aciego，M.，Vojtás，P.：基于相似性的统一：一种多伴随方法。模糊集系统。1(146), 43–62 (2004) ·Zbl 1073.68026号 ·doi:10.1016/j.fss.2003.11.005 [292] Rounds，W.C.，Zhang，G.-Q.：代数域中的子句逻辑和逻辑编程。Inf.计算。171, 183–200 (2001). https://citeseer.ist.psu.edu/276602.html ·Zbl 1005.68094号 ·doi:10.1006/inco.2001.3073 [293] Schroeder，M.，Schweimeier，R.：模糊论证和扩展逻辑编程。收录：ECSQARU研讨会讨论冒险录（2001年）·Zbl 1093.68022号 [294] Schroeder，M.，Schweimeier，R.：争论和误解：谈判代理人的模糊统一。收录于：2002年ICLP研讨会CLIMA会议记录。爱思唯尔（2002）·Zbl 1270.68336号 ·doi:10.1016/S1571-0661（04）80585-1 [295] Schweimeier，R.，Schroeder，M.：模糊统一和论证，用于建立良好的语义。在：Emde Boas，P.，Pokorný，J.，Bieliková，M.，Štuller，J.（编辑）SOFSEM 2004。LNCS，第2932卷，第102-121页。斯普林格，海德堡（2004）。doi:10.1007/978-3-540-24618-39·Zbl 1202.68430号 ·doi:10.1007/978-3-540-24618-39 [296] 斯特拉契亚，美国：注释答案集编程。摘自：《第十一届基于知识的系统中的信息处理和不确定性管理国际会议记录》（IPMU 2006），第1212-1219页。E.D.K.，巴黎（2006）。国际标准图书编号2-84254-112-X [297] Straccia，U.：正常逻辑程序在任何世界假设下的查询回答。摘自：《第十届知识表示原则国际会议记录》（KR 2006），第329-339页。AAAI出版社（2006） [298] 美国斯特拉契亚：在任意世界假设下，正常逻辑程序的自顶向下查询应答过程。收录：Mellouli，K.（编辑）ECSQARU 2007。LNCS（LNAI），第4724卷，第115–127页。斯普林格，海德堡（2007）。doi:10.1007/978-3-540-75256-113·Zbl 1148.68336号 ·doi:10.1007/978-3-540-75256-113 [299] 斯特拉契亚，U。：面向基于逻辑的信息检索的逻辑编程中的模糊查询应答。收录人：Melin，P.，Castillo，O.，Aguilar，L.T.，Kacprzyk，J.，Pedrycz，W.（编辑）IFSA 2007。LNCS（LNAI），第4529卷，第125-134页。斯普林格，海德堡（2007）。doi:10.1007/978-3-540-72950-113·Zbl 1202.68160号 ·doi:10.1007/978-3-540-72950-113 [300] 美国斯特拉契亚：关于基于本体的数据库访问的top-k检索问题。摘自：Pivert，O.，Zadro\.zny，S.（编辑）《数据、信息和知识管理中的灵活方法》。SCI，第497卷，第95-114页。斯普林格，海德堡（2014）。doi:10.1007/978-3-319-00954-4-5。国际标准图书编号978-3-319-00953-7·doi:10.1007/978-3-319-00954-45 [301] 斯特拉契亚，美国，马德里，北卡罗来纳州：模糊逻辑编程的top-k查询应答程序。模糊集系统。205，1–29（2012年）·Zbl 1254.68062号 ·doi:10.1016/j.fss.2012.01.016 [302] Straccia，U.，Ojeda-Aciego，M.，Damásio，C.V.：关于完备格上多值函数的不动点及其在广义逻辑程序中的应用。SIAM J.计算。8(5), 1881–1911 (2009) ·Zbl 1183.68158号 ·数字对象标识代码：10.1137/070695976 [303] Turner，H.：签名逻辑程序。在：Bruynooghe，M.（编辑）1994年逻辑编程国际研讨会论文集，第61-75页。麻省理工学院出版社（1994）。https://citeseer.ist.psu.edu/turner94signed.html 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。