STEX+: a system for flexible formalization of linked data

We present the STEX system, 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 created as an invasive, semantic frontend for XML documents, we use STEX in a Software Engineering case study as a formalization tool and upgrade it to deal with modular presemantic vocabularies and relations and generating Linked Data based on all structural explications. 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. Categories and Subject Descriptors I.2.4 [Artificial Intelligence]: Knowledge Representation Formalisms and Methods--Representation languages; I.7.2 [Document and Text Processing]: Document Preparation Keywords formalization, LATEX, linked data, software engineering, semantic authoring, annotation, metadata, RDFa, voca...

• Type: Conference
• Year: 2010
• Where: ISEMANTICS
• Authors: Andrea Kohlhase, Michael Kohlhase, Christoph Lange 0002
• Keywords: ISEMANTICS 2010, Linked Data, Machine Learning, Semantic Xml/omdoc Documents, STEX