W3C home > Mailing lists > Public > public-grddl-wg@w3.org > April 2007

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

From: Dan Connolly <connolly@w3.org>
Date: Wed, 25 Apr 2007 09:52:55 -0500
To: ogbujic@ccf.org
Cc: GRDDL Working Group <public-grddl-wg@w3.org>
Message-Id: <1177512775.9528.420.camel@dirk>

On Wed, 2007-04-25 at 10:26 -0400, Chimezie Ogbuji wrote:
> Define a class xhtml:Document defined (necessarily and sufficiently) as
> the class of documents which have a jc:validWRT relationship between
> them and a W3C sanctioned XHTML DTD

That excludes the input document in the test case currently in question.

jjc objects to that objection, with good reason.

And actually, DTDs funamentally don't fit the jc:validWRT model.
xml:valid(doc) is a one-place predicate, and it's only
true when doc includes (by value or by reference) a DTD.
It would be really nice if XML 1.0 had defined
a valid(doc, DTD) relationship, but it didn't.

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 14:53:00 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:39:11 UTC