In this paper, we try to bridge the gap between different dimensions/incarnations of mathematical knowledge: MKM representation formats (content), their human-oriented languages (source, presentation), their narrative linearizations (narration), and relational presentations used in the semantic web. The central idea is to transport solutions from software engineering to MKM regarding the parallel interlinked maintenance of the different incarnations. We show how the integration of these incarnations can be utilized to enrich the authoring and viewing processes, and we evaluate our infrastructure on the LATIN Logic Atlas, a modular library of logic formalizations, and a set of computer science lecture notes written in STEX - a modular, semantic variant of . © 2011 Springer-Verlag.
CITATION STYLE
Horozal, F., Iacob, A., Jucovschi, C., Kohlhase, M., & Rabe, F. (2011). Combining source, content, presentation, narration, and relational representation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6824 LNAI, pp. 212–227). https://doi.org/10.1007/978-3-642-22673-1_15
Mendeley helps you to discover research relevant for your work.