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

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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:49:20 UTC