| Creators: |
Kohlhase, Andrea and Kohlhase, Michael and Lange, Christoph |
| Title: |
Dimensions of Formality: A Case Study for MKM in Software Engineering |
| Item Type: |
Conference or Workshop Item |
| Event Title: |
(Proceedings of the) 10th ASIC and 9th MKM International conference, and 17th Calculemus conference on Intelligent computer mathematics |
| Event Location: |
Paris, France |
| Event Dates: |
July, 5-7, 2010 |
| Page Range: |
pp. 355-369 |
| Additional Information: |
arXiv: 1004.5071v1 [cs.DL]. |
| Date: |
2010 |
| Divisions: |
Informationsmanagement |
| Abstract (ENG): |
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. |
| Forthcoming: |
No |
| Language: |
English |
| Link eMedia: |
Download |
| Citation: |
Kohlhase, Andrea and Kohlhase, Michael and Lange, Christoph
(2010)
Dimensions of Formality: A Case Study for MKM in Software Engineering.
In: (Proceedings of the) 10th ASIC and 9th MKM International conference, and 17th Calculemus conference on Intelligent computer mathematics, July, 5-7, 2010, Paris, France, pp. 355-369.
ISBN 9783642141270
|
 |
View Item in edit mode (academic staff only) |
