德扬·基涅夫;米尼亚·伊恩库;君士坦丁·朱科夫什;安德烈亚·科尔哈斯;迈克尔·科尔哈斯;奥里波夫,阿克巴;尤尔根·舍夫特;沃尔夫拉姆·斯珀伯;奥拉夫·特施克;汤姆·威辛 SMGloM项目和系统:走向数学术语和本体。 (英语) Zbl 1434.68649号 Greuel,Gert-Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11-14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9725, 451-457 (2016). 摘要:数学方言——我们用来交流数学的日常语言的特点是有一个特殊的词汇。如果我们想用数学文档支持人类,我们需要提取他们的语义,为此,我们需要一个能够捕获数学词汇的术语、语言和本体方面的资源。在SMGloM项目和系统中,我们的目标就是这样做。我们展示了词汇表系统原型、内容组织和设想的社区方面。有关整个系列,请参见[兹比尔1342.68017]. MSC公司: 68伏30 数学知识管理 68立方英尺 知识表示 软件:sTeX公司;SMGLoM公司;MMT公司;OMDoc公司;GitHub公司;NNexus公司;WordNet(文字网) PDF格式BibTeX公司 XML格式引用 \textit{D.Ginev}等人,Lect。注释计算。科学。9725、451--457(2016年;Zbl 1434.68649) 全文: 内政部 参考文献: [1] 数据库。2013年9月17日。http://dbpedia.org . 2014年2月21日处理 [2] Ginev,D.,Corneli,J.:NNexus重新装弹。收录人:Watt,S.M.、Davenport,J.H.、Sexton,A.P.、Sojka,P.、Urban,J.(编辑)CICM 2014。LNCS,第8543卷,第423-426页。斯普林格,海德堡(2014)。http://arXiv.org/abs/1404.6548 ·Zbl 1304.68195号 ·数字对象标识代码:10.1007/978-3-319-08434-3_31 [3] Kohlhase,M.:数学软件系统之间的通信。收录:Kohlhase,M.(编辑)OMDoc–数学文档的开放标记格式[版本1.2]。LNCS(LNAI),第4180卷,第75-79页。斯普林格,海德堡(2006)。http://omdoc.org/pubs/omdoc1.2.pdf ·doi:10.1007/11826095_11 [4] Kohlhase,M.:数学语义多语言术语的数据模型和编码。收录人:Watt,S.M.、Davenport,J.H.、Sexton,A.P.、Sojka,P.、Urban,J.(编辑)CICM 2014。LNCS,第8543卷,第169-183页。斯普林格,海德堡(2014)。http://kwarc.info/kohlhase/papers/cicm14-smglom.pdf ·Zbl 1304.68173号 ·数字对象标识代码:10.1007/978-3-319-08434-3_13 [5] MathHub.info:主动数学。网址:http://mathhub.info . 2014年1月28日访问 [6] Rabe,F.,Kohlhase,M.:可扩展模块系统。Inf.计算。230, 1–54 (2013). http://kwarc.info/frabe/Research/mmt.pdf ·Zbl 1358.68283号 ·doi:10.1016/j.ic/2013.06.001 [7] Kohlhase,M.:SMGloM公共许可证(SPL)0.1版。https://mathhub.info/help/spl0.1.html [8] KWARC,sTeX公司。https://github.com/KWARC/sTeX网站 . 2015年5月15日查阅 [9] 托洛卡,I.:MathSemantier——一项基于符号的语义研究。不来梅雅各布斯大学理学学士学位论文(2016年) [10] Watt,S.M.、Davenport,J.H.、Sexton,A.P.、Sojka,P.、Urban,J.(编辑):CICM 2014。LNCS,第8543卷。斯普林格,海德堡(2014)。国际标准图书编号:978-3-319-08433-6·Zbl 1293.68035号 [11] WordNet:英语词汇数据库。https://wordnet.princeton.edu/ . 2013年5月26日查阅 [12] 走向通用多语言Wordnet。http://www.mpi-inf.mpg.de/yago-naga/uwn/ . 2013年5月26日查阅 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。