Re: WCAG formalization (rewriting WCAG HTML techniques as automatable rules)

Hi Vicente,

Nice work! The WCAG2 test suite[1] has taken a similar approach of trying to 
very clearly describe what the WCAG checkpoints mean.

I believe that we could incorporate your XQuery rules into the test suite 
quite easily. For example your XQuery rule "//head[not(title)]" is the same 
as test 50 [2] "Content contains a title element".

We just need to update the test suite XML file [3] to incorporate your 
rules. If you're interested, please let me know and I'll try to help.

Cheers,
Chris

[1] http://www.w3.org/WAI/GL/WCAG20/tests/
[2] http://www.w3.org/WAI/GL/WCAG20/tests/test50.html
[3] http://www.w3.org/WAI/GL/WCAG20/tests/checks.xml