HELM and the Semantic Math-Web
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
A Query Language for a Metadata Framework about Mathematical Resources
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
MathFind: a math-aware search engine
SIGIR '06 Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval
Search Mathematical Formulas by Mathematical Formulas
Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009
Roles of math search in mathematics
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
A search engine for mathematical formulae
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
| Hi-index | 0.00 |
This paper presents a new framework for adding semantic into the mathematical expressions in the context of e-learning. The proposed system converts presentation MathML into content MathML with RDFa annotations. The objective is to add meaning into the mathematical contents, and to create a framework to facilitate the searching of mathematical contents on the web. The proposed approach relies on two principles. The first principle is the automatic semantic addition by converting presentation MathML into content MathML. The second feature of the proposed system is the ability to search for the mathematical expression and find where it is located exactly in the e-learning web page. This is accomplished by having RDFa annotations embedded in the resulted MathML.