The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics

详细信息    查看全文

• 刊名：Lecture Notes in Computer Science
• 出版年：2016
• 出版时间：2016
• 年：2016
• 卷：9725
• 期：1
• 页码：451-457
• 全文大小：893 KB
• 参考文献：[DBP13]DBpedia. 17 September 2013. http://​dbpedia.​org . Acccessed 21 Feb 2014
  [GC14]Ginev, D., Corneli, J.: NNexus reloaded. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 423–426. Springer, Heidelberg (2014). http://​arXiv.​org/​abs/​1404.​6548
  [Koh06]Kohlhase, M.: Communication with and between mathematical software systems. In: Kohlhase, M. (ed.) OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180, pp. 75–79. Springer, Heidelberg (2006). http://​omdoc.​org/​pubs/​omdoc1.​2.​pdf CrossRef
  [Koh14]Kohlhase, M.: A data model and encoding for a semantic, multilingual terminology of mathematics. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 169–183. Springer, Heidelberg (2014). http://​kwarc.​info/​kohlhase/​papers/​cicm14-smglom.​pdf
  [MH]MathHub.info: Active Mathematics. http://​mathhub.​info . Accessed 28 Jan 2014
  [RK13]Rabe, F., Kohlhase, M.: A scalable module system. Inf. Comput. 230, 1–54 (2013). http://​kwarc.​info/​frabe/​Research/​mmt.​pdf MathSciNet CrossRef MATH
  [SPL]Kohlhase, M.: The SMGloM Public License (SPL) version 0.1. https://​mathhub.​info/​help/​spl0.​1.​html
  [sTeX]KWARC, sTeX. https://​github.​com/​KWARC/​sTeX . Accessed 15 May 2015
  [Tol16]Toloaca, I.: MathSemantier - a notation-based semantication study. B.Sc. Thesis, Jacobs University Bremen (2016)
  [Wat+14]Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.): CICM 2014. LNCS, vol. 8543. Springer, Heidelberg (2014). ISBN: 978-3-319-08433-6
  [WN]WordNet: a lexical database for English. https://​wordnet.​princeton.​edu/​ . Accessed 26 May 2013
  [YAGO]Towards a Universal Multilingual Wordnet. http://​www.​mpi-inf.​mpg.​de/​yago-naga/​uwn/​ . Accessed 26 May 2013
  
• 作者单位：Deyan Ginev (17)
  Mihnea Iancu (17)
  Constantin Jucovshi (17)
  Andrea Kohlhase (17)
  Michael Kohlhase (17)
  Akbar Oripov (17)
  Jürgen Schefter (18)
  Wolfram Sperber (18)
  Olaf Teschke (18)
  Tom Wiesing (18)
  
  17. Computer Science, Jacobs University Bremen, Bremen, Germany
  18. Zentralblatt Math, Berlin, Germany
  
• 丛书名：Mathematical Software ¨C ICMS 2016
• ISBN：978-3-319-42432-3
• 刊物类别：Computer Science
• 刊物主题：Artificial Intelligence and Robotics
  Computer Communication Networks
  Software Engineering
  Data Encryption
  Database Management
  Computation by Abstract Devices
  Algorithm Analysis and Problem Complexity
  
• 出版者：Springer Berlin / Heidelberg
• ISSN：1611-3349
• 卷排序：9725

文摘

Mathematical vernacular – the everyday language we use to communicate about mathematics is characterized by a special vocabulary. If we want to support humans with mathematical documents, we need to extract their semantics and for that we need a resource that captures the terminological, linguistic, and ontological aspects of the mathematical vocabulary. In the SMGloM project and system, we aim to do just this. We present the glossary system prototype, the content organization, and the envisioned community aspects.