MQL: A Mathematical Formula Query Language for Mathematical Search

Wei Guo,Wei Su,Lian Li,Ning An,Linwei Cui
DOI: https://doi.org/10.1109/CSE.2011.52
2011-01-01
Abstract:Math Search, an ongoing project in Lanzhou University, is a formula-based search engine for mathematical information on the Internet. It aims to provide a fast and convenient way to retrieve mathematical expressions and notations from Web pages and documents. One of the big challenges is how to enable the user to express their query needs intuitively, precisely, concisely and unambiguously. In Math Search, a mathematical formula query language (MQL) is created for users to describe their retrieval requirements. With MQL users could realize basic query, semantic query, wildcard query, fuzzy query and combination query in Math Search. MQL contains two forms: a character-string form (MQLS) and an XML form (MQLX). MQLS offers a way for users to input retrieval content through infix notations, wildcards, entities, and mathematical regular expressions. It is a human readable mathematical formula query language. MQLX describes retrieval content through Math ML and other predefined XML elements and attributes. It is a machine-oriented structural mathematical formula query language.
What problem does this paper attempt to address?