博奇曼，D。;Distel，F。;克里格尔，F。 有限解释中一般概念包含的公理化。 （英语） Zbl 1400.68206号 J.应用。非类别。日志。 26，第1号，1-46（2016）. 概要：描述逻辑知识库可用于以正式且明确的方式表示特定领域的知识。在许多研究领域，特别是在生物学和语义网领域，它们都显示出了实用性。然而，构建知识库本身的任务，通常由人类专家执行，是困难、耗时和昂贵的。特别是合成术语知识是每个专家都必须面对的挑战。由于在构建知识库时不能完全忽略人类专家，因此，在这个过程中，最好至少从机器中获得一些支持。为此，我们将在这项工作中研究一种方法，该方法将使我们能够以一般概念包含根据实际数据，其中数据以顶点和边标记图的形式给出。由于这些图自然地以资源描述框架（RDF）三元组集的形式出现在语义Web的范围内，因此所提出的方法为从链接开放数据云中提取术语知识开辟了另一种可能性。 引用于2文件 MSC公司： 68立方英尺 知识表示 68T27型 人工智能中的逻辑 关键词：描述逻辑;形式概念分析;术语知识;本体学习 软件：生物门户;DB足 PDF格式BibTeX公司 XML格式引用 \textit{D.Borchmann}等人，J.Appl。非类别。日志。26，第1号，1--46（2016；Zbl 1400.68206） 全文： DOI程序 参考文献： [1] Alam，M.、Buzmakov，A.、Codocedo，V.和Napoli，A.（2015a）。使用形式化概念分析桥接DBpedia类别和DL-概念定义。在S.O.Kuznetsov、A.Napoli和A.Napoli.（编辑）中。，第四届国际研讨会论文集“FCA能为人工智能做什么？”（FCA4AI 2015），与国际人工智能联合会议（IJCAI 2015年）合办2015年7月25日，阿根廷布宜诺斯艾利斯（第9-16页）。检索自http://ceur-ws.org/Vol-1430/ [2] Alam，M.、Buzmakov，A.、Codocedo，V.和Napoli，A.（2015）。使用形式化概念分析从RDF注释中挖掘定义。在Q.Yang和M.Wooldridge（编辑）中，第二十四届国际人工智能联合会议（IJCAI 2015）会议记录，阿根廷布宜诺斯艾利斯，2015年7月25日至31日（第823-829页）。加利福尼亚州门罗公园：AAAI出版社。 [3] Ashburner，M.、Ball，C.A.、Blake，J.A.、Botstein，D.、Butler，H.、Cherry，J.M。。。Sherlock，G.（2000）。基因本体论：生物学统一的工具。自然遗传学,25, 25-29. [4] Baader，F.（2002）。存在约束描述逻辑中的术语循环（技术代表编号：LTCS-02-02）。德累斯顿：德累斯顿工业大学。 [5] Baader，F.（2003a）。具有存在限制和术语循环的描述逻辑中最不常见的包含词和最具体的概念。在G.Gottlob和T.Walsh（编辑）中，第十八届国际人工智能联合会议记录（第319-324页）。加利福尼亚州旧金山：Morgan Kaufmann。 [6] Baader，F.（2003b）。具有存在限制的描述逻辑中的术语循环。在G.Gottlob和T.Walsh（编辑）中，第十八届国际人工智能联合会议记录（第325-330页）。加利福尼亚州旧金山：Morgan Kaufmann。 [7] Baader，F.、Brandt，S.和Lutz，C.（2005）。推动EL信封。L.P.Kaelbling和A.Saffiotti（编辑），第十九届国际人工智能联合会议记录（第364-369页）。加利福尼亚州旧金山：Morgan Kaufmann。 [8] Baader，F.、Brandt，S.和Lutz，C.（2008）。进一步推动EL包络线。在K.Clark&P.F.Patel-Schneider（编辑）中，OWL第四届OWLED研讨会会议记录：经验和方向，华盛顿特区（地铁），2008年4月1日至2日。检索自http://ceur-ws.org/Vol-496/ [9] Baader，F.、Calvanee，D.、McGuinness，D.、Nardi，D.和Patel-Schneider，P.F.（2003）。描述逻辑手册：理论、实现和应用剑桥：剑桥大学出版社·Zbl 1058.68107号 [10] Baader，F.和Distel，F.（2008）。有限模型中EL-隐含集的有限基。在R.Medina和S.A.Obiedkov（编辑）中，2008年2月25日至28日在加拿大蒙特利尔举行的第六届国际会议正式概念分析，会议记录（第46-61页）。柏林：斯普林格·Zbl 1132.68056号 [11] Baader，F.、Ganter，B.、Sertkaya，B.和Sattler，U.（2007年）。使用形式化概念分析完成描述逻辑知识库。在M.M.Veloso（编辑）中，第20届国际人工智能联合会议记录（第230-235页）。加利福尼亚州门罗公园：AAAI出版社。 [12] Baader，F.、Küsters，R.和Molitor，R.（1999）。在具有存在限制的描述逻辑中计算最不常见的包含符。在T.Dean（Ed.）中，第十六届国际人工智能联合会议记录（第96-103页）。加利福尼亚州旧金山：Morgan Kaufmann。 [13] Bizer，C.、Heath，T.和Berners-Lee，T.（2009年）。链接数据-到目前为止的情况。国际语义网与信息系统杂志,5(3), 1-22. [14] Bizer，C.、Lehmann，J.、Kobilarov，G.、Auer，S.、Becker，C.、Cyganiak，R.和Hellmann，S.（2009年）。DBpedia–数据网络的结晶点。Web语义：万维网上的科学、服务和代理,7, 154-165. [15] Borchmann，D.（2014）。从错误数据中高度自信地学习术语知识（未发表的博士论文）。德累斯顿理工大学。 [16] Borchmann，D.和Distel，F.（2011年）。EL-GCI的开采。在M.Spiliopoulou等人（编辑）中，第十一届数据挖掘国际会议记录，研讨会（第1083-1090页）。华盛顿特区：IEEE计算机协会。 [17] Bühman，L.、Fleischhacker，D.、Lehman，J.、Melo，A.和Völker，J.（2014）。课堂表达的归纳词汇学习。在K.Janowicz、S.Schlobach、P.Lambrix和E.Hyvönen（编辑）中，知识工程与知识管理：第19届国际会议，EKAW 2014，瑞典林雪平，2014年11月24日至28日，会议记录（第42-53页）。柏林：斯普林格。 [18] Chein，M.和Mugnier，M.-L.（1992年）。概念图：基本概念。Revue d’Intelligence Artificiele公司,6, 365-406. [19] Distel，F.（2008）。具有值限制的描述逻辑中基于模型的大多数特定概念（技术代表编号：08-04）。德累斯顿：德累斯顿工业大学。 [20] Distel，F.（2010年）。探索描述逻辑知识库的方法。在L.Kwuida和B.Sertkaya（编辑）中，第八届形式概念分析国际会议论文集（第209-224页）。柏林：斯普林格·Zbl 1274.68481号 [21] Distel，F.（2011）。使用形式化概念分析的方法从数据中学习描述逻辑知识库（未发表的博士论文）。德国德累斯顿理工大学。 [22] Distel，F.和Ma，Y.（2013）。从文本中学习概念定义的混合方法。T.Eiter、B.Glimm、Y.Kazakov和M.Krötzsch（编辑），第26届描述逻辑国际研讨会非正式会议记录（第156-167页）。检索自http://ceur-ws.org/Vol-1014/ [23] Ferré，S.和Ridoux，O.（2000）。形式概念分析的逻辑概括。在B.Ganter和G.W.Mineau（编辑）中，概念结构：逻辑、语言和计算问题；第八届概念结构国际会议纪要（第371-384页）。柏林：斯普林格·Zbl 0973.68219号 [24] Fleischhacker，D.、Völker，J.和Stuckenschmidt，H.（2012）。为属性公理挖掘RDF数据。R.Meersman等人（编辑），2012年9月10日至14日，意大利罗马，《走向有意义的互联网系统：OTM 2012》，联合国际会议：CoopIS、DOA-SVI和ODBASE 2012。诉讼程序，第二部分（第718-735页）。柏林：斯普林格。 [25] Ganter，B.（2010年）。概念分析中的两个基本算法。在L.Kwuida和B.Sertkaya（编辑）中，第八届形式概念分析国际会议论文集（第312-340页）。柏林：斯普林格·Zbl 1274.68484号 [26] Ganter，B.和Kuznetsov，S.O.（2001）。图案结构及其投影。在H.S.Delugach和G.Stumme（编辑）中，概念结构：拓宽基础，第九届概念结构国际会议，ICCS 2001，美国加利福尼亚州斯坦福，2001年7月30日至8月3日，会议记录（第129-142页）。柏林：斯普林格·Zbl 0994.68147号 [27] Ganter，B.和Wille，R.（1999）。形式概念分析：数学基础柏林：施普林格·Zbl 0909.06001号 [28] Gottlob，G.和Walsh，T.（编辑）。(2003).第十八届国际人工智能联合会议记录加利福尼亚州旧金山：Morgan Kaufmann。 [29] Guigues，J.-L.和Duquenne，V.（1986年）。Famille minimale d’implications informatives résultant d’un tableau de données binaires公司。数学与科学,95第5-18页·Zbl 1504.68217号 [30] Henzinger，M.、Henzinger，T.和Kopke，P.（1995）。计算有限图和无限图的模拟。在A.Borodin（编辑）中，第36届计算机科学基础年会（第453-462页）。华盛顿特区：IEEE计算机协会·Zbl 0938.68538号 [31] Horrocks，I.、Patel-Schneider，P.F.和van Harmelen，F.（2003）。从SHIQ和RDF到OWL：web本体语言的构建。Web语义杂志,1, 7-26. [32] Kriegel，F.和Borchmann，D.（2005年）。NextClosures：规范基的并行计算。S.B.Yahia和J.Konecny（编辑），《第十二届概念格及其应用国际会议论文集》（CLA 2015），法国克莱蒙·费拉德，2015年10月13日至16日（第181-192页）。检索自http://ceur-ws.org/Vol-1466/paper15.pdf [33] Kwuida，L.和Sertkaya，B.（编辑）。(2010).第八届形式概念分析国际会议论文集柏林：施普林格·Zbl 1184.68008号 [34] Lehman，J.、Fanizzi，N.、Bühmann，L.和d'Amato，C.（2014）。概念学习。在J.Lehmann和J.Völker（编辑）中，关于本体学习的观点第1卷（第71-91页）。柏林：Akademische Verlagsgesellschaft。 [35] Lehmann，J.和Völker，J.（2014）。本体学习展望柏林：Akademische Verlagsgesellschaft·Zbl 1297.68014号 [36] Mirylenka，D.、Passerini，A.和Serafini，L.（2015）。从维基百科引导领域本体：统一方法。在Q.Yang和M.Wooldridge（编辑）中，第二十四届国际人工智能联合会议（IJCAI 2015）会议记录，阿根廷布宜诺斯艾利斯，2015年7月25日至31日（第1464-1470页）。加利福尼亚州门罗公园：AAAI出版社。 [37] Obiedkov，S.A.和Duquenne，V.（2007年）。正则蕴涵基的属性增量构造。数学与人工智能年鉴,49, 77-99. ·Zbl 1125.68121号 [38] Patel-Schneider，P.F.、Hayes，P.和Horrocks，I.（2004）。OWL web本体语言语义和抽象语法（技术代表）。检索自https://www.w3.org/TR/owl-semantics网站/ [39] Prediger，S.（1997）。形式概念分析中的逻辑缩放。在D.Lukose、H.S.Delugach、M.Keeler、L.Searle和J.F.Sowa（编辑）中，概念结构：实现皮尔士的梦想；第五届概念结构国际会议记录（第332-341页）。柏林：斯普林格。 [40] Prediger，S.（2000）。术语Merkmalslogik in der Formalen Begri.分析。G.Stumme和R.Wille（编辑），Begri.iche Wissensverabeitung：方法与安文敦根（第99-124页）。柏林：斯普林格·Zbl 0951.68152号 [41] Prediger，S.和Stumme，G.（1999年）。理论驱动的逻辑缩放：概念信息系统符合描述逻辑。在E.Franconi和M.Kifer（编辑）中，第六届知识表示与数据库会议记录（第46-49页）。检索自http://ceur-ws.org/Vol-21/ [42] Price，C.和Spackman，K.（2000年）。SNOMED临床术语。英国健康计算与信息管理杂志,1727日至31日。 [43] Rabatel，J.、Croitoru，M.、Ienco，D.和Poncelet，P.（2014）。DBpedia中的上下文项集挖掘。在I.Tiddi、M.d'Aquin和N.Jay（编辑），与欧洲机器学习和数据库知识发现原理与实践会议（ECML PKDD 2014）合办的第一届知识发现关联数据研讨会会议记录，法国南希，2014年9月19日。检索自http://ceur-ws.org/Vol-1232/paper3.pdf [44] Rector，A.L.、Nowlan，W.A.和GALEN Consortium（1994年）。GALEN项目。生物医学中的计算机方法和程序,45, 75-78. [45] Rudolph，S.（2004）。通过FLE探索关系结构。K.E.Wol、H.D.Pfeif-fer和H.S.Delugach（编辑），工作中的概念结构：第十二届概念结构国际会议记录（第196-212页）。柏林：斯普林格·Zbl 1104.68742号 [46] Rudolph，S.（2006）。关系探索：结合描述逻辑和形式概念分析进行知识规范（未发表的博士论文）。德国德累斯顿理工大学。 [47] Rudolph，S.、Völker，J.和Hitzler，P.（2007）。通过关系探索支持词汇本体学习。在U.Priss、S.Polovina和R.Hill（编辑）中，概念结构：智能应用的知识架构，第15届概念结构国际会议，2007年ICCS，英国谢菲尔德，2007年7月22日至27日，会议记录（第488-491页）。柏林：斯普林格。 [48] Sertkaya，B.（2010年）。关于描述逻辑本体如何从FCA中受益的调查。在M.Kryszkiewicz和S.Obiedkov（编辑）中，第七届概念格及其应用国际会议论文集（第2-21页）。检索自http://ceur-ws.org/Vol-672/ [49] Stumme，G.（1996）。具有背景含义和例外的属性探索。在H.-H.Bock&W.Polasek（编辑）中，数据分析和信息系统（第457-469页）。海德堡：施普林格·Zbl 0897.68104号 [50] Suchanek，F.（2014）。用于本体学习的信息提取。在J.Lehmann和J.Völker（编辑）中，本体学习展望，（第1卷，第135-151页）。柏林：Akademische Verlagsgesellschaft。 [51] Völker，J.（2009）。学习表达本体（未发表的博士论文）。德国卡尔斯鲁厄理工学院。 [52] Völker，J.、Hitzler，P.和Cimiano，P.（2007）。从词汇资源中获取OWL-DL公理。在E.Franconi、M.Kifer和W.May（编辑）中，语义网络：研究与应用，第四届欧洲语义网络会议，ESWC 2007，奥地利因斯布鲁克，2007年6月3-7日，会议记录（第670-685页）。柏林：斯普林格。 [53] Völker，J.和Rudolph，S.（2008a）。通过半自动OWL本体细化培育web智能。C.Zhang、N.Cercone和L.C.Jain（编辑），2008年IEEE/WIC/ACM网络智能国际会议，2008年WI，2008年12月9日至12日，澳大利亚新南威尔士州悉尼，主要会议记录（第454-460页）。IEEE计算机学会。 [54] Völker，J.和Rudolph，S.（2008）。OWL-DL公理的词汇逻辑获取。在R.Medina和S.A.Obiedkov（编辑）中，2008年2月25日至28日在加拿大蒙特利尔举行的第六届国际会议正式概念分析，会议记录（第62-77页）。柏林：斯普林格·Zbl 1131.68549号 [55] Whetzel，P.L.、Noy，N.F.、Shah，N.H.、Alexander，P.R.、Nyulas，C.、Tudorace，T.和Musen，M.A.（2011年）。BioPortal：通过国家生物医学本体中心的新web服务增强功能，以在软件应用程序中访问和使用本体。核酸研究,39, 541-545. [56] Yang，Q.和Wooldridge，M.（2015）。第二十四届国际人工智能联合会议记录（IJCAI 2015）；阿根廷布宜诺斯艾利斯，2015年7月25日至31日加利福尼亚州门罗公园：AAAI出版社。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。