Towards an interaction-based integration of MKM services into end-user applications. (English) Zbl 1304.68197

Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 344-356 (2014).
Summary: The semantic alliance (SAlly) Framework, first presented at MKM 2012, allows integration of mathematical knowledge management services into typical applications and end-user workflows. From an architecture allowing invasion of spreadsheet programs, it grew into a middle-ware connecting spreadsheet, CAD, text and image processing environments with MKM services. The architecture presented in the original paper proved to be quite resilient as it is still used today with only minor changes.
This paper explores extensibility challenges we have encountered in the process of developing new services and maintaining the plugins invading end-user applications. After an analysis of the underlying problems, I present an augmented version of the SAlly architecture that addresses these issues and opens new opportunities for document type agnostic MKM services.
For the entire collection see [Zbl 1293.68035].


68U35 Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)
68T30 Knowledge representation


MathHub.info; CPoint
Full Text: DOI arXiv Link


[1] Breitsprecher, T., et al.: Semantic support for engineering design process. In: DESIGN 2014 (to appear, 2014)
[2] David, C., Jucovschi, C., Kohlhase, A., Kohlhase, M.: Semantic Alliance: A Framework for Semantic Allies. In: Jeuring, J., Campbell, J.A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M., Sorge, V. (eds.) CICM 2012. LNCS (LNAI), vol. 7362, pp. 49–64. Springer, Heidelberg (2012) · Zbl 1278.68298
[3] Iancu, M., Jucovschi, C., Kohlhase, M., Wiesing, T.: System Description: MathHub.info. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS (LNAI), vol. 8543, pp. 431–434. Springer, Heidelberg (2014), http://kwarc.info/kohlhase/submit/cicm14-mathhub.pdf · Zbl 1304.68196
[4] Joo, J.: Adoption of Semantic Web from the perspective of technology innovation: A grounded theory approach. International Journal of Human-Computer Studies 69(3), 139–154 (2011) · Zbl 05849131
[5] Kohlhase, A., Kohlhase, M.: CPoint: Dissolving the Author’s Dilemma. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 175–189. Springer, Heidelberg (2004), http://dx.doi.org/10.1007/978-3-540-27818-4_13 · Zbl 1108.68593
[6] Kohlhase, A., Kohlhase, M., Jucovschi, C., Toader, A.: Full Semantic Transparency: Overcoming Boundaries of Applications. In: KotzĂ©, P., Marsden, G., Lindgaard, G., Wesson, J., Winckler, M. (eds.) INTERACT 2013, Part III. LNCS, vol. 8119, pp. 406–423. Springer, Heidelberg (2013), http://kwarc.info/kohlhase/papers/Interact2013_FST.pdf · Zbl 06350520
[7] Stenmark, D., Lindgren, R.: Integrating knowledge management systems with everyday work: Design principles leveraging user practice. In: Proceedings of the 37th Annual Hawaii International Conference on System Sciences, 9 p. IEEE (2004)
[8] Siorpaes, K., Simperl, E.: Human intelligence in the process of semantic content creation. World Wide Web 13(1-2), 33–59 (2010)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.