Re: Formal definition of HTML5 (was Re: Version information)

On Apr 14, 2007, at 13:34, Henri Sivonen wrote:

> The W3C XML Schema datatypes are useless for HTML5 conformance 
> checking with the exception of the regular expression facet of the 
> string type. RELAX NG has an escape hatch that allows custom datatypes 
> to be implemented in a Turing-complete programming language. But that 
> comes back to the issue of having to use a Turing-complete language.
>
> In the case of my HTML5 datatype library, the plan is to write a spec 
> that is precise enough to allow independent interoperable 
> implementations without inspecting the source of my implementation.

Does this mean that the full set of machine-checkable criteria in  
XHTML5 could be specified by means of a RELAX NG schema with references 
to your datatype library?

--
Henrik