Semantic Technologies for Mathematical eLearning?

Abstract. With the globalisation in education, bridging cultural dif-ferences by making course material more accessible and adaptable to individual user needs becomes an important goal. In this paper we at-tack this goal for the field of mathematics where knowledge is abstract, highly structured, and extraordinary interlinked. Modern representation formats like our OMDoc format allow us to capture, model, relate, and represent mathematical learning objects and thus make them context-aware and machine-adaptable to the respective learning contexts. But to make mathematical knowledge accessible to learners of diverse cultural backgrounds we also need to model mathematical practice. In this paper, we show that many practices of mathematical communities can already be modeled in OMDoc and outline extensions to support further ones. We have implemented a collection of services that allow applications to interpret and manage OMDoc and its practice repre-sentations. These services are integrated into our prototype eLearning platform to demonstrate how systems can improve the accessibility of mathematical eLearning materials.