• To: David Carlisle <davidc@n...>
• Subject: schemas and transforms, was: Path 1.5? (was typing and markup)
• From: jborden@a...
• Date: Wed, 08 May 2002 14:33:09 +0000
• Cc: francis@r..., xml-dev@l...

David,

> 
> The claim here was that one could take a transform (in Xquery or perhaps
> XSLT) and typecheck that it forms a function from the set of documents
> of type specified in schema-1 (say docbook) to the set of documents of
> type specified in schema-2 (say XHTML).
> 

Yes I think that is correct. With a correctly constructed
formal semantics (i.e. assuming XQuery FS works :-), 
that is indeed what I expect would be a benefit, perhaps
the major benefit.

I would go as far as to make that a test case or if I
were on the WG, to make that a requirement, 
perhaps it is.

One of the reasons that I have become interested in such 
formalisms, is that given properly written schemas or more
generally ontologies, I would like _software_ to write me
these transforms -- this is almost exactly what the 
"Semantic Web" means to me. I think its possible.

Jonathan

• Follow-Ups:
  • Re: schemas and transforms, was: Path 1.5? (was typing and markup)
    • From: David Carlisle <davidc@n...>

• Prev by Date: Re: Is XML-REST more scalable than SOAP?
• Next by Date: Re: XPath 1.5? (was RE: typing and markup)
• Previous by thread: Re: RE: PSVI and XPath 2.0 data model
• Next by thread: Re: schemas and transforms, was: Path 1.5? (was typing and markup)
• Index(es):
  • Date
  • Thread