Re: PSVI

[ht@cogsci.ed.ac.uk (Henry S. Thompson)]

Rick Jelliffe <ricko@allette.com.au> writes:

> From: Henry S. Thompson <ht@cogsci.ed.ac.uk>
> >Too late to use this as a banner to rally the troops behind, we've
> >already done it :-)!  This is _precisely_ how the XML Schema
> >architecture is specified:
> >
> > 1) Start with an XML+Namespaces compliant parser output (need _not_
> >    be validating, but _may_ be);
> > 2) Specify what schemas are to be involved _outside_ the instance;
> > 3) _Augment_ the Infoset.
>  
> Perhaps the last could be split too--
>  3) determine the type of the data and augment the infoset with type info
>  4) validate the data and augment the infoset with outcomes

I think to claim to do so would be at best misleading -- you _can't_
assign types without knowing that higher (in the tree) type
assignments were correct, i.e. local validation and type-assigment go
hand in hand.  Perhaps I've missed something.

ht
-- 
  Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
          W3C Fellow 1999--2001, part-time member of W3C Team
     2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
	    Fax: (44) 131 650-4587, e-mail: ht@cogsci.ed.ac.uk
		     URL: http://www.ltg.ed.ac.uk/~ht/