Semantics for web-based mathematical education
暂无分享,去创建一个
Web-based user-adaptive learning environments suggest a semantic knowledge representation that can be reused in different contexts. Moreover, if these educational systems employ external service systems for support or for exploratory activities, the semantic representation is a basis for the interoperability of the service systems and for machine-understandable data. ActiveMath is such a learning environment for mathematics. We show what its annotated semantic knowledge representation, extended OMDoc, is like and how it is used. We also discuss the current bottleneck of authoring. Since mathematicians are mostly familiar with authoring LATEX rather than semantic XML, ActiveMath offers a LATEX2OMDoc tool. As compared with the direct OMDoc authoring which is not yet visually supported this has pros and cons.
[1] Mike Dewar,et al. Mathematical Software: The Next Generation? , 2001 .
[2] Mark A. Musen,et al. The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility , 2000, EKAW.
[3] Michael Kohlhase,et al. OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge , 2000, AISC.
[4] Erica Melis,et al. Knowledge-Based Proof Planning , 1999, Artif. Intell..