- From: Dan Connolly <connolly@w3.org>
- Date: Wed, 24 Feb 2010 15:37:38 -0600
- To: public-rif-comments@w3.org
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 UTC