janta-v0.5

go back to janta overview

Features

• mathematical reordering (optionally preserving the discourse structure)
• non-mathematical reordering (optionally ignoring mathematical transitions, such as theory imports)

API

• the following extensions have been made (see janta-v0.4 for the remaining API specifications)

• URI: /services/documents/{uri}
  • Method: GET
  • Format: XML
  • PathParameters?:
    • uri: the ID to the document, as returned from /services/documents/list.xml
  • QueryParameters?
    • format: the format of the returned document
    • doc: the doc option
    • ic: the ic option
    • var: the var option
    • tags: tags of preferred document content
    • area: preferred area of application
    • difficulty: preferred difficulty of the document
    • author: preferred author of the document content
    • language: preferred language of the document
    • math-ordering: the math-ordering option
    • nonmath-ordering: the math-ordering option
    • ignore-imports: true to ignore imports, false to consider them in the nonmath-ordering (optional setting for nonmath-ordering)
    • preserve-discourse: if false, the discourse structure is distroyed (optional setting for math-ordering)
    • context-ordering: considers neither mathematical nor non-mathematical transition, solely orders based on how well the document's context annotation map to the user's context (e.g., the preferred type or style)
    • type: the preferred type of a document paragraph, e.g., "example" or "definition"
    • style: the preferred style of a document paragraph, e.g., "illustrative" or "formal"
  • Authentication: YES
  • Description: Returns an document, where mathematical notations, presentation, and content have been adapted according to the context: adaptation includes the rendering of notation, the substitution of content, the reordering of content, and the conversion to XHTML.

• Example Substitution:
  •  http://localhost:8080/janta/services/documents/exams%2fexam-template.omdoc?var=true&ic=true&tags=%23tree-algo.ex,exams%2fexam-template.omdoc%23shortestpath.ex (exercises in the variant environment are considered, tags are used to select on of these exercises)

• Example Reordering:
  •  http://localhost:8080/janta/services/documents/slides%2fgencsI.omdoc?math-ordering=true
  •  http://localhost:8080/janta/services/documents/slides%2fgencsI.omdoc?nonmath-ordering=true
  •  http://localhost:8080/janta/services/documents/slides%2fgencsI.omdoc?nonmath-ordering=true&preserve-imports=false

Release of janta-v0.5 Nov 11 2009

Download source:  janta-v0.5

All adaptation is supported by the adaptor library (v0.3.1).

See Installing instructions here.