STEX+: a system for flexible formalization of linked data. 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.

This software is also peer reviewed by journal TOMS.

References in zbMATH (referenced in 4 articles )

Showing results 1 to 4 of 4.
Sorted by year (citations)

  1. Lange, Christoph: Enabling collaboration on semiformal mathematical knowledge by semantic web integration (2011)
  2. Jucovschi, Constantin; Kohlhase, Michael: STEXIDE: an integrated development environment for STEX collections (2010)
  3. Kohlhase, Andrea; Kohlhase, Michael; 0002, Christoph Lange: Stex+ - a system for flexible formalization of linked data (2010) ioport
  4. Kohlhase, Andrea; Kohlhase, Michael; Lange, Christoph: Dimensions of formality: a case study for MKM in software engineering (2010)