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

I have seen some new formalizable rules at [3] that I had never thought 
about, which are also very easy to rewrite. :-)

For example:

"A Positive":
Alt text is the same as src attribute

Could be rewritten as
//img[@alt = @src]

So, yes: I AM INTERESTED :-)

What should I do? I am a newbie at this mailing list (just subscribed 
since yesterday).

I would also be happy if the new WCAG could include some other formalized 
rules that I thought (but they are not really included in the original 
WCAG). For example, the "uniqueness" of acronyms and abbreviations at [4] 
is an already formalized rule, it avoids confusion to users, but it is not 
addressed in any document from WAI. Some people at the other mailing list 
(w3c-wai-ig@w3.org) have said (it is not from WCAG), but I would be 
happy if it is considered to be included.

[4] http://www.it.uc3m.es/vlc/wai/wcag20formal.html#acronym

P.S.: I will have a closer look at your references.

Cheers.

Vicente Luque Centeno
Dep. Ingeniería Telemática
Universidad Carlos III de Madrid
http://www.it.uc3m.es/vlc

On Thu, 2 Jun 2005, Chris Ridpath wrote:

> 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
>