- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Thu, 11 Oct 2007 11:33:22 -0400
- Cc: Jos de Bruijn <debruijn@inf.unibz.it>, public-rif-wg@w3.org
Earlier I wrote: > Although I do not agree with any of your arguments about undesirability, I > am ok with changing things so that value spaces will not be required to be > a subset. To this end, I added a note in the appropriate place stating that > you are proposing a certain change. Let the people decide! On the second thought, since all datatype/symbol space constants must be in the language of the logic (as I pointed out, yous suggestion to not include them all was logically wrong), it follows that the value spaces must be subsets of the domain. So, I reversed the change back to what it was. --michael
Received on Thursday, 11 October 2007 15:34:00 UTC