OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
SALT - Semantically Annotated $\mbox{\LaTeX}$ for Scientific Publications
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Integrating Web Services into Active Mathematical Documents
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
A Mathematical Approach to Ontology Authoring and Documentation
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
The Importance of Being Formal
Electronic Notes in Theoretical Computer Science (ENTCS)
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
STEXIDE: an integrated development environment for STEX collections
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Dimensions of formality: a case study for MKM in software engineering
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Publishing math lecture notes as linked data
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
STEXIDE: an integrated development environment for STEX collections
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Dimensions of formality: a case study for MKM in software engineering
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
The planetary system: executable science, technology, engineering and math papers
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Maintaining islands of consistency via versioned links
Proceedings of the 29th ACM international conference on Design of communication
Towards a flexible notion of document context
Proceedings of the 29th ACM international conference on Design of communication
Hi-index | 0.00 |
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.