- From: John Cowan <cowan@mercury.ccil.org>
- Date: Tue, 28 Jan 2014 12:31:12 -0500
- To: Paul Grosso <paul@paulgrosso.name>
- Cc: public-xml-core-wg@w3.org
Paul Grosso scripsit:
> But I understand that Henry is calling some documents such as
>
> <!DOCTYPE html>
> <html/>
>
> invalid and others such as
>
> <html/>
>
> neither valid nor invalid.
>
> Since they are both well-formed but not valid, I'm confused
> as to how Henry is trying to define invalid.
To quote my email to him:
The term "valid" is defined thus: "An XML document is valid if it has
an associated document type declaration and if the document complies
with the constraints expressed in it." If either arm of this logical
conjunction is false, the document is not valid. I see no benefit to
saying that if the left arm is true and the right arm is false, then the
document is invalid, whereas if the left arm is false the document
is not valid but not invalid either.
I think that Henry is (implicitly) adopting the definition in the last
sentence.
--
John Cowan cowan@ccil.org http://ccil.org/~cowan
No man is an island, entire of itself; every man is a piece of the
continent, a part of the main. If a clod be washed away by the sea,
Europe is the less, as well as if a promontory were, as well as if a
manor of thy friends or of thine own were: any man's death diminishes me,
because I am involved in mankind, and therefore never send to know for
whom the bell tolls; it tolls for thee. --John Donne
Received on Tuesday, 28 January 2014 17:31:36 UTC