W3C home > Mailing lists > Public > public-rif-comments@w3.org > February 2010

how to observe RIF BLD consumer conformance?

From: Dan Connolly <connolly@w3.org>
Date: Wed, 24 Feb 2010 15:37:38 -0600
To: public-rif-comments@w3.org
Message-ID: <1267047458.30230.252.camel@pav.lan>
I see:

"A RIF processor is a conformant BLDΤ,Ε consumer iff it implements a
semantics-preserving mapping, μ, from the set of all BLDΤ,Ε formulas to
the language L of the processor (μ does not need to be an "onto"
mapping)."
 -- http://www.w3.org/TR/rif-bld/#Conformance_Clauses

I don't see how this property is observable/testable; i.e. why
this product class is defined at all.

A conformant RIF-BLD consumer isn't required to compute entailment?

This much is observable: "A conformant RIF-BLD consumer must reject all
inputs that do not match the syntax of BLD." But that's just syntax
checking.

editorial: why "conformant" rather than "conforming"?


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Wednesday, 24 February 2010 21:37:40 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 24 February 2010 21:37:41 GMT