Vyacheslav Zholudev

Publications

• Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics

  Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev

  05/2011;

  Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and -- in contrast to published research mathematics -- subject to continual change. Unfortunately, machine support for change management has either been very ... [more] Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and -- in contrast to published research mathematics -- subject to continual change. Unfortunately, machine support for change management has either been very coarse grained and thus barely useful, or restricted to formal languages, where automation is possible. In this paper, we report on an effort to extend change management to collections of semi-formal documents which flexibly intermix mathematical formulas and natural language and to integrate it into a semantic publishing system for mathematical knowledge. We validate the long-standing assumption that the semantic annotations in these flexiformal documents that drive the machine-supported interaction with documents can support semantic impact analyses at the same time. But in contrast to the fully formal setting, where adaptations of impacted documents can be automated to some degree, the flexiformal setting requires much more user interaction and thus a much tighter integration into document management workflows.

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

  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. Client-side players can thus enable readers to "check, manipulate and explore the result space"... [more] 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

  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.

  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.

  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.

• Virtual Documents in TNTBase

  Vyacheslav Zholudev, Michael Kohlhase

  Balisage 2010; 08/2010

  This paper introduces the concept of Virtual Documents and its prototypical realization in our TNTBase system, a versioned XML database. Virtual Documents integrate XQuery-based computational facilities into documents like JSP/PHP do for relational queries. We view the integration of computation in ... [more] This paper introduces the concept of Virtual Documents and its prototypical realization in our TNTBase system, a versioned XML database. Virtual Documents integrate XQuery-based computational facilities into documents like JSP/PHP do for relational queries. We view the integration of computation in documents as an enabling technology and evaluate it on a handful of real-world use cases.

• Towards MKM in the Large: Modular Representation and Scalable Software Architecture

  Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev

  05/2010;

  MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM "in the small" is well-studied, so the real problem is to scale up to large, highly interconnected corpora: "MKM in the large". We contend that advances in two areas are needed to reach this ... [more] MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM "in the small" is well-studied, so the real problem is to scale up to large, highly interconnected corpora: "MKM in the large". We contend that advances in two areas are needed to reach this goal. We need representation languages that support incremental processing of all primitive MKM operations, and we need software architectures and implementations that implement these operations scalably on large knowledge bases. We present instances of both in this paper: the MMT framework for modular theory-graphs that integrates meta-logical foundations, which forms the base of the next OMDoc version; and TNTBase, a versioned storage system for XML-based document formats. TNTBase becomes an MMT database by instantiating it with special MKM operations for MMT. Comment: To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010

• Publishing Math Lecture Notes as Linked Data

  Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev

  04/2010;

  We mark up a corpus of LaTeX lecture notes semantically and expose them as Linked Data in XHTML+MathML+RDFa. Our application makes the resulting documents interactively browsable for students. Our ontology helps to answer queries from students and lecturers, and paves the path towards an integration... [more] We mark up a corpus of LaTeX lecture notes semantically and expose them as Linked Data in XHTML+MathML+RDFa. Our application makes the resulting documents interactively browsable for students. Our ontology helps to answer queries from students and lecturers, and paves the path towards an integration of our corpus with external sites. Comment: 7th Extended Semantic Web Conference (http://www.eswc2010.org), Demo Track

• Publishing Math Lecture Notes as Linked Data.

  Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev

  The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part II; 01/2010

• TNTBase -- Sandbox for ORES 2010

  Vyacheslav Zholudev, Christoph Lange

  01/2010;

• A [insert XML Format] Database for [insert cool application] (extended version)

  Vyacheslav Zholudev, Michael Kohlhase, Florian Rabe

  01/2010;

• Towards Distributed Mathematical Knowledge Management

  Vyacheslav Zholudev

  01/2008;

• Previewing OWL Changes and Refactorings Using a Flexible XML Database

  Christoph Lange, Vyacheslav Zholudev

• Hecate, Managing Authorization with RESTful XML

  Sebastian Graf, Vyacheslav Zholudev, Lukas Lewandowski, Marcel Waldvogel

• JOBAD/MMT -- Interactive Mathematics

  Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Vyacheslav Zholudev

• A [insert XML Format] Database for [insert cool application]

  Vyacheslav Zholudev, Michael Kohlhase, Florian Rabe

• Sandbox for Balisage 2010 -- Virtual Documents

  Vyacheslav Zholudev

• TNTBase: a Versioned Storage for XML

  Vyacheslav Zholudev, Michael Kohlhase

• Scripting Documents with XQuery: Virtual Documents in TNTBase

  Vyacheslav Zholudev, Michael Kohlhase

• JOBAD -- Interactive Mathematical Documents

  Michael Kohlhase, Jana Giceva, Christoph Lange, Vyacheslav Zholudev