##
**Using LaT**_{E}X as a semantic markup format.
*(English)*
Zbl 1176.68230

_{E}X as a semantic markup format.

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 T

_{E}X /LaT_{E}X format and workflow. We analyze the current practice of semi-semantic markup in LaT_{E}X documents and extend it by a markup infrastructure that allows to embed semantic annotations into LaT_{E}X documents without changing their visual appearance. This collection of T_{E}X macro packages is called sT_{E}X (semantic T_{E}X ) as it allows to markup LaT_{E}X documents semantically without leaving the time-tried T_{E}X /LaT_{E}X workflow, essentially turning LaT_{E}X into an MKM format. At the heart of sT_{E}X 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 LaT_{E}X 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 |