形式维度：软件工程中MKM的案例研究
Dimensions of Formality: A Case Study for MKM in Software Engineering
摘要：
我们从MKM的角度研究了为软件工程项目创建的文档集合的形式化。我们分析了文档和集合标记格式如何应对一个开放的，多维的空间的主要和次要的分类和关系。我们表明，RDFa为基础的扩展MKM格式，采用灵活的“元数据”的关系，引用特定的词汇表不同的尺寸，非常适合编码，并把它投入服务。这种形式化的知识可以用于丰富交互式文档浏览，使多维元数据查询的文档和集合，并导出链接数据到语义Web，从而使进一步重用。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
