Compensating the computational bias of spreadsheets with MKM techniques. (English) Zbl 1247.68275

Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 357-372 (2009).
Summary: Spreadsheets are mathematical documents that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direct approach to computation. In this paper we show that spreadsheets are interesting applications for MKM techniques which can alleviate usability and maintenance problems as spreadsheet-based applications grow evermore complex and long-lived. We present the software and information architecture of a semantic enhancement of MS Excel spreadsheets that aims at compensating the computational bias in spreadsheets.
For the entire collection see [Zbl 1165.68005].


68T30 Knowledge representation
Full Text: DOI Link


[1] Ausbrooks, R., Buswell, S., Carlisle, D., Dalmas, S., Devitt, S., Diaz, A., Froumentin, M., Hunter, R., Ion, P., Kohlhase, M., Miner, R., Poppelier, N., Smith, B., Soiffer, N., Sutor, R., Watt, S.: Mathematical Markup Language (MathML) version 2.0 (second edition). W3C recommendation, World Wide Web Consortium (2003)
[2] Abraham, R., Erwig, M.: Header and unit inference for spreadsheets through spatial analysis. In: IEEE International Symposium on Visual Languages and Human-Centric Computing, pp. 165–172 (2004)
[3] Abraham, R., Erwig, M.: Inferring templates from spreadsheets. In: ICSE 2006: Proceedings of the 28th international conference on Software engineering, pp. 182–191. ACM, New York (2006)
[4] Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaetano, M., Kohlhase, M.: The Open Math standard, version 2.0. Technical report, The Open Math Society (2004)
[5] Burnett, M.M., Sheretov, A., Ren, B., Rothermel, G.: Testing homogenous spreadsheet grids with the ”what you see is what you test” methodology. IEEE Transactions on Software Engineering 29(6), 576–594 (2002) · Zbl 05113878
[6] CoFI (The Common Framework Initiative). In: Mosses, P.D. (ed.) CASL Reference Manual. LNCS (IFIP Series), vol. 2960. Springer, Heidelberg (2004)
[7] Engels, G., Erwig, M.: ClassSheets: Automatic generation of spreadsheet applications from object oriented specifications. In: 20 th IEEE/ACM International Conference on Automated Seofware Engineering, pp. 124–155. IEEE Computer Society, Los Alamitos (2005)
[8] Fensel, D.: Foreword. In: Hepp, M., De Leenheer, P., de Moor, A., Sure, Y. (eds.) Ontology Management: Semantic Web, Semantic Web Services, and Business Applications, Semantic Web and beyond: Computing for Human Experience, pp. 9–11. Springer, Heidelberg (2008)
[9] Gaines, B.R., Shaw, M.L.G.: Enbedding formal knowledge models in active documents; creating problem-solving documents. Communications of the ACM 42(1), 57–63 (1999) · Zbl 01935406
[10] Hilf, E., Kohlhase, M., Stamerjohanns, H.: Capturing the content of physics: Systems, observables, and experiments. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol. 4108, pp. 165–178. Springer, Heidelberg (2006) · Zbl 1188.68279
[11] Heinrich, E., Maurer, H.: Active documents: Concept, implementation, and applications. Journal of Universal Computer Science 6(12), 1197–1202 (2000) · Zbl 0967.68006
[12] Kohlhase, A., Kohlhase, M.: Spreadsheet interaction with frames: Exploring a mathematical practice. In: Carette, J., Dixon, L., Sacerdoti Coen, C., Watt, S.M. (eds.) Calculemus/MKM 2009. LNCS (LNAI), vol. 5625, pp. 341–356. Springer, Heidelberg (2009) · Zbl 1247.68274
[13] Andrea Kohlhase. Cpoint (2005), http://kwarc.info/projects/CPoint/
[14] Kohlhase, A.: Overcoming Proprietary Hurdles: CPoint as Invasive Editor. In: de Vries, F., Attwell, G., Elferink, R., Tödt, A. (eds.) Proceedings of Open Source for Education in Europe: Research and Practise, Heerlen, The Netherlands, November 2005, pp. 51–56. Open Universiteit Nederland, http://hdl.handle.net/1820/483
[15] Kohlhase, M.: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS, vol. 4180. Springer, Heidelberg (2006)
[16] Moreau, L., Groth, P., Miles, S., Vazquez, J., Ibbotson, J., Jiang, S., Munroe, S., Rana, O., Schreiber, A., Tan, V., Varga, L.: The provenance of electronic data. Communications of the ACM 51(4), 52–58 (2008) · Zbl 05395090
[17] McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview. W3C recommendation, W3C (February 2004)
[18] Müller, N., Wagner, M.: Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change. In: Hinneburg, A. (ed.) Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings, pp. 289–295. Martin-Luther-University Halle-Wittenberg (2007)
[19] Panko, R.R.: Spreadsheet errors: What we know. what we think we can do. In: Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG) (2000)
[20] Rabe, F., Kohlhase, M.: A web-scalable module system for mathematical theories. The Journal of Symbolic Computation (2009) (manuscript to be submitted) · Zbl 1358.68283
[21] Uren, V., Cimiano, P., Iria, J., Handschuh, S., Vargas-Vera, M., Motta, E., Ciravegna, F.: Semantic annotation for knowledge management: Requirements and a state of the art. Web Semantics: Science, Services, and Agents on the World Wide Web 4(1), 14–28 (2006) · Zbl 05461313
[22] RDFa Primer (2008), http://www.w3.org/TR/xhtml-rdfa-primer/
[23] Winograd, T.: The spreadsheet. In: Winograd, T., Bennett, J., de Young, L., Hartfield, B. (eds.) Bringing Design to Software, pp. 228–231. Addison-Wesley, Reading (2006)
[24] Wolfram, S.: The Mathematica Book. Cambridge University Press, Cambridge (2002) · Zbl 0924.65002
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.