## Using LaTEX as a semantic markup format.(English)Zbl 1176.68230

Summary: One of the great problems of Mathematical Knowledge Management (MKM) systems is to obtain access to a sufficiently large corpus of mathematical knowledge to allow the management/search/navigation techniques developed by the community to display their strength. Such systems usually expect the mathematical knowledge they operate on in the form of semantically enhanced documents, but mathematicians and publishers in Mathematics have heavily invested into the TEX /LaTEX format and workflow. We analyze the current practice of semi-semantic markup in LaTEX documents and extend it by a markup infrastructure that allows to embed semantic annotations into LaTEX documents without changing their visual appearance. This collection of TEX macro packages is called sTEX (semantic TEX ) as it allows to markup LaTEX documents semantically without leaving the time-tried TEX /LaTEX workflow, essentially turning LaTEX into an MKM format. At the heart of sTEX is a definition mechanism for semantic macros for mathematical objects and a non-standard scoping construct for them, which is oriented at the semantic dependency relation rather than the document structure. We evaluate the LaTEX macro collection on a large case study: the course materials of a two-semester course in Computer Science was annotated semantically and converted to the OMDoc MKM format by Bruce Miller’s LaTeXML system.

### MSC:

 68U15 Computing methodologies for text processing; mathematical typography 68T30 Knowledge representation

### Keywords:

knowledge representation; elision; typography; semantics

### Software:

CPoint; Isabelle/HOL; CTAN; ActiveMath; OMDoc; LaTeXML; CoFI; keyval; arXMLiv; sTeX; Hermes
Full Text: