normative rules for the case of XSLT and RDF/XML [#issue-output-formats]

You might recall...

RESOLUTION: to resolve issue-output-formats by (1) adding formal rules 
to cover the case of of the XSLT 1.0 and RDF/XML  ...
ACTION:DanC to write rules about XSLT 1.0 processing context

I did that tonight:

[[
If
     * RDFXML is the root XPath node of a conforming RDF/XML 
document[RDFX] that represents an RDF Graph G, and
     * R is the root node of some XML document and TXNODE is the root 
node of an XSLT transformation[XSLT1], and
     * RDFXML is the root node of the XSLT result tree when TXNODE is 
applied to R, and
     * TXDOC is an information resource with transformation property TP 
represented by an XML document with root node TXNODE and

then TP relates R to G.
]]

  -- http://www.w3.org/2004/01/rdxh/spec#txforms
   1.197  2007/02/02 03:13:46

That plain text excerpt is kinda hard to read without the <var> font 
changes.

Hmm... I didn't say anything about base URIs explicitly; I think XPath 
nodes
have base URIs, so it all comes out in the wash. If anybody can think of
a straightforward way to be more explicit, suggest away.

Some of you might find the rule easier to understand:

[[
?RDFXML rdfx:graph ?G.
(?TXNODE ?R) xslt:resultTree ?RDFXML.
?TXDOC grddl:txprop ?TP;
   log:uri [fn:doc ?TXNODE].
-------------------------------------
?R ?TP ?G
]]


The xslt:resultTree and rdfx:graph properties are explain in the 
mechanical rules appendix:

[[
Whenever the XSLT spec says that an XSLT processor yields ?OUT from 
input ?IN and transformation ?TX, we have (?TX ?IN) xslt:resultTree 
?OUT.

Whenever the RDF/XML spec says that an RDF/XML document with root node 
?ROOT represents a graph ?G, we have ?ROOT rdfsyn:graph ?G.
]]



-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Friday, 2 February 2007 03:28:15 UTC