奥利弗·库茨;蒂尔·莫萨科夫斯基;多米尼克·吕克 卡纳普、戈根和超本体论:本体设计中的逻辑多元主义和异质结构。 (英语) Zbl 1255.68153号 日志。Univers大学。 4,第2期,255-333(2010). 摘要:本文讨论了与本体工程有关的普遍性问题,即旨在证实(否定)以下三个基本问题的答案:(i)是否存在“普遍本体”?(ii)是否存在“通用形式本体语言”?(iii)形式本体是否有普遍适用的“推理模式”?为了从原则上支持我们的答案,我们提出了一个基于两个主要原则的形式本体设计的一般框架:首先,我们支持鲁道夫·卡纳普的逻辑容忍原则,为逻辑异质性概念提供了中心舞台,即在一个本体设计中使用多个逻辑语言。其次,为了以语义完善的方式构建和组合异构本体,我们的工作以机构语义学形式的抽象模型理论为基础,正如约瑟夫·戈根(Joseph Goguen)和罗德·布斯托尔(Rod Burstall)强有力地提出的那样。特别是,我们使用异构代数规范语言HetCasl的结构机制来定义异构、分布式、高度模块化和结构化本体的一般概念,称为超本体。此外,我们在结构和语义层面上区分了几种不同类型的组合和对齐异构本体,即集成、连接和细化。我们展示了如何使用异构求精的概念来提供子本体的一般概念以及本体的异构等价的概念,最后概述了不同的本体推理模式如何与这些不同的结构方面相关。 引用于8文件 MSC公司: 68立方英尺 知识表示 第68季度第65季度 抽象数据类型;代数规范 68T27型 人工智能中的逻辑 关键词:本体;推理;模块化;逻辑多元论;组合技术;代数规范;制度理论 软件:赫茨;CASL公司;HasCasl公司 PDF格式BibTeX公司 XML格式引用 \textit{O.Kutz}等人,日志。Univers大学。4,第2号,255--333(2010;Zbl 1255.68153) 全文: 内政部 参考文献: [1] Adámek,J.,Herrlich,H.,Strecker,G.:抽象和具体类别。威利,纽约(1990年)。可在http://www.math.uni-bremen.de/dmb/acc.pdf ·Zbl 0695.18001号 [2] Alagić,S.,Bernstein,P.A.:通用模式管理的模型理论。In:程序。DBPL-01,LNCS,第2397卷,第228-246页。柏林施普林格出版社(2002年)·Zbl 1098.68557号 [3] Artale A.,Franconi E.:描述逻辑的时间扩展综述。安。数学。Artif公司。智力。30(1–4), 171–210 (2000) ·Zbl 0998.03013号 ·doi:10.1023/A:1016636131405 [4] Artale,A.,Kontchakov,R.,Lutz,C.,Wolter,F.,Zakharyaschev,M.:可处理描述逻辑的临时化。In:程序。第14届时间表征与推理国际研讨会(TIME),美国哥伦比亚特区华盛顿,IEEE,第11-22页(2007) [5] Astesiano E.、Krowski H.-J.、Krieg-Brückner B.:系统规范的代数基础。柏林施普林格(1999)·兹比尔0973.68002 [6] Baader,F.、Calvanee,D.、McGuinness,D.、Nardi,D.、Patel-Schneider,P.F.(编辑):《描述逻辑手册》。剑桥大学出版社,剑桥(2003)·Zbl 1058.68107号 [7] Baader F.,Ghilardi S.:连接多种理论。J.符号。逻辑72(2),535–583(2007)·Zbl 1136.03012号 ·数字对象标识代码:10.2178/jsl/1185803623 [8] Baader,F.,Lutz,C.,Milicic,M.,Sattler,U.,Wolter,F.:整合描述逻辑和动作形式:第一个结果。摘自:《第二十届全国人工智能会议论文集》(AAAI-05)匹兹堡(2005) [9] Bateman,J.,Castro,A.,Normann,I.,Pera,O.,Garcia,L.,Villaveces,J.-M:OASIS公共超本体论框架(COF)。可交付成果D1.2.1,欧盟OASIS项目(2010年) [10] 贝特曼J.,霍伊斯J.,罗斯R.,滕布林克T.:自然语言处理空间的语言本体论。Artif公司。智力。174(14), 1027–1071 (2010) ·doi:10.1016/j.artint.2010.05.008 [11] 贝特曼·J·、滕布林克·T·、法拉·S·:概念本体论和语言本体论在话语中的作用。话语过程44(3),175-213(2007)·网址:10.1080/01638530701600912 [12] 贝特曼,J.:《本体论多样性:来自空间的案例》。收录于:Galton,A.,Mizoguchi,R.(eds.)《信息系统中的形式本体——第六届国际会议记录》(FOIS 2010),第209卷。IOS出版社(2010) [13] Baumgartner,P.,Suchanek,F.M.:一阶本体的自动推理支持。摘自:Alferes,J.、Bailey,J.,May,W.、Schwertel,U.(编辑)《语义Web推理的原则和实践第四届国际研讨会》(PPSWR 2006),修订论文集。LNAI,第4187卷。柏林施普林格出版社(2006) [14] Beall,J.C.,Restall,G.:捍卫逻辑多元主义。收录:Brown,B.,Woods,J.(编辑)《逻辑后果:竞争方法》。1999年精确哲学学会会议记录。Stanmore,Hermes(2001)·Zbl 1374.03001号 [15] Beall J.C.,Restall G.:逻辑多元主义。牛津大学克拉伦登出版社(2006) [16] Bekiaris,E.,Bonfiglio,S.:OASIS概念。摘自:Stephanidis,C.(编辑)《人机交互中的通用访问》。应对多元化。计算机科学课堂讲稿,第5614卷,第202-209页。柏林施普林格出版社(2009) [17] 贝尔纳普N.D.:在卡纳普的灯下:平面的前语义。螺柱日志。80(1), 1–28 (2005) ·兹比尔1086.03003 ·doi:10.1007/s11225-005-6774-6 [18] Belnap N.D.:计算机应该如何思考。收录:Ryle,G.(编辑)《当代哲学》,Oriel出版社,Stocksfield(1977年) [19] Belnap N.D.:一种有用的四值逻辑。摘自:Dunn,J.,Epstein,G.(编辑)《多值逻辑的现代应用》,第8-37页。多德雷赫特·雷德尔(1977) [20] Bench-Capon,T.J.M.,Malcolm,G.:形式化本体论及其关系。In:程序。DEXA-99。LNCS,第1677卷,第250-259页。柏林施普林格(1999) [21] 贝内特B:定性空间推理的模态逻辑。J.利益集团纯应用。日志。4, 23–45 (1996) ·Zbl 0843.03010号 [22] 范·本特姆:J.逻辑动力学与逻辑多元主义的交融?。澳大利亚。J.日志。6, 182–209 (2008) ·Zbl 1168.03313号 [23] 贝齐奥,J.-Y.(编辑):《逻辑普遍性:走向逻辑的一般理论》。Birkhäuser,巴塞尔(2005年) [24] Bhatt,M.,Dylla,F.,Hois,J.:环境设计的空间终端推断。收录于:Hornsby,K.S.,Claramunt,C.,Denis,M.,Ligozat,G.(编辑)空间信息理论会议(COSIT’09),第371-391页。施普林格(2009) [25] Bidoit,M.,Mosses,P.D.:案例用户手册。LNCS,第2900卷(IFIP系列)。施普林格,柏林(2004)·Zbl 1033.68025号 [26] Birnbaum,L.、Forbus,K.D.、Wagner,E.、Baker,J.、Witbrock,M.:情报分析的类比、智能ir和知识集成:态势跟踪和侦探小说问题。摘自:《国际情报分析会议记录》(2005年) [27] Bittner,T.、Donnelly,M.:parthood、componenthood和containment的计算本体。收录人:Kaelbling,L.P.,Saffiotti,A.(编辑)IJCAI。专业图书中心,第382-387页(2005年) [28] Borgida A.:关于描述逻辑和谓词逻辑的相对表现力。Artif公司。智力。82(1–2), 353–367 (1996) ·doi:10.1016/0004-3702(96)00004-5 [29] Borgida A.,Serafini L.:分布式描述逻辑:同化来自对等源的信息。J.Data Semant公司。1, 153–184 (2003) ·Zbl 1274.68454号 [30] Borzyszkowski,T.:结构化规范的高阶逻辑和定理证明。收录人:Bert,D.,Choppy,C.,Mosses,P.D.(编辑)WADT。计算机科学讲义,第1827卷,第401-418页。斯普林格(1999)·兹伯利0966.03010 [31] Brachman R.J.:关于语义网络的认识论地位。收录:Findler,N.V.(编辑)《联合网络:计算机对知识的表示和使用》,学术出版社,伦敦(1979年) [32] Braüner T.,Ghilardi S.:一阶模态逻辑。收录:Benthem,J.v.、Blackburn,P.、Wolter,F.(编辑)《模态逻辑手册》,Elsevier,阿姆斯特丹(2006) [33] Calvanee,D.,De Giacomo,G.,Lembo,D.,Lenzerini,M.,Rosati,R.:对描述逻辑知识库的认识论一阶查询。In:程序。2006年描述逻辑研讨会(DL 2006),CEUR电子研讨会论文集,第189卷(2006)。http://ceur-ws.org/Vol-189/ [34] Calvanee,D.,Giacomo,G.D.,Lembo,D.,Lenzerini,M.,Poggi,A.,Rosati,R.:基于Ontology的数据库访问。In:程序。SEBD第324–331页(2007年) [35] Carnap,R.:逻辑语法。凯根·保罗,1934年。英语翻译1937,语言的逻辑句法 [36] Carnap R.:经验主义、语义学和本体论。《国际哲学评论》4,20–40(1950)·Zbl 0938.03511号 [37] 卡纳普:知识分子自传。收录:Schilpp,P.A.(编辑)鲁道夫·卡纳普的哲学。《活着的哲学家图书馆》,第11卷。拉萨尔公开法庭(1963年) [38] ten Cate,B.,Conradie,W.,Marx,M.,Venema,Y.:绝对完整的描述逻辑。收录于:Doherty,P.、Mylopoulos,J.、Welty,C.(编辑)《韩国2006年会议录》,第79-89页。AAAI出版社,门罗公园(2006) [39] Church A.:简单类型理论的表述。J.符号。日志。5(1), 56–69 (1940) ·Zbl 0023.28901号 ·doi:10.2307/2266170 [40] Codescu,M.,Mossakowski,T.:异质性结肠炎。摘自:Boulanger,F.、Gaston,C.、Schobbens,P.-Y.(编辑)MoVaH’08建模、验证和异质性研讨会(2008) [41] CoFI(共同框架倡议):案例参考手册。LNCS,第2960卷(IFIP系列)。斯普林格(2004)。可在网址:http://www.cofi.info [42] 科恩A.,哈扎里卡S.:定性空间表征和推理:概述。芬达姆。通知。43, 2–32 (2001) ·Zbl 0974.68206号 [43] 通用逻辑工作组:通用逻辑:抽象语法和语义。技术代表(2003) [44] Conesa J.、Storey V.C.、Sugumaran V.:上层本体的可用性:ResearchCyc的案例。数据知识。工程69(4),343–356(2010)·doi:10.1016/j.datak.2009.08.002 [45] Cuenca Grau B.,Horrocks I.,Kazakov Y.,Sattler U.:本体论的模块化重用:理论与实践。J.阿蒂夫。智力。研究(JAIR)31、273–318(2008)·Zbl 1183.68479号 [46] Cuenca Grau B.、Horrocks I.、Motik B.、Parsia B.、Patel-Schneider P.、Sattler U.:OWL 2:OWL的下一步。Web语义:万维网上的科学、服务和代理6(4),309–322(2008)语义Web挑战2006/2007·doi:10.1016/j.websem.2008.05.001 [47] Cuenca Grau,B.,Parsia,B.,Sirin,E.:使用$${\(\backslash\)mathcal{E}}$$-connections进行本体集成。收录:Stuckenschmidt,H.,Parent,C.,Spacapietra,S.(编辑)模块化本体论——知识模块化的概念、理论和技术。LNCS,第5445卷。施普林格(2009)·兹比尔1242.68311 [48] de Bouvère K.:逻辑同义词。Indagationes Mathematicae第27、622–629页(1965年)·Zbl 0221.02042号 [49] Del Vescovo,C.,Parsia,B.,Sattler,U.,Schneider,T.:本体论的模块化结构:实证研究。收录人:Kutz,O.、Hois,J.、Bao,J.和Cuenca Grau,B.(编辑)《模块本体论——第四届国际研讨会论文集》(WoMO 2010)(加拿大多伦多)。《人工智能与应用前沿》,第210卷,第11-24页。IOS出版社(2010) [50] Delugach,H.S.:使用通用逻辑实现概念结构的互操作性。收录:Croitoru,M.,Jäschke,R.,Rudolph,S.(编辑)Proc。第三届概念结构工具互操作性研讨会,第十六届概念结构国际会议(ICCS 2008),2008年7月7日,法国图卢兹大学(UTM)(2008) [51] Diaconescu R.:格罗森迪克机构。申请。分类结构。10, 383–402 (2002) ·Zbl 1008.68078号 ·doi:10.1023/A:1016330812768 [52] Diaconescu,R.:独立于制度的模型理论。在:通用逻辑研究。Birkhäuser,巴塞尔(2008)·兹比尔1144.03001 [53] Diaconescu R.、Goguen J.、Stefaneas P.:模块化的逻辑支持。摘自:Huet,G.,Plotkin,G.(编辑)在苏格兰爱丁堡第二届逻辑环境年度研讨会上发表的论文,第83-130页。剑桥大学出版社,纽约(1993) [54] Donini F.M.、Lenzerini M.、Nardi D.、Nutt W.、Schaerf A.L:描述逻辑的认知算子。Artif公司。智力。100(1–2), 225–274 (1998) ·Zbl 0906.68144号 ·doi:10.1016/S0004-3702(98)00009-5 [55] Dou,D.,McDermot,D.:走向理论翻译。In:声明性代理语言和技术IV.Springer,Berlin(2007) [56] Enderton H.B.:逻辑数学导论。纽约学术出版社(1972)·Zbl 0298.0202号 [57] Euzenat J.,Shvaiko P.:本体匹配。斯普林格,海德堡(2007) [58] 埃文斯:会有模糊的物体吗?分析38,208(1978),重印于他的论文集,牛津,克拉伦登出版社(1985) [59] Feferman S.:希尔伯特的程序相对化:理论证明和基础简化。J.符号。逻辑53(2),364–384(1988)·Zbl 0656.0302号 ·doi:10.2307/2274509 [60] Fitting M.,Mendelsohn R.L.:一阶模态逻辑。Kluwer学术出版社,多德雷赫特(1998)·Zbl 1025.03001号 [61] Freksa,C.:使用方向信息进行定性空间推理。In:地理空间中时空推理的理论和方法。LNCS,第639卷,第162-178页。柏林施普林格出版社(1992年) [62] Gabbay,D.:光纤逻辑。牛津逻辑指南,第38卷。牛津大学克拉伦登出版社(1999)·Zbl 0909.03001号 [63] Gabbay,D.,Kurucz,A.,Wolter,F.,Zakharyaschev,M.:多维模态逻辑:理论与应用。逻辑与数学基础研究第148号。爱思唯尔科学出版社,阿姆斯特丹(2003)·Zbl 1051.03001号 [64] Gangemi,A.、Guarino,N.、Masolo,C.、Oltramari,A.和Schneider,L.:甜味本体论。In:程序。2002年EKAW。LNCS,第2473卷,第166-181页。柏林施普林格出版社(2002年)·Zbl 1019.68681号 [65] Gärdefors P.:概念空间——思维的几何学。麻省理工学院出版社,布拉德福德出版社(2000) [66] Gardner M.:逻辑机器和图表。麦克劳·希尔,纽约(1958年)·Zbl 0082.33701号 [67] Genesereth M.R.,Nilsson N.J.:人工智能的逻辑基础。Morgan Kaufmann,Los Altos(1987)·Zbl 0645.68104号 [68] Goguen J.A.:分类宣言。数学。结构。计算。科学。1, 49–67 (1991) ·Zbl 0747.18001号 ·doi:10.1017/S0960129500000050 [69] Goguen,J.A.:本体论、社会和本体神学。收录于:Varzi,A.C.,Vieu,L.(编辑)《信息系统中的形式本体:第三届国际会议论文集》(FOIS-2004)。《人工智能与应用前沿》,IOS出版社,第95–105页(2004年) [70] Goguen J.A.:数据、模式、本体和逻辑集成。日志。J、 IGPL 13(6),685–715(2005)·Zbl 1094.68018号 ·doi:10.1093/jigpal/jzi050 [71] Goguen,J.A.:机构中的信息整合。收录:Moss,L.(编辑)Jon Barwise纪念册。印第安纳大学出版社,即将出版(2006) [72] Goguen,J.A.,Burstall,R.M.:引入机构。收录人:Clarke,E.,Kozen,D.(编辑)Proc。编程工作坊的逻辑。LNCS,第164卷,第221-256页。斯普林格(1984)·Zbl 0543.68021号 [73] Goguen J.A.,Burstall R.M.:机构:规范和编程的抽象模型理论。《美国医学会杂志》39、95–146(1992)·Zbl 0799.68134号 ·数字对象标识代码:10.1145/147508.147524 [74] Goguen J.A.,Rošu G.:制度形态。形式方面计算。13, 274–307 (2002) ·Zbl 1001.68019号 ·doi:10.1007/s001650200013 [75] Grenon P.,Smith B.,Goldberg L.:生物动力学本体论:在生物医学领域中应用BFO。摘自:Pisanelli,D.M.(编辑)《医学本体论》,第20-38页。IOS出版社,阿姆斯特丹(2004) [76] Gruber T.R.:《面向用于知识共享的本体设计原则》,《国际计算机杂志》。螺柱43(4-5),907-928(1995)·doi:10.1006/ijhc.1995.1081 [77] Grüninger,M.,Hahmann,T.,Hashemi,A.,Ong,D.:使用存储库进行本体验证。收录:Galton,A.,Mizoguchi,R.(编辑)《信息系统中的形式本体——第六届国际会议论文集》(FOIS-2010)。《人工智能与应用前沿》,第209卷,第317-330页。IOS出版社(2010) [78] 瓜里诺,N.:本体论层面。收录:Casati,R.,Smith,B.,White,G.(编辑)《哲学与认知科学》(1994)。Hölder-Pichler-Tempsky,第443-456页。程序。第16届维特根斯坦研讨会,1993年8月,奥地利科希堡,维也纳。 [79] 瓜里诺,N.:形式本体和信息系统。收录:Guarino,N.(编辑)《信息系统中的形式本体》,Proc。FOIS-98,意大利特伦托,6月6-8日,第3-15页。IOS出版社,阿姆斯特丹(1998) [80] 瓜里诺,N.:本体论层面:重温30年的知识表征。收录于:Borgida,A.、Chaudhri,V.、Giorgini,P.、Yu,E.(编辑)《概念建模:基础与应用》。约翰·米洛波洛斯的论文,第52-67页。施普林格(2009) [81] Guarino N.,Giaretta P.:本体论和知识基础:走向术语澄清。在:Mars,N.(编辑)《走向超大知识库:知识建设和知识共享》,第25-32页。阿姆斯特丹IOS出版社(1995) [82] Guarino N.,Welty C.:使用OntoClean评估本体论决策。Commun公司。ACM 45(2),61-65(2002)·doi:10.1145/567498.567500 [83] Guerra S.:默认规范的组成。J.日志。计算。11(4), 559–578 (2001) ·Zbl 1010.68090号 ·doi:10.1093/logcom/11.4.559 [84] Guizardi,G.:对象类型和部分-整体关系的模态方面以及定义/定义的区别。收录:Krogstie,J.、Opdahl,A.L.、Sindre,G.(编辑)《高级信息系统工程》,第19届国际会议(CAiSE-07)。《计算机科学讲义》,第4495卷,第5-20页。施普林格(2007) [85] 哈克S.:逻辑哲学。剑桥大学出版社,剑桥(1978)·Zbl 1005.03002号 [86] Haack S.:偏离逻辑,模糊逻辑:超越形式主义。剑桥大学出版社,剑桥(1996)·Zbl 0865.03003号 [87] Haase,P.,van Harmelen,F.,Huang,Z.,Stuckenschmidt,H.,Sure,Y.:处理不断变化的本体中的不一致性的框架。In:程序。第四届国际语义网会议(ISWC-05)。LNCS,第3729卷,第353–367页。斯普林格(2005) [88] Heller B.,Herre H.:GOL中的本体范畴。Axiomathes 14(1-3),57–76(2004)·doi:10.1023/B:AXIO.0000006788.44025.49 [89] Herre,H.:血液学系统的本体论。收录于:Poli,R.,Seibt,J.,Healy,M.,Kameas,A.(编辑)《本体论的理论与应用》第1卷:哲学观点。施普林格(2010) [90] Hois,J.、Bhatt,M.、Kutz,O.:建筑设计的模块化本体论。In:程序。意大利维琴察,FOMI-09,第四届正式本体论与工业相遇研讨会。《人工智能和应用前沿》,第198卷。IOS出版社(2009) [91] 霍伊斯,J.,库茨,O.:语言和空间中的对应词——相似性和$${\(\backslash\)mathcal{S}}$$-Connection。收录于:Eschenbach,C.,Grüninger,M.(编辑)《信息系统中的形式本体》(FOIS 2008),第266-279页。IOS出版社(2008)·Zbl 1171.68771号 [92] 霍伊斯,J.,库茨,O.:自然语言与空间计算相结合。收录于:Freksa,C.,Newcombe,N.S.,Gärdenfors,P.,Wölfl,S.(编辑)《空间认知六、学习、推理和谈论》。空间。第六届空间认知国际会议。LNCS,第266-282页。施普林格(2008)·兹比尔1171.68771 [93] Horridge,M.,Drummond,N.,Goodwin,J.,Rector,A.,Stevens,R.,Wang,H.H.:曼彻斯特OWL语法。In:OWL:经验和方向(2006) [94] Horrocks,I.,Kutz,O.,Sattler,U.:更不可抗拒的$${\(\backslash\)mathcal{SROIQ}}$$。In:程序。第十届知识表示与推理原则国际会议(KR2006),第57-67页。AAAI出版社(2006年6月) [95] Kalfoglou Y.,Schorlemmer M.:基于本体的语义对齐的信息流方法。发表于:Poli,R.、Healy,M.、Kameas,A.(编辑)《本体论的理论和应用:计算机应用》,柏林斯普林格出版社(2010)·Zbl 1018.68704号 [96] Kalyanpur,A.,Parsia,B.,Horridge,M.,Sirin,E.:寻找OWL DL牵连的所有理由。In:程序。ISWC/ASWC2007。LNCS,第4825卷,第267–280页。柏林施普林格出版社(2007) [97] Kazakov,Y.:复杂角色包含公理正则性条件的扩展。收录:不列颠哥伦比亚省Grau,I.Horrocks,B.Motik,U.Sattler(编辑)Proc。DL-09第477卷,CEUR研讨会论文集,CEUR-WS.org(2009) [98] Keet C.M.,Artale A.:对局部-整体关系分类进行表示和推理。申请。安托尔。3(1–2), 91–110 (2008) [99] Klinov,P.,Mazlack,L.J.:关于粗糙血液学在本体论知识中处理粒度的可能应用。摘自:《第22届全国人工智能会议记录》(AAAI-07),第1876-1877页。AAAI出版社,门罗公园(2007) [100] Knauff,M.,Rauh,R.,Schlieder,C.:定性空间推理中的首选心理模型:艾伦演算的认知评估。In:程序。认知科学学会第17届年会(1995年) [101] Konev B.、Lutz C.、Walther D.、Wolter F.:模块化的形式属性。收录:Stuckenschmidt,H.,Spacapietra,S.(编辑)《本体模块化》,柏林斯普林格出版社(2008)·Zbl 1242.68315号 [102] Konev,B.,Lutz,C.,Walter,D.,Wolter,F.:描述逻辑中的语义模块化和模块提取。In:第18届欧洲人工智能大会(ECAI-08)(2008) [103] Kontchakov,R.,Lutz,C.,Toman,D.,Wolter,F.,Zakharyaschev,M.:DL-lite中查询应答的组合方法。摘自:Lin,F.,Sattler,U.(编辑)《第十二届知识表示与推理原则国际会议论文集》(KR2010)。AAAI出版社,门罗公园(2010) [104] Kotas J.,Pieczkowski A.:Allgemeine logische和mathematische Theoryen。Zeitschrift für Mathematische Logik und Grundlagen der Mathematik(现为《数学逻辑季刊》)16(6),353–376(1970)·Zbl 0274.02024号 ·doi:10.1002/malq.19700160608 [105] Kracht,M.,Kutz,O.:模态逻辑的逻辑可能世界和对应语义。摘自:Jacquette,D.(编辑)《逻辑哲学》,《科学哲学手册》,第5卷,第943–996页。爱思唯尔,阿姆斯特丹(2007) [106] Kutz,O.:$${\(\backslash\)mathcal{E}}$$-距离的连接和逻辑。利物浦大学博士论文(2004) [107] Kutz O.:关于度量空间逻辑的注释。螺柱日志。85(1), 75–104 (2007) ·Zbl 1121.03028号 ·doi:10.1007/s11225-007-9023-3 [108] Kutz,O.,Lücke,D.,Mossakowski,T.:异构结构本体——集成、连接和细化。收录:Meyer,T.,Orgun,M.A.(编辑)《本体论进展》。知识表示本体研讨会论文集(KROW 2008)。CRPIT,ACS,第90卷,第41-50页。澳大利亚悉尼(2008年) [109] Kutz,O.,Lücke,D.,Mossakowski,T.:模型的模块化构建——面向基础本体Dolce的一致性证明。收录:第一届逻辑相关计算机科学国际研讨会。ICTAC 2008,土耳其伊斯坦布尔(2008) [110] Kutz,O.,Lücke,D.,Mossakowski,T.,Norman,I.:案例中的OWL——跨逻辑设计本体。收录人:Dolbear,C.,Ruttenberg,A.,Sattler,U.(编辑)《OWL:经验与方向》,第五届国际研讨会(OWLED-08)(与ISWC-08合办,德国卡尔斯鲁厄,10月26-27日),CEUR-WS,第432卷(2008) [111] Kutz O.,Lutz C.,Wolter F.,Zakharyaschev M.:$${\(\backslash\)mathcal{E}}$$-抽象描述系统的连接。Artif公司。智力。156(1), 1–73 (2004) ·Zbl 1085.68162号 ·doi:10.1016/j.artint.2004.02.002 [112] Kutz,O.,Mossakowski,T.:转型中的模块:保守性、组成和结肠炎。In:第二届模块化本体论国际研讨会(WoMO-07)。K-CAP,加拿大不列颠哥伦比亚省惠斯勒市(2007年) [113] Kutz,O.,Mossakowski,T.:结构化本体论中的保守性。摘自:第18届欧洲人工智能大会(ECAI-08),IOS出版社,希腊帕特拉斯(2008) [114] Kutz,O.,Mossakowski,T.,Codescu,M.:线形的形状:构造、组合和计算。收录:Sattler,U.,Tamilin,A.(编辑)Proc。第一届本体论研讨会:推理与模块化(WORM-08)CEUR-WS,第348卷。ESWC,特内里费(2008) [115] 库茨,O.,诺曼,I.:通过理论解释发现语境。In:程序。IJCAI上下文和本体进化自动推理研讨会,ARCOE-09,加利福尼亚州帕萨迪纳(2009) [116] Kutz,O.,Wolter,F.,Zakharyaschev,M.:连接抽象描述系统。In:程序。第八届知识表示和推理原则会议(KR-02),第215-226页。Morgan Kaufmann(2002) [117] 莱布尼茨,G.W.:Sämtliche Schriften und Briefe–VI Sektion:Philosophische Schripten,Band IV,pp.1680-1692。Akademie,柏林(2001) [118] Lenat D.B.,Guha R.V.:构建大型知识系统:Cyc项目中的表示和推理。Addison-Wesley,雷丁(1990) [119] Lewis,D.:部分课程。牛津大学巴西尔·布莱克威尔(1991),附附录,伯吉斯·J.P.、哈森·A.P.、刘易斯·D·Zbl 0900.03061号 [120] Lucanu,D.,Li,Y.-F.,Dong,J.S.:语义网络语言——面向机构视角。收录于:Futatsugi,K.,Jouannaud,J.-P.,Meseguer,J.(编辑)代数,意义,计算,在约瑟夫·A·戈根65岁生日之际献给他的论文。计算机科学课堂讲稿,第4060卷,第99-123页。斯普林格(2006) [121] Lukasiewicz T.:表达概率描述逻辑。Artif公司。智力。172(6–7), 852–883 (2008) ·Zbl 1182.68283号 ·doi:10.1016/j.artint.2007.10.017 [122] Lutz,C.,Schröder,L.:主观不确定性的概率描述逻辑。In:Lin,F.,Sattler,U.(编辑)第12届知识表示与推理原则国际会议论文集(KR2010)。AAAI出版社,门罗公园(2010)·Zbl 1255.03052号 [123] Lutz,C.、Walther,D.、Wolter,F.:表达描述逻辑中的保守扩展。参见:IJCAI-07会议记录,第453-458页。AAAI出版社,门罗公园(2007) [124] Lutz,C.,Wolter,F.:拓扑关系的模态逻辑。日志。方法计算。科学。2(2) (2006) ·Zbl 1126.03026号 [125] Lutz,C.,Wolter,F.:生命科学本体论的数学逻辑。收录人:Ono,H.,Kanazawa,M.,de Queiroz,R.J.G.B.(编辑)WoLLIC。计算机科学课堂讲稿,第5514卷,第37-47页。施普林格(2009)·Zbl 1246.68211号 [126] Lutz,C.,Wolter,F.,Zakharyaschev,M.:时间描述逻辑:一项调查。摘自:第十四届时间表征与推理国际研讨会论文集。IEEE计算机学会出版社(2008) [127] Ma,Y.,Hitzler,P.:OWL 2的超一致推理。载于:RR'09:《第三届网络推理与规则系统国际会议论文集》,第197-211页。柏林施普林格出版社(2009) [128] Ma,Y.,Hitzler,P.:描述逻辑中基于距离的不一致性和不连贯性度量。收录于:Haarslev,V.、Toman,D.、Weddell,G.(编辑)《第23届描述逻辑国际研讨会论文集》(DL-2010),第573卷。CEUR研讨会论文集,第475-485页。加拿大滑铁卢(2010) [129] Ma,Y.,Hitzler,P.,Lin,Z.:使用OWL进行次协调推理的算法。收录人:Franconi,E.,Kifer,M.,May,W.(编辑)ESWC。计算机科学讲义,第4519卷。第399-413页。施普林格(2007) [130] Ma,Y.,Hitzler,P.,Lin,Z.:四值描述逻辑的次协调分解。摘自:2007年描述逻辑国际研讨会论文集(DL-2007),Brixen-Bressanne,意大利,2007年6月。欧洲委员会研讨会论文集,第250卷,第395–402页(2007年6月) [131] Mac Lane S.:《工作数学家分类》,第二版。柏林施普林格(1998)·Zbl 0906.18001号 [132] Madhavan,J.、Bernstein,P.、Domingos,P.和Halevy,A.:领域模型之间映射的表示和推理。In:程序。2002年AAAI认证。加拿大埃德蒙顿(2002) [133] 马克思·M·维尼玛·Y·:多维模态逻辑。Kluwer学术出版社,Dordrecht(1997)·Zbl 0942.03029号 [134] Masolo,C.,Borgo,S.,Gangemi,A.,Guarino,N.,Oltramari,A.:Wonder Web Deliverable D18:本体库。ISTC-CNR技术代表(2003) [135] Masters,J.:结构化知识源集成及其在信息融合中的应用。摘自:第五届信息融合国际会议记录(Fusion 2002)。马里兰州安纳波利斯,IEEE(2002) [136] 《思考的机器:对人工智能历史和前景的个人探究》(Machines Who Think:A Personal Inquiry to the History and Prospects of Artificial Intelligence)。Wellesley Peters,第二版。(2004) [137] Meseguer,J.:一般逻辑。摘自:逻辑学术讨论会87,第275-329页。北荷兰(1989)·Zbl 0691.03001号 [138] Meseguer,J.,Martí-Oliet,N.:从抽象数据类型到逻辑框架。收录:摘自第十届抽象数据类型规范研讨会和第五届COMPASS数据类型规范最新趋势研讨会的论文,第48-80页。施普林格,伦敦(1995) [139] 明斯基,M。;表示知识的框架。摘自:Winston,P.(编辑)《计算机视觉心理学》。McGraw-Hill(1975) [140] Mossakowski,T.:基于同构的Grothendieck逻辑。收录于:计算机科学数学基础。LNCS,第2420卷,第593-604页。斯普林格(2002)·Zbl 1014.68098号 [141] Mossakowski,T.:机构2-细胞和Grothendieck机构。收录:Futatsugi,K.、Jouannaud,J.-P.、Meseguer,J.(编辑)《代数、意义和计算》。献给约瑟夫·戈根的散文。LNCS 4060,第124-149页。斯普林格(2006)·Zbl 1132.68488号 [142] Mossakowski T.、Autexier S.、Hutter D.:结构化规范的开发图证明管理。J.日志。代数程序。67(1–2), 114–145 (2006) ·Zbl 1088.68114号 ·doi:10.1016/j.jrap.2005.09.005 [143] Mossakowski,T.、Haxthausen,A.、Sannella,D.、Tarlecki,A.:CASL:通用代数规范语言。收录:Bjorner,M.H.D.(编辑)《形式规范语言的逻辑》。理论计算机科学专著。施普林格,海德堡,ch.3,pp.241-298(2008) [144] Mossakowski,T.、Maeder,C.、Lüttich,K.:异质工具集。收录:Grumberg,O.,Huth,M.(编辑)TACAS 2007。LNCS,第4424卷。施普林格,第519-522页(2007年) [145] Mossakowski,T.、Maeder,C.、Lüttich,K.:异质工具集。收录:Beckert,B.(编辑)VERIFY 2007,第259卷。CEUR-WS(2007) [146] Mossakowski,T.,Tarlecki,A.:分布式规范的异构逻辑环境。收录:Corradini,A.,Montanari,U.(编辑)WADT 2008。计算机科学课堂讲稿,第5486卷,第266-289页。施普林格(2009)·Zbl 1253.68231号 [147] Mossakowski T.,Tarlecki A.,Diaconescu R.:什么是逻辑翻译?。Logica Universalis 3(1),95–124(2009),2007年Universal Logic竞赛优胜者·Zbl 1255.03023号 ·doi:10.1007/s11787-009-0005-2 [148] Motik B.、Horrocks I.、Sattler U.:缩小OWL和关系数据库之间的差距。J.Web Semant公司。科学。服务。代理万维网7(2),74-89(2009)·doi:10.1016/j.websem.2009.02.001 [149] Newell,A.,Shaw,J.C.,Simon,H.A.:关于一般问题解决计划的报告。摘自:《国际信息处理会议记录》,第256-264页(1959年)·Zbl 0112.08502号 [150] Newell A.,Simon H.A.:计算机科学作为实证研究:符号和搜索。Commun公司。ACM 19(3),113-126(1976)·doi:10.1145/360018.360022 [151] 尼尔斯,I.,皮斯,A.:走向标准的上层本体论。包含:FOIS-01:程序。信息系统形式本体国际会议,第2-9页。ACM,纽约(2001) [152] Nipkow,T.、Paulson,L.C.、Wenzel,M.L.:Isabelle/HOL——高阶逻辑的证明助手。LNCS,第2283卷。施普林格(2002) [153] 诺曼:自动理论解释。不来梅雅各布斯大学计算机科学系博士论文(2009年) [154] Odintsov,S.P.,Wansing,H.:不一致容忍描述逻辑。激励和基本制度。摘自:Hendricks,V.,Malinowski,J.(编辑)《逻辑趋势》。《逻辑研究50年》,《逻辑趋势》第21期,第301-335页。Kluwer学术出版社,多德雷赫特(2003)·Zbl 1048.03021号 [155] Odintsov S.P.,Wansing H.:不一致容忍描述逻辑。第二部分:$${\(\backslash\)mathcal{C}\(\backslash \)mathcal{ALC}\ ^{C}$$的表算法。J.应用。日志。6(3),343–360(2008年)·Zbl 1149.03023号 ·doi:10.1016/j.jal.2007.06.001 [156] Parsons T.:不存在的对象。耶鲁大学出版社,纽黑文和伦敦(1980) [157] Patel-Schneider P.F.:术语逻辑的四值语义。Artif公司。智力。38(3), 319–351 (1989) ·Zbl 0664.03024号 ·doi:10.1016/0004-3702(89)90036-2 [158] Pieczkowski A.:在erweiterten Sinne的理论。螺柱日志。33(4), 317–331 (1974) ·兹伯利0311.02056 ·doi:10.1007/BF02123372 [159] Pokrywczyñski,D.,Malcolm,G.:使用机构实现模块化本体的功能方法。收录:Kutz,O.、Hois,J.、Bao,J.和Cuenca Grau,B.(编辑)《模块本体论——第四届国际研讨会论文集》(WoMO 2010)。《人工智能与应用前沿》,第210卷,第53-66页。IOS出版社,多伦多(2010) [160] 牧师G.:《矛盾:对超连续性的研究》,《尼霍夫国际哲学丛书》,第39卷。Dordrecht,Martinus Nijhoff,海牙(1987)·Zbl 0682.0302号 [161] G牧师:逻辑:一个还是多个?收录:Brown,B.,Woods,J.(编辑)《逻辑后果》。爱马仕(2001)·Zbl 0981.0302号 [162] 牧师G:荷兰逻辑多元论。澳大利亚。J.日志。6, 210–214 (2008) ·Zbl 1168.03308号 [163] Randell,D.A.,Cui,Z.,Cohn,A.G.:基于区域和连接的空间逻辑。载:《第三届知识表示与推理原则国际会议论文集》(KR'92),第165–176页。Morgan Kaufmann,Los Altos(1992年) [164] Restall G.:卡纳普的宽容、语言变化和逻辑多元化。J.菲洛斯。99, 426–443 (2002) ·doi:10.2307/3655622 [165] Ridder,L.:《Mereologie–Ein Beitrac zur Ontologie und Erkentnistheorie》,哲学Abhandlungen,第83卷。维托里奥·克罗斯特曼(Vittorio Klostermann),美因河畔法兰克福(2002)·Zbl 1010.03002号 [166] 罗德里格斯,O.,Russo,A.:贝尔纳普逻辑的翻译方法。研究报告Doc 98/7,伦敦帝国理工学院,1998年9月 [167] Sannella,D.,Burstall,R.:LCF中的结构化理论。In:程序。代数与程序设计中的树第八次学术讨论。计算机科学课堂讲稿,第159卷,第377-391页。斯普林格(1983)·Zbl 0527.68070号 [168] Schorlemmer,M.,Kalfoglou,Y.:基于本体论的语义整合制度化。J.应用。安托尔。3(3) (2008) ·Zbl 1018.68704号 [169] Schröder L.,Mossakowski T.:HasCASL:集成高阶规范和程序开发。西奥。计算。科学。410(12–13), 1217–1260 (2009) ·Zbl 1172.68040号 ·doi:10.1016/j.tcs.2008.11.020 [170] Schulz,S.,Romacker,M.,Hahn,U.:重新审视医学本体论中的部分整体推理——将SEP三元组引入基于分类的描述逻辑。In:程序。AMIA研讨会,第830-834页(1998年) [171] Seidenberg,J.,Rector,A.L.:表示OWL中的传递传播。摘自:Embley,D.W.,Olivé,A.,Ram,S.(编辑)Proc。第25届概念建模国际会议,美国亚利桑那州图森,11月6日至9日。LNCS,第4215卷,第255-266页。斯普林格(2006) [172] Shehtman V.:“无处不在”和“这里”。J.应用。非经典测井。9 (1999) ·Zbl 0993.03020号 [173] Sheremet M.、Tishkovsky D.、Wolter F.、Zakharyaschev M.:概念和相似性的逻辑。J.日志。计算。17(3), 415–452 (2007) ·Zbl 1144.03010号 ·doi:10.1093/log.com/exm007 [174] Sheremet M.、Wolter F.、Zakharyaschev M.:关于比较距离和拓扑推理的模态逻辑框架。Ann.纯粹应用。日志。161(4), 534–559 (2010) ·Zbl 1225.03021号 ·doi:10.1016/j.apal.09.04001 [175] 西蒙斯P.:部分:本体论研究。牛津克拉伦登出版社(1987) [176] Simons P.(1991)《关于及时传播:时间部分和变化问题》。摘自:斯波恩·W等人(编辑)《存在与解释》。Kluwer学术出版社。多德雷赫特 [177] Sioutos N.、de Coronado S.、Haber M.W.、Hartel F.W.、Shaiu W.-L.、Wright L.W.:NCI主题词表:一个整合癌症相关临床和分子信息的语义模型。J.生物识别。通知。40(1), 30–43 (2007) ·doi:10.1016/j.jbi.2006.02.013 [178] 斯特拉契亚,U。:四值描述逻辑中推理的顺序演算。在:Galmiche,D.(编辑)Proc。TABLEAUX-97:关于使用分析表和相关方法进行自动推理的国际会议,法国蓬塔·穆森,5月13-16日。LNCS,第1227卷,第343–357页。施普林格(1997) [179] Suntisrivaraporn,B.,Baader,F.,Schulz,S.,Spackman,K.:使用易处理的描述逻辑运算符替换SNOMED CT中的SEP-triplets。收录于:AIME’07:第11届医学人工智能会议记录,第287-291页。柏林施普林格出版社(2007) [180] 塔斯基A.:Der Aussagenkalkül und die Topologie。数学基础31、103–134(1938)·Zbl 0020.33704号 [181] 文恩·J:符号逻辑。伦敦麦克米兰公司(1881年) [182] Villadsen,J.:Paraconsistent查询应答系统。收录于:FQAS'02:第五届灵活问答系统国际会议记录,第370-384页。施普林格,伦敦(2002) [183] 沃伦科夫,A.:本体论中的不一致性。收录于:JELIA-06,第19页。(2006) [184] 周,L.,黄,H.,齐,G.,马,Y.,黄,Z.,曲,Y.:DL-lite本体的准一致性查询回答。附:第三届中国语义网研讨会论文集(CSWS-09)(2009) [185] Zimmermann,A.,Krötzsch,M.,Euzenat,J.,Hitzler,P.:用范畴理论形式化本体对齐及其操作。In:程序。第277–288页(2006年) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。