Incremental formalization with the hyper-object substrate
ACM Transactions on Information Systems (TOIS)
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
The semantic-document approach to combining documents and ontologies
International Journal of Human-Computer Studies
Computerizing Mathematical Text with MathLang
Electronic Notes in Theoretical Computer Science (ENTCS)
A Review of Mathematical Knowledge Management
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
The Importance of Being Formal
Electronic Notes in Theoretical Computer Science (ENTCS)
The heterogeneous tool set, HETS
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
STEX+: a system for flexible formalization of linked data
Proceedings of the 6th International Conference on Semantic Systems
Publishing math lecture notes as linked data
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
STEX+: a system for flexible formalization of linked data
Proceedings of the 6th International Conference on Semantic Systems
STEXIDE: an integrated development environment for STEX collections
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
The planetary system: executable science, technology, engineering and math papers
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Towards a flexible notion of document context
Proceedings of the 29th ACM international conference on Design of communication
Hi-index | 0.00 |
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.