Dimensions of Formality: A Case Study for MKM in Software Engineering.
In: Intelligent Computer Mathematics (9783642141270); 2010, p355-369, 15p
Online
Buch
Zugriff:
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. [ABSTRACT FROM AUTHOR]
Copyright of Intelligent Computer Mathematics (9783642141270) is the property of Springer Nature / Books and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Titel: |
Dimensions of Formality: A Case Study for MKM in Software Engineering.
|
---|---|
Autor/in / Beteiligte Person: | Kohlhase, Andrea ; Kohlhase, Michael ; Lange, Christoph |
Link: | |
Quelle: | Intelligent Computer Mathematics (9783642141270); 2010, p355-369, 15p |
Veröffentlichung: | 2010 |
Medientyp: | Buch |
ISBN: | 978-3-642-14127-0 (print) |
DOI: | 10.1007/978-3-642-14128-7_31 |
Sonstiges: |
|