vix.ing · top · new · best · stats · spec

Dimensions of Formality: A Case Study for MKM in Software Engineering

2010/04/28 by Andrea Kohlhase, Kohlhase, Andrea, Michael Kohlhase +3
Computer Science · Decision Sciences · #68T30 #68T35 #Advanced Database Systems and Queries #Artificial Intelligence (cs.AI) #D.2.7 #Digital Libraries (cs.DL) #F.4.m #FOS: Computer and information sciences #H.3.5 #H.5.3 #H.5.4 #I.2.4 #I.7.2 #K.6.3 #Scientific Computing and Data Management #Semantic Web and Ontologies #Software Engineering (cs.SE) #acm:68T30 #acm:68T35 #cs.AI #cs.DL #cs.SE #msc:68T30 #msc:68T35

paper · pdf · doi:10.48550/arxiv.1004.5071

To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010

arxiv created 2010/04/28 · openalex publication_date 2010/04/28 · arxiv updated 2010/04/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

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.

Related