Scripting Documents with XQuery: Virtual Documents in TNTBase

Zholudev, Vyacheslav; Kohlhase, Michael

doi:10.4242/balisagevol5.zholudev01

Cited by 4 publications

(4 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Even for small libraries and even if TNTBase runs on a remote server, this query outperforms the straightforward implementation based on local files. Moreover, using the virtual documents of TNTBase, such generated documents are editable; see [ZK10] for details. TNTBase keeps track of how a document was aggregated and propagates the necessary patches when a changed version of the virtual document is committed.…”

Section: Tntbase -A Scalable Mmt-compliant Databasementioning

confidence: 99%

A scalable module system

Rabe

Kohlhase

2013

Information and Computation

Self Cite

View full text Add to dashboard Cite

Symbolic and logic computation systems ranging from computer algebra systems to theorem provers are finding their way into science, technology, mathematics and engineering. But such systems rely on explicitly or implicitly represented mathematical knowledge that needs to be managed to use such systems effectively.While mathematical knowledge management (MKM) "in the small " is wellstudied, scaling up to large, highly interconnected corpora remains difficult. We hold that in order to realize MKM "in the large", we need representation languages and software architectures that are designed systematically with largescale processing in mind.Therefore, we have designed and implemented the Mmt language -a module system for mathematical theories. Mmt is designed as the simplest possible language that combines a module system, a foundationally uncommitted formal semantics, and web-scalable implementations. Due to a careful choice of representational primitives, Mmt allows us to integrate existing representation languages for formal mathematical knowledge in a simple, scalable formalism. In particular, Mmt abstracts from the underlying mathematical and logical foundations so that it can serve as a standardized representation format for a formal digital library. Moreover, Mmt systematically separates logic-dependent and logic-independent concerns so that it can serve as an interface layer between computation systems and MKM systems. 1 We have already solved the integration of formal and informal mathematical knowledge in the OMDoc format, whose formal part is a predecessor of the work presented in this paper. We plan to integrate this solution with the much stronger formal basis of Mmt in the future.Corresponding to the notions of structural and semantic validation, we can define structural and semantic equivalence of theory graphs:Definition 34. Relative to a fixed foundation, two well-formed theory graphs γ and γ ′ are called structurally equivalent if the following holds:• γ > T = { } iff γ ′ > T = { }, and in that case T has meta-theory M in γ iff it does so in γ ′ ,• γ ≫ l : S → T = iff γ ′ ≫ l : S → T = ,

show abstract

Section: Tntbase -A Scalable Mmt-compliant Databasementioning

confidence: 99%

A scalable module system

Rabe

Kohlhase

2013

Information and Computation

Self Cite

View full text Add to dashboard Cite

show abstract

“…Virtual Documents (VDocs) [18] are a general framework for integrating XQueries into XML documents as computational devices and processing them efficiently.…”

Section: The Virtual Documents Conceptmentioning

confidence: 99%

Hecate, managing authorization with RESTful XML

Graf

Zholudev

Lewandowski

et al. 2011

Proceedings of the Second International Workshop on RESTful Design

Self Cite

View full text Add to dashboard Cite

The potentials of REST offers new ways for communications between louse coupled entities featured through the Web of Things [12]. The binding of the disjunct components of this architecture creates security issues, such as the centralized authorization techniques respecting the independence of the underlying entities. This results in the question how authorization is performed respecting the flexibility of REST without any knowledge about the underlying resources. Nevertheless, possible knowledge about these resources should enable the authorization workflow to offer finer-granular permissions on substructures of the resources. With our new approach-we named Hecate-we offer a framework to assure simplified handling while keeping the potentials and flexibility of REST. We have designed an architecture based on XML with a flexible authorization mechanism on the one hand and optional resource-awareness on the other hand. The flexibility within the authorization work-flow bases on permission sets respecting the HTTPverbs. Additional in-depth knowledge of the entity optionally extends these permissions with resource-aware filters. Hecate offers not only great benefits because of its flexibility, but also because of the optional extensibility proved within the two reference implementations. With Hecate, we show that a centralized authorization mechanism combining independence and optional resource-based filtering extends the flexibility of REST rather than restricting it.

show abstract

“…The panta rhei system has integrated JOMDOC to demonstrate the generation of exams: Teaching assistants can simply point to collections of exercises and specify the context of the new exam (e.g., in terms of language and difficulty level) and initiate the system to generate an exam. An application to a big exercise corpus is currently addressed in the TNTBASE project (Zholudev and Kohlhase, 2010).…”

Section: The Substitution Servicementioning

confidence: 99%

“…The proposed workflows have been implemented and tested in several libraries (JOMDoc, 2010;Adaptor, 2010) and systems (Zholudev and Kohlhase, 2010;Giceva et al, 2009). One of these systems is panta rhei, a collaborative document reader and discussion platform that has been used as supplement to a theoretical computer science lecture at Jacobs University.…”

Section: Adaptation In Practicementioning

confidence: 99%

ADAPTATION OF MATHEMATICAL DOCUMENTS - Exploring Document Structures, Metadata, and Context for the Generation of User-specific Documents

Müller¹

2010

Proceedings of the International Conference on Knowledge Management and Information Sharing

View full text Add to dashboard Cite

The paper proposes a framework that explores document structures, metadata, and context to adapt mathematical documents on three layers-the content, structure, and presentation layer. On the presentation layer mathematical expressions are rendered according to a user context (defining, e.g., the users' preferred convention, language or discipline). On the content layer, appropriate paragraphs of texts are selected that best suit the users' individual information need as well as narrative and semantic context. On the structure layer, these content parts are arranged appropriately, while taking semantic and narrative interdependencies between parts into account. Technically, the framework models documents as dependency graphs, where nodes correspond to any addressable part of a document and edges denote narrative and semantic dependencies. To allow for the adaptation on all three document layers, these dependency graphs are enriched with presentational, content, and structure variants. Finally, the enriched graphs are processed to generate a user-specific document. Users can guide this adaptation process by prioritising their individual constraints, narrative or semantic context.

show abstract

Scripting Documents with XQuery: Virtual Documents in TNTBase

Cited by 4 publications

References 3 publications

A scalable module system

A scalable module system

Hecate, managing authorization with RESTful XML

ADAPTATION OF MATHEMATICAL DOCUMENTS - Exploring Document Structures, Metadata, and Context for the Generation of User-specific Documents

Contact Info

Product

Resources

About