- From: Dave Reynolds <der@hplb.hpl.hp.com>
- Date: Sun, 10 Dec 2006 16:11:04 +0000
- To: Hassan Aït-Kaci <hak@ilog.com>
- Cc: W3C RIF WG <public-rif-wg@w3.org>
[Interesting discussion snipped.] Hassan Aït-Kaci wrote: >> I am glad that you agree with the idea of using sorts for extensibility. >> I was pretty sure that you would like it :-) I was surprised that a >> number of people had difficulty understanding this simple thing. > > I agree with you. If it's any consolation it is equally frustrating for us non-specialists who are trying to fathom the implications of the approach. Perhaps it would be helpful if we could develop a worked example which shows how the approach will be applied in practice. For example, develop an instantiation of this framework that is sufficient to capture (function-free) conditions applicable to RDF data. In particular, it would be helpful to illustrate how the various Con->Sort mappings are intended to be captured in the abstract syntax. I assume they *are* supposed to be explicit in the final abstract syntax since we can't tell the difference between the various subsets of Con just at the character sequence level. Dave
Received on Sunday, 10 December 2006 16:11:17 UTC