2014 | OriginalPaper | Chapter
A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
Author : Michael Kohlhase
Published in: Intelligent Computer Mathematics
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
To understand mathematical language we have to understand the words of mathematics. In particular, for machine-supported knowledge management and digital libraries, we need machine-actionable terminology databases (termbases). However, terminologies for Mathematics and related subjects differ from vocabularies for general natural languages in many ways. In this paper we analyze these and develop a data model for
SMGloM
the Semantic, Multilingual Glossary of Mathematics and show how it can be encoded in the
OMDoc
/
MMT
theory graph model. This structured representation naturally accounts for many of the terminological and ontological relations of a semantic terminology (aka. glossary). We also demonstrate how we can account for multilinguality in this setting.