S~TE~X+ - a System for Flexible Formalization of Linked Data

摘要

We present the S~TE~X+ system, a user-driven advancement of S~TE~X- a semantic extension of L~AT_EX that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc documents for the Web or further processing. Originally S~TE~X had been created as an invasive, semantic frontend for authoring XML documents. Here, we used S~TE~X in a Software Engineering case study as a formalization tool. In order to deal with modular pre-semantic vocabularies and relations, we upgraded it to S~TE~X+ in a participatory design process. We present a tool chain that starts with an S~TE~X+ editor and ultimately serves the generated documents as XHTML+RDFa Linked Data via an OMDoc-enabled, ver-sioned XML database. In the final output, all structural annotations are preserved in order to enable semantic information retrieval services.