| Creators: |
Kohlhase, Andrea and Kohlhase, Michael and Lange, Christoph |
| Title: |
sTeX – A System for Flexible Formalization of Linked Data |
| Item Type: |
Conference or Workshop Item |
| Event Title: |
(Proceedings of the) 6th International Conference on Semantic Systems and the 5th International Conference on Pragmatic Web |
| Event Location: |
Graz, Austria |
| Event Dates: |
September, 1-3, 2010 |
| Additional Information: |
doi: 10.1145/1839707.1839712. arXiv: 1006.4474v1 [cs.SE] |
| Date: |
2010 |
| Divisions: |
Informationsmanagement |
| Abstract (ENG): |
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. |
| Forthcoming: |
No |
| Language: |
English |
| Link eMedia: |
Download |
| Citation: |
Kohlhase, Andrea and Kohlhase, Michael and Lange, Christoph
(2010)
sTeX – A System for Flexible Formalization of Linked Data.
In: (Proceedings of the) 6th International Conference on Semantic Systems and the 5th International Conference on Pragmatic Web, September, 1-3, 2010, Graz, Austria.
ISBN 9781450300148
|
