Abstract

Typical approaches to XML authoring view a XML document as a mixture o1' structure (tile tags) and surt'acc (text between the tags). We advocalc a radical appr(>ach where the surface disappears from lhc XML document altogether to be Dandled exclusively by rendering mech- anisns. This move is based on the view that lhc author's choices when authoring XML documents are best seen as language-neutral semantic decisions, that the strucltll 'O Cttll then be viewed as inletlingual content, tllct that the textual OUll)Ut should be derived lom this content by languagc-spccilic realization mechanisms. thus assimilating XMI. authoring lo Multilingual l)ocuncnt Authoring. However; standard XMI. tools have imporlant limitations when used IBr such a purpose: (1) they al'e weak at propagttting semantic dependencies belwecn dil'lrcnt parts of the structure, and, (2) current XMI rendering tools arc ill-suited for handling the grammatical combil atiol of lcxttal units. We present two related proposals for overcoming these limitations: one ((;1:) oriinatin in lhc tradition of mathematical proof cctitcrs and conslructivc type llleory, the other (l(J), a specialiT. atio off l)clinilc Clause G'allmlt's strongly inspired by GF.

Citations