迈克尔·科尔哈斯 数学语义、多语言术语的数据模型和编码。 （英语） Zbl 1304.68173号 Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能讲义》，169-183（2014）。 小结：要理解数学语言，我们必须理解数学单词。特别是，对于机器支持的知识管理和数字图书馆，我们需要机器可操作的术语数据库（术语库）。然而，数学和相关学科的术语在许多方面不同于一般自然语言的词汇。本文对此进行了分析，并为SMGloM开发了一个数据模型，即语义、多语言数学词汇表，并展示了如何将其编码到OMDoc/MMT理论图模型中。这种结构化表示自然解释了语义术语（又称词汇表）的许多术语和本体关系。我们还演示了如何在这种情况下解释多语言。关于整个系列，请参见[Zbl 1293.68035号]. 引用于三文件 MSC公司： 68立方英尺 知识表示 软件：拉丁语;乳胶;数学中心信息;SMGLoM公司;sTeX公司;WordNet（文字网）;MMT公司;OMDoc公司;GF公司;质量管理团队 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}，莱克特。注释计算。科学。8543、169--183（2014；Zbl 1304.68173） 全文： DOI程序 参考文献： [1] Asher，N.：选择性限制、类型和类别。《应用逻辑杂志》12（2），75-87（2014）·Zbl 1335.03028号 ·doi:10.1016/j.jal.2013年8月02日 [2] Buswell，S.等人：开放数学标准，2.0版。技术代表The OpenMath Society（2004），http://www.openmath.org/standard/om20 [3] Iancu，M.、Jucovschi，C.、Kohlhase，M.和Wiesing，T.：系统描述：MathHub.info。收录人：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.：项目摘要：逻辑地图集和积分器（LATIN）。作者：Davenport，J.H.，Farmer，W.M.，Urban，J.，Rabe，F.（编辑）Calculationmus/MKM 2011。LNCS（LNAI），第6824卷，第289-291页。斯普林格，海德堡（2011）·Zbl 1278.68285号 ·doi:10.1007/978-3-642-22673-124 [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] Harary，F.：图论。艾迪森·韦斯利（1969）·Zbl 0182.57702号 [9] Kohlhase，A.，Kohlhace，M.：数学知识空间的探索。In：Kohlhase，M.（编辑）MKM 2005。LNCS（LNAI），第3863卷，第17-32页。斯普林格，海德堡（2006），http://kwarc.info/kohlhase/papers/mkm05.pdf ·Zbl 1151.68666号 ·数字对象标识代码：10.1007/11618027_2 [10] Kohlhase，M.：使用LaTeX作为语义标记格式。计算机科学数学2（2），279-304（2008），https://svn.kwarc.info/repos/stex/doc/mcs08/stex.pdf ·Zbl 1176.68230号 ·doi:10.1007/s11786-008-0055-5 [11] Kohlhase，M.：数学文档的开放标记格式OMDoc[版本1.3]。规范草案（2010），https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/doc/spec/main.pdf [12] Lehmann，J.等人：DBpedia——从维基百科中提取的大规模多语言知识库。语义网络期刊，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·doi:10.1162/0891201053630264 [15] Rabe，F.：MMT API：通用MKM系统。在：Carette，J.，Aspinall，D.，Lange，C.，Sojka，P.，Windsteiger，W.（编辑）2013年国际化学品管理委员会。LNCS（LNAI），第7961卷，第339-343页。斯普林格，海德堡（2013）·Zbl 1390.68626号 ·doi:10.1007/978-3-642-39320-4_25 [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] Saludes，J.，Xambó，S.：GF数学图书馆。收录：Quaresma，P.，Back，R.-J.（编辑）THedu。EPTCS，第79卷，第102–110页（2011年），doi:10.4204/EPTCS.79.6·doi:10.4204/EPTCS.79.6 [20] WordNet：英语词汇数据库，https://wordnet.princeton.edu/（2013年5月26日访问） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。