WebMIaS – Web interface for MIaS

WebMIaS is a web interface for MIaS. WebMIaS accepts math queries in TeX or MathML notation combined with text queries. TeX queries are converted to MathML on the fly. Results contain match snippets.

Usage

Install Docker, place your dataset to a directory named dataset/, and index your dataset using the miratmu/mias Docker image:

docker run -v "$PWD"/dataset:/dataset:ro -v "$PWD"/index:/index:rw \
    --rm miratmu/mias

When running MIaS, you may control the configuration of the Java Virtual Machine by changing the JAVA_OPTS environmental veriable: -e JAVA_OPTS='-Xms128g -Xmx192g'.

Next, deploy the miratmu/webmias Docker image:

docker run -v "$PWD"/dataset:/dataset:ro -v "$PWD"/index:/index:ro \
    --rm --name webmias -d -p 127.0.0.1:8888:8080 miratmu/webmias

When running WebMIaS, you may also control the configuration of the Java Virtual Machine by changing the JAVA_OPTS environmental veriable: -e JAVA_OPTS='-Xms128g -Xmx192g'.

Navigate to http://localhost:8888/WebMIaS with your web browser. If you would like to expose WebMIaS to others in your computer network, replace the IP address 127.0.0.1 with the IP address 0.0.0.0:

docker stop webmias
docker run -v "$PWD"/dataset:/dataset:ro -v "$PWD"/index:/index:ro \
    --rm --name webmias -d -p 0.0.0.0:8888:8080 miratmu/webmias

Usage without Docker

Setting up indexes.properties

Locate the file named indexes.properties in the WEB-INF/classes/cz/muni/fi/webmias directory inside the WebMIaS.war ZIP archive, and set up the following properties:

• PATHS – A comma-separated list of directories, where MIaS indices are located. This corresponds to the INDEXDIR property in the configuration file of MIaS, but multiple paths can be specified.
• INDEX_NAMES – A comma-separated list of names of the corresponding indices.
• STORAGES – A comma-separated list of directories, where the source files that were used to produce the corresponding indices are located.
• MAXRESULTS – The maximum number of results that the system retrieves.

The resulting file might have the following content:

Example:

INDEX_NAMES=first-index,second-index
PATHS=/home/MIaS/index1,/home/MIaS/index2
STORAGES=/home/MIaS/dataset1,/home/MIaS/dataset2
MAXRESULTS=10000

JVM configuration

It can be useful to increase memory limits for Tomcat JVM running WebMIaS instance. See sample file setenv.sh.sample. Modify the configuration to fit your needs and copy the result as an executable script setenv.sh in $CATALINA_BASE/bin of your Tomcat server to keep your customizations separate of the Tomcat distribution scripts.

Citing WebMIaS

Text

LÍŠKA, Martin, Petr SOJKA, Michal RŮŽIČKA and Peter MRAVEC. Web Interface and Collection for Mathematical Retrieval : WebMIaS and MREC. In Petr Sojka, Thierry Bouche. DML 2011: Towards a Digital Mathematics Library. Brno: Masaryk University, 2011. p. 77–84. ISBN 978-80-210-5542-1.

BibTeX

@inproceedings{dml:702604,
     author = "Martin L\'{i}\v{s}ka and Petr Sojka
               and Michal R\r{u}\v{z}i\v{c}ka and Petr Mravec",
      title = "{Web Interface and Collection for Mathematical Retrieval:
                WebMIaS and MREC}",
     editor = "Petr Sojka and Thierry Bouche",
  booktitle = "{Towards a Digital Mathematics Library.}"
    address = "{Bertinoro, Italy}",
       year = 2011,
      month = Jul,
      pages = "77--84",
  publisher = "{Masaryk University}",
       isbn = "978-80-210-5542-1",
        url = {http://hdl.handle.net/10338.dmlcz/702604},
}