sTeX+ - A System for Flexible Formalization of Linked Data
Andrea Kohlhase; Michael Kohlhase; Christoph Lange
In: Proceedings the 6the International Conference on Semantic Systems. International Conference on Semantic Systems (I-Semantics-10), September 1-3, Graz, Austria, arXiv.org, 2010.
Zusammenfassung
We present the STEX+ system, a user-driven advancement of STEX - a semantic extension of LATEX 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 STEX had been created as an invasive, semantic frontend for authoring XML documents. Here, we used STEX 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 STEX+ in a participatory design process. We present a tool chain that starts with an STEX+ editor and ultimately serves the generated documents as XHTML+RDFa Linked Data via an OMDoc-enabled, versioned
XML database. In the final output, all structural annotations are preserved in order to enable semantic information retrieval services.
@inproceedings{pub4962,
author = {
Kohlhase, Andrea
and
Kohlhase, Michael
and
Lange, Christoph
},
title = {sTeX+ - A System for Flexible Formalization of Linked Data},
booktitle = {Proceedings the 6the International Conference on Semantic Systems. International Conference on Semantic Systems (I-Semantics-10), September 1-3, Graz, Austria},
year = {2010},
publisher = {arXiv.org}
}
Deutsches Forschungszentrum für Künstliche Intelligenz German Research Center for Artificial Intelligence