×

兹马思-数学第一资源

一个语义的,多语言的数学术语的数据模型和编码。(英语) Zbl 1304.68173
Watt,Stephen M.(ed.)等人,《智能计算机数学》。2014年国际会议,CICM 2014,葡萄牙科英布拉,2014年7月7日至11日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-319-08433-6/pbk)。计算机科学课堂讲稿8543。人工智能课堂讲稿,169-183(2014)。
摘要:要理解数学语言,就必须理解数学词汇。特别是,对于机器支持的知识管理和数字图书馆,我们需要机器操作的术语数据库(术语库)。然而,数学和相关学科的术语在许多方面不同于一般自然语言词汇。在本文中,我们分析了这些,并为SMGloM开发了一个数据模型,即语义的、多语言的数学词汇表,并展示了如何将其编码到OMDoc/MMT理论图模型中。这种结构化表示自然地解释了语义术语(又称术语表)的许多术语和本体论关系。我们还演示了如何在这种情况下考虑多语言。
整个系列请参见[Zbl 1293.68035].

理学硕士:
68T30型 知识表示
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Asher,N.:选择限制、类型和类别。应用逻辑杂志12(2),75–87(2014)·Zbl 1335.03028
[2] Buswell,S.等人:开放数学标准,2.0版。OpenMath协会技术代表(2004年),http://www.openmath.org/standard/om20
[3] Iancu,M.,Jucovschi,C.,Kohlhase,M.,Wiesing,T.:系统描述:MathHub.info。In:Watt,S.M.,Davenport,J.H.,Sexton,A.P.,Sojka,P.,Urban,J.(编辑),CICM 2014。LNCS(LNAI),第8543卷,第431-434页。斯普林格,海德堡(2014),http://kwarc.info/kohlhase/submit/cicm14-mathhub.pdf·Zbl 1304.68196
[4] Codescu,M.,Horozal,F.,Kohlhase,M.,Mossakowski,T.,Rabe,F.:项目摘要:逻辑图集和积分器(拉丁语)。Farmer,MK.M.,加尔各答,普罗姆达夫出版社,2011年。LNCS(LNAI),第6824卷,第289-291页。斯普林格,海德堡(2011)·兹布1278.68285
[5] Fellbaum,C.(编辑):WordNet:一个电子词汇数据库。麻省理工学院出版社(1998)·Zbl 0913.68054
[6] 框架网,https://framenet.icsi.berkeley.edu(2014年2月6日访问)
[7] Ruppenhofer,J.等人:《框架网络II:扩展理论与实践》(2010年),https://framenet2.icsi.berkeley.edu/docs/r1.5/book.pdf
[8] 哈拉里:图论。艾迪生·韦斯利(1969)·Zbl 0182.57702
[9] Kohlhase,A.,Kohlhase,M.:数学知识空间的探索。In:Kohlhase,M.(编辑)MKM 2005。LNCS(LNAI),第3863卷,第17-32页。斯普林格,海德堡(2006年),http://kwarc.info/kohlhase/papers/mkm05.pdf·Zbl 1151.68666
[10] Kohlhase,M.:使用LaTeX作为语义标记格式。计算机科学数学2(2),279–304(2008年),https://svn.kwarc.info/repos/stex/doc/mcs08/stex.pdf·Zbl 1176.68230
[11] Kohlhase,M.:数学文档的开放标记格式OMDoc[version1.3]。规范草案(2010年),https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/doc/spec/main.pdf
[12] Lehmann,J.,et al.:数据库-从维基百科中提取的大规模、多语言知识库。语义网络期刊,29(2013年),http://www.semantic-web-journal.net/system/files/swj558.pdf
[13] 命题银行,http://verbs.colorado.edu/mpalmer/projects/ace.html(访问日期:2014年2月6日)
[14] Palmer,M.,Kingsbury,P.,Gildea,D.:命题库:语义角色的注释语料库。计算语言学31(1),71-106(2005),doi:10.1162/0891201053630264·Zbl 06016144
[15] mmtapi:一个通用的MKM系统。摘自:Carette,J.,Aspinall,D.,Lange,C.,Sojka,P.,Windsteiger,W.(编辑),CICM 2013。LNCS(LNAI),第7961卷,第339-343页。斯普林格,海德堡(2013)·Zbl 1390.68626
[16] Rabe,F.,Kohlhase,M.:可扩展模块系统。信息与计算(230),1-54(2013年),http://kwarc.info/frabe/Research/mmt.pdf·Zbl 1358.68283号
[17] SMGloM词汇表,http://mathhub.info/mh/glossary(2014年4月21日访问)
[18] LaTeX的语义标记。项目主页,http://trac.kwarc.info/sTeX/(2011年2月22日访问)
[19] 萨鲁德斯,J.,萨姆博,S.:GF数学图书馆。In:Quaresma,P.,Back,R.-J.(编辑)THedu。EPTCS,第79卷,第102-110页(2011年),doi:10.4204/EPTCS.79.6
[20] WordNet:一个英语词汇数据库,https://wordnet.princeton.edu/(2013年5月26日访问)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。