Dimensions of Formality: A Case Study for MKM in Software Engineering
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2010
- DOI:
- 10.48550/arXiv.1004.5071
- arXiv:
- arXiv:1004.5071
- Bibcode:
- 2010arXiv1004.5071K
- Keywords:
-
- Computer Science - Digital Libraries;
- Computer Science - Artificial Intelligence;
- Computer Science - Software Engineering;
- 68T35;
- 68T30;
- H.5.3;
- H.5.4;
- I.7.2;
- F.4.m;
- H.3.5;
- D.2.7;
- I.2.4;
- K.6.3
- E-Print:
- To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010