sTeX +--一个灵活的关联数据形式化系统
sTeX+ - a System for Flexible Formalization of Linked Data
摘要：
我们提出的sTeX+系统，用户驱动的sTeX-LaTeX的语义扩展，允许生产高质量的PDF文档（校对）阅读和打印，以及语义XML/OMDoc文档的Web或进一步处理的进步。最初，sTeX是作为一种侵入式的、语义化的前端创建的，用于编写XML文档。在这里，我们在一个软件工程案例研究中使用sTeX作为形式化工具。为了处理模块化前语义词汇和关系，我们在参与式设计过程中将其升级为sTeX+。我们提出了一个工具链，从一个sTeX+编辑器开始，并最终通过一个支持OMDoc的版本化XML数据库将生成的文档作为XHTML + RDFa链接数据。在最终的输出中，所有的结构化注释都被保留，以支持语义信息检索服务。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
