STEX+: a system for flexible formalization of linked data
STEX+: a system for flexible formalization of linked data
复制标题
STEX：链接数据灵活形式化的系统
DOI：
10.1145/1839707.1839712
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
C. Lange
中科院分区：
文献类型：
--
作者：
A. Kohlhase;M. Kohlhase;C. Lange
我们提出的S<sup>T</sup> E<sup>X</sup>+系统，一个用户驱动的S<sup>T</sup> E<sup>X</sup>---一个语义扩展的LAT<sub>E</sub> X，允许生产高质量的PDF文档（证明）阅读和打印，以及语义XML/OMDoc文档的Web或进一步处理。最初，S<sup>T</sup> E<sup>X</sup>是作为一种用于创作XML文档的侵入式语义前端而创建的。<sup>在</sup>这里，我们在一个软件工程案例研究中使用了<sup>STEX</sup>为了处理模块化前语义词汇和关系，我们在参与式设计过程中将其升级为S<sup>T</sup>E<sup>X</sup>+。我们提出了一个工具链，开始与S<sup>T</sup> E<sup>X</sup>+编辑器，并最终通过OMDoc启用的，版本化的XML数据库作为XHTML+RDFa链接数据生成的文档。在最终的输出中，所有的结构化注释都被保留，以支持语义信息检索服务。
We present the S<sup>T</sup>E<sup>X</sup>+ system, a user-driven advancement of S<sup>T</sup>E<sup>X</sup> --- a semantic extension of LAT<sub>E</sub>X 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 S<sup>T</sup>E<sup>X</sup> had been created as an invasive, semantic frontend for authoring XML documents. Here, we used S<sup>T</sup>E<sup>X</sup> 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 S<sup>T</sup>E<sup>X</sup>+ in a participatory design process. We present a tool chain that starts with an S<sup>T</sup>E<sup>X</sup>+ 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.
DOI：
--
发表时间：
2001
期刊：
--
影响因子：
--
作者：
P. Ion;Robert R. Miner;Ron Ausbrooks;S. Buswell;D. Carlisle;Giorgi Chavchanidze;Stéphane Dalmas;Stan Devitt;Angel Díaz;S. Dooley;R. Hunter;M. Kohlhase;A. Lazrek;P. Libbrecht;B. Miller;Chris Rowley;M. Sargent;Bruce T. Smith;N. Soiffer;R. Sutor;S. Watt
通讯作者：
P. Ion;Robert R. Miner;Ron Ausbrooks;S. Buswell;D. Carlisle;Giorgi Chavchanidze;Stéphane Dalmas;Stan Devitt;Angel Díaz;S. Dooley;R. Hunter;M. Kohlhase;A. Lazrek;P. Libbrecht;B. Miller;Chris Rowley;M. Sargent;Bruce T. Smith;N. Soiffer;R. Sutor;S. Watt