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

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

Actions for admins (login required)

View Item in edit mode