Dimensions of formality: a case study for MKM in software engineering
Dimensions of formality: a case study for MKM in software engineering
复制标题
形式化维度：软件工程中 MKM 的案例研究
DOI：
10.1007/978-3-642-14128-7_31
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Christoph Lange
中科院分区：
文献类型：
--
作者：
Andrea Kohlhase;Michael Kohlhase;Christoph Lange
我们从 MKM 角度研究为软件工程项目创建的文档集合的形式化。我们分析文档和集合标记格式如何应对主要和次要分类和关系的开放式多维空间。我们表明，基于 RDFa 的 MKM 格式扩展，采用灵活的“元数据”关系，引用不同维度的特定词汇表，非常适合对此进行编码并将其投入使用。这种形式化的知识可用于丰富交互式文档浏览，支持对文档和集合的多维元数据查询，以及将链接数据导出到语义网，从而实现进一步的重用。
We study the formalization of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection markup formats can cope with an open-ended, multi-dimensional space of primary and secondary classifications and relationships. We show that RDFa-based extensions of MKM formats, employing flexible “metadata” relationships referencing specific vocabularies for distinct dimensions, are well-suited to encode this and to put it into service. This formalized knowledge can be used for enriching interactive document browsing, for enabling multi-dimensional metadata queries over documents and collections, and for exporting Linked Data to the Semantic Web and thus enabling further reuse.
登录
查看更多内容
异构工具集 (Hets)
影响因子：
3
作者：
Till Mossakowski;Christian Maeder;K. Lüttich
通讯作者：
K. Lüttich
STEX：链接数据灵活形式化的系统
DOI：
10.1145/1839707.1839712
发表时间：
2010
期刊：
International Conference on Semantic Systems
影响因子：
--
作者：
A. Kohlhase;M. Kohlhase;C. Lange
通讯作者：
C. Lange
DOI：
--
发表时间：
2009
期刊：
LWA
影响因子：
--
作者：
C. Lange;M. Kohlhase
通讯作者：
M. Kohlhase
DOI：
--
发表时间：
2009
期刊：
SafeCert@ETAPS
影响因子：
--
作者：
U. Frese;D. Hausmann;Christoph Lüth;Holger Täubig;Dennis Walter
通讯作者：
Dennis Walter
迈向 Wiki 交换格式 (WIF)
DOI：
--
发表时间：
2006
期刊：
Semantic Wiki Workshop
影响因子：
--
作者：
Max Völkel;E. Oren
通讯作者：
E. Oren