Abstract

We present a preliminary study on disambiguation of symbolic expressions in mathematical documents. We propose to use the natural language within which the expressions are embedded to resolve their semantics. The approach is based on establishing a similarity between the expression’s discourse context and a set of terms from Term Clusters based on OpenMath Content Dictionaries. The Term Clusters are semi-automatically constructed terminological resources which classify related mathematical concepts into groups. Each group is labelled with a term which represents the common denominator between the concepts.