VOFilter, Bridging Virtual Observatory and Industrial Office Applications

VOFilter is an XML based filter developed by the Chinese Virtual Observatory project to transform tabular data files from VOTable format into OpenDocument format. VOTable is an XML format defined for the exchange of tabular data in the context of the Virtual Observatory (VO). It is the first Proposed Recommendation defined by International Virtual Observatory Alliance, and has obtained wide support from both the VO community and many Astronomy projects. OpenOffice.org is a mature, open source, front office applications suite with the advantage of native support of industrial standard OpenDocument XML file format. Using the VOFilter, VOTable files can be loaded in OpenOffice.org Calc, a spreadsheet application, and then displayed and analyzed as other spreadsheet files. Here, the VOFilter acts as a connector, bridging the coming VO with current industrial office applications. Virtual Observatory and technical background of the VOFilter are introduced. Its workflow, installation and usage are presented. Existing problems and limitations are also discussed together with the future development plans.Comment: Accepted for publication in ChJAA (9 pages, 2 figures, 185KB

A Vernacular for Coherent Logic

We propose a simple, yet expressive proof representation from which proofs for different proof assistants can easily be generated. The representation uses only a few inference rules and is based on a frag- ment of first-order logic called coherent logic. Coherent logic has been recognized by a number of researchers as a suitable logic for many ev- eryday mathematical developments. The proposed proof representation is accompanied by a corresponding XML format and by a suite of XSL transformations for generating formal proofs for Isabelle/Isar and Coq, as well as proofs expressed in a natural language form (formatted in LATEX or in HTML). Also, our automated theorem prover for coherent logic exports proofs in the proposed XML format. All tools are publicly available, along with a set of sample theorems.Comment: CICM 2014 - Conferences on Intelligent Computer Mathematics (2014

The means of (re-)production: expertise, open tools, standards and communication

This article examines the current difficulties faced in penetrating the world of scholarly communication technology. While there have been large strides forward in the disintermediation of digital publishing expertise – most notably by the Public Knowledge Project – a substantial number of barriers remain. This paper examines a case study in terms of scholarly typesetting and the JATS standard before moving to suggest three potential solutions: 1.) The formation of open, non-commercial and inclusive (but structured) organizations dedicated to the group exploration and standardisation of scholarly publishing technology; 2.) The collective authoring of as much technological and process documentation on scholarly publishing as is possible; 3.) The modularisation of platforms and agreement on standards of interoperability. Only through such measures is it possible for researchers to reclaim the means of (re)production, for the remaining barriers are not difficult to understand, merely hard to discover

Content-Aware DataGuides for Indexing Large Collections of XML Documents

XML is well-suited for modelling structured data with textual content. However, most indexing approaches perform structure and content matching independently, combining the retrieved path and keyword occurrences in a third step. This paper shows that retrieval in XML documents can be accelerated significantly by processing text and structure simultaneously during all retrieval phases. To this end, the Content-Aware DataGuide (CADG) enhances the wellknown DataGuide with (1) simultaneous keyword and path matching and (2) a precomputed content/structure join. Extensive experiments prove the CADG to be 50-90% faster than the DataGuide for various sorts of query and document, including difficult cases such as poorly structured queries and recursive document paths. A new query classification scheme identifies precise query characteristics with a predominant influence on the performance of the individual indices. The experiments show that the CADG is applicable to many real-world applications, in particular large collections of heterogeneously structured XML documents