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

Abstract. We study the formalization process 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 first and secondary classifications and relations. We show that RDFa-based extensions of MKM formats by flexible “metadata” relations referencing specific vocabularies are well-suited to encode and operationalize this. This explicated 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.

• Type: Conference
• Year: 2010
• Where: AISC
• Authors: Andrea Kohlhase, Michael Kohlhase, Christoph Lange 0002
• Keywords: AISC 2010, Artificial Intelligence, Collection Markup Formats, MKM Perspective, Multi-dimensional Metadata Queries