Using EARL for atomic statements

One of the values of having EARL as an RDF language is that the basic units
of RDF are URIs. This means that a statement can be about something that has
a URI. for example, attributes (using xpath) of a particular element. or all
attributes meeting particular conditions. Or a fragment of a document, or an
entire document.

And it can be aserted that this thing conforms to anything with a URI. For
example, ATAG will define a URI specifically to for each level of
conformance, or there is the confomrance levels linked to by the icons - they
are URIs. There are also AERT techniques. Or tests in a test suite.

If we can make these statements, and we can also state things like "section
508 conformance means conforming to the following list of things", and
"confdorming to section 508 (g) means meeting some technique from AERT" then
we just need a simple logic engine to stack up the assertions we have.

If you like we can add trust in a modular way - for example "remove
statements by charles, then add up what is left".

Charles

-- 
Charles McCathieNevile    http://www.w3.org/People/Charles  phone: +61 409 134 136
W3C Web Accessibility Initiative     http://www.w3.org/WAI    fax: +1 617 258 5999
Location: I-cubed, 110 Victoria Street, Carlton VIC 3053, Australia
(or W3C INRIA, Route des Lucioles, BP 93, 06902 Sophia Antipolis Cedex, France)

Received on Tuesday, 20 February 2001 10:35:26 UTC