Andrea Kohlhase

Publications of Andrea Kohlhase

• The Planetary System: Executable Science, Technology, Engineering and Math Papers

  Authors: Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev

  03/2011;

  Executable scientific papers contain not just layouted text for reading. They contain, or link to, machine-comprehensible representations of the scientific findings or experiments they describe.Executable scientific papers contain not just layouted text for reading. They contain, or link to, machine-comprehensible representations of the scientific findings or experiments they describe. Client-side players can thus enable readers to "check, manipulate and explore the result space". We have realized executable papers in the STEM domain with the Planetary system. Semantic annotations associate the papers with a content commons holding the background ontology, the annotations are exposed as Linked Data, and a frontend player application hooks modular interactive services into the semantic annotations.

• The Planetary System: Web 3.0 & Active Documents for STEM

  Authors: Michael Kohlhase, Joe Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev

  Procedia Computer Science. 01/2011; 4:598-607.

• The Planetary System: Executable Science, Technology, Engineering and Math Papers.

  Authors: Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev

  The Semanic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 - June 2, 2011, Proceedings, Part II; 01/2011

• The Planetary System: Web 3.0 & Active Documents for STEM.

  Authors: Michael Kohlhase, Joseph Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev

  Procedia CS. 01/2011; 4:598-607.

• Spreadsheets with a Semantic Layer

  Authors: Andrea Kohlhase, Michael Kohlhase

  Electronic Communications of the EASST: Specification, Transformation, Navigation -- Special Issue dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday. 01/2011;

• What we understand is what we get: Assessment in Spreadsheets

  Authors: Andrea Kohlhase, Michael Kohlhase

  09/2010;

  In previous work we have studied how an explicit representation of background knowledge associated with a specific spreadsheet can be exploited to alleviate usability problems with spreadsheet-basedIn previous work we have studied how an explicit representation of background knowledge associated with a specific spreadsheet can be exploited to alleviate usability problems with spreadsheet-based applications. We have implemented this approach in the SACHS system to provide a semantic help system for spreadsheets applications. In this paper, we evaluate the (comprehension) coverage of SACHS on an Excel-based financial controlling system via a "Wizard-of-Oz" experiment. This shows that SACHS adds significant value, but systematically misses important classes of explanations. For judgements about the information contained in spreadsheets, we provide a first approach for an "assessment module" in SACHS. Comment: 11 Pages, 10 Colour Figures

• sTeX+ - a System for Flexible Formalization of Linked Data

  Authors: Andrea Kohlhase, Michael Kohlhase, Christoph Lange

  06/2010;

  We present the sTeX+ system, a user-driven advancement of sTeX - a semantic extension of LaTeX that allows for producing high-quality PDF documents for (proof)reading and printing, as well asWe present the sTeX+ system, a user-driven advancement of sTeX - a semantic extension of LaTeX that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc documents for the Web or further processing. Originally sTeX had been created as an invasive, semantic frontend for authoring XML documents. Here, we used sTeX in a Software Engineering case study as a formalization tool. In order to deal with modular pre-semantic vocabularies and relations, we upgraded it to sTeX+ in a participatory design process. We present a tool chain that starts with an sTeX+ editor and ultimately serves the generated documents as XHTML+RDFa Linked Data via an OMDoc-enabled, versioned XML database. In the final output, all structural annotations are preserved in order to enable semantic information retrieval services. Comment: I-SEMANTICS 2010, September 1-3, 2010, Graz, Austria

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

  Authors: Andrea Kohlhase, Michael Kohlhase, Christoph Lange

  04/2010;

  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 anWe 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. Comment: To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010

• S

  Authors: Andrea Kohlhase, Michael Kohlhase, Christoph Lange

  Proceedings the 6th International Conference on Semantic Systems, I-SEMANTICS 2010, Graz, Austria, September 1-3, 2010; 01/2010

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

  Authors: Andrea Kohlhase, Michael Kohlhase, Christoph Lange

  Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings; 01/2010

• What you get is what you understand: Assessment in SACHS

  Authors: Andrea Kohlhase, Michael Kohlhase

  01/2009

• Semantic Knowledge Management for Education

  Authors: Andrea Kohlhase, Michael Kohlhase

  Proceedings of the IEEE; Special Issue on Educational Technology. 06/2008; 96(6):970-989.

• Compensating the Semantic Bias of Spreadsheets

  Authors: Andrea Kohlhase, Michael Kohlhase

  01/2008

• net.researchgate.refind.jaxb.schema.dblp.I@67acc011

  Authors: Andrea Kohlhase, Michael Kohlhase

  Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings; 01/2007

• {emphReexamining the MKM Value Proposition: From Math Web Search to Math Web emphRe}Search

  Authors: Andrea Kohlhase, Michael Kohlhase

  01/2007

• Towards a Conceptual Model for Flexible Formalization

  Authors: Andrea Kohlhase, Michael Kohlhase

• Compensating the Computational Bias of Spreadsheets

  Authors: Andrea Kohlhase, Michael Kohlhase

  pages 184-200;

• Acquisition of Math Content in an Academic Setting

  Authors: Michael Kohlhase, Klaus Sutner, Peter Jansen, Andrea Kohlhase, Peter Lee, Dana Scott, Matthew Szudzik

• Versioned Links

  Authors: Andrea Kohlhase, Michael Kohlhase

• Towards a Flexible Notion of Document Context

  Authors: Andrea Kohlhase, Michael Kohlhase