Re: Valid XHTML and Faithful Infoset redflag - stated (semi) formally

On Wed, 2007-04-25 at 10:56 -0400, Chimezie Ogbuji wrote:
> Clarification (it is a bit more subtle)
> 
> On Wed, 2007-04-25 at 10:26 -0400, Chimezie Ogbuji wrote:
> > Class: xhtml:NotValidDocument
> > DisjointWith: xhtml:Document
> 
> Is the premise (antecedent) of the informative rule under "Rules for
> GRDDL with valid XHTML":
> 
> ?N gspec:profileName "http://www.w3.org/2003/g/data-view".
> (?N
> """.//*[namespace-name()="http://www.w3.org/1999/xhtml" and
>         (local-name() = "a"
>          or local-name() = "link")"""
> ) gspec:xpath ?E.
> (?E "@rel") gspec:xpath [ fn:string [
>    fn:normalize-space ?E_REL ]].
> (?E_REL "[ \t\r\n]+") fn:tokenize [
>  list:member "transformation" ].
> (?E "@href") gspec:xpath [ fn:string ?T_REF ].
> ?E fn:base-uri ?BASE.
> (?T_REF ?BASE) fn:resolve-uri ?TURI.
> ?T log:uri ?TURI. 
> 
> OR
> 
> ?N a xhtml:Document.
> ?N gspec:profileName "http://www.w3.org/2003/g/data-view".
> (?N
> """.//*[namespace-name()="http://www.w3.org/1999/xhtml" and
>         (local-name() = "a"
>          or local-name() = "link")"""
> ) gspec:xpath ?E.
> (?E "@rel") gspec:xpath [ fn:string [
>    fn:normalize-space ?E_REL ]].
> (?E_REL "[ \t\r\n]+") fn:tokenize [
>  list:member "transformation" ].
> (?E "@href") gspec:xpath [ fn:string ?T_REF ].
> ?E fn:base-uri ?BASE.
> (?T_REF ?BASE) fn:resolve-uri ?TURI.
> ?T log:uri ?TURI. 
> 
> Note the additional condition that ?N is a xhtml:Document

In the draft, it's the former. You're right that the
latter is closer to the normative prose, but I don't think
simply tweaking the SPARQL patterns to match
the normative text is the right answer, since that would
exclude cases that we're interested in; to wit:

http://www.w3.org/2001/sw/grddl-wg/td/html-and-grddl-xform-attr

as explained by jjc.
http://lists.w3.org/Archives/Public/public-grddl-wg/2007Apr/0129.html


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E

Received on Wednesday, 25 April 2007 15:06:45 UTC