MQL: A Mathematical Formula Query Language for Mathematical Search

Author

Guo, Wei ; Su, Wei ; Li, Lian ; An, Ning ; Cui, Linwei

Author_Institution

Sch. of Inf. Sci. & Eng., Lanzhou Univ., Lanzhou, China

fYear

2011

fDate

24-26 Aug. 2011

Firstpage

245

Lastpage

250

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.

Keywords

Web sites; XML; document handling; fuzzy set theory; mathematics computing; query languages; search engines; semantic Web; semantic networks; Internet; Lanzhou University; MQLS; MQLX; Math ML; Math Search; Web documents; Web pages; XML form; basic query; character-string form; combination query; entity; formula-based search engine; fuzzy query; human readable mathematical formula query language; infix notations; machine-oriented structural mathematical formula query language; mathematical expressions; mathematical information; mathematical notations; mathematical regular expressions; mathematical search; predefined XML elements; query needs; retrieval content; retrieval requirements; semantic query; wildcard query; wildcards; Database languages; Educational institutions; Mathematics; Search engines; Semantics; Syntactics; XML; MathML; mathematical expression; query language; regular expression; search engine; wildcard;

fLanguage

English

Publisher

ieee

Conference_Titel

Computational Science and Engineering (CSE), 2011 IEEE 14th International Conference on

Conference_Location

Dalian, Liaoning

Print_ISBN

978-1-4577-0974-6

Type

conf

DOI

10.1109/CSE.2011.52

Filename

6062881