安德烈亚·科尔哈斯;迈克尔·科尔哈斯;克里斯托夫·兰格 形式维度：软件工程中MKM的案例研究。 （英语） Zbl 1278.68295号 Autexier，Serge（编辑）等人，《智能计算机数学》。2010年7月5日至10日，第十届国际会议，AISC 2010，第十七届研讨会，Calculemus 2010，第九届国际会议MKM 2010，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14127-0/pbk）。计算机科学讲义6167。人工智能课堂讲稿，355-369（2010）。 摘要：我们从MKM的角度研究了为软件工程项目创建的文档集合的形式化。我们分析了文档和集合标记格式如何处理一个开放的、多维的主要和次要分类及关系空间。我们表明，基于RDFa的MKM格式扩展，使用灵活的“元数据”关系引用不同维度的特定词汇表，非常适合对此进行编码并将其投入使用。这种形式化的知识可用于丰富交互式文档浏览，支持对文档和集合的多维元数据查询，以及将链接数据导出到语义web，从而实现进一步的重用。关于整个系列，请参见[Zbl 1194.68011号]. MSC公司： 68立方英尺 知识表示 关键词：数学知识管理 软件：STEX公司+;foaf公司;SPARQL公司;数学Dox;赫茨 PDF格式BibTeX公司 XML格式引用 \textit｛A.Kohlhase｝等人，Lect。注释计算。科学。6167355--369（2010年；Zbl 1278.68295） 全文： 内政部 arXiv公司