W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > September 2002

Re: Datatyping - abstract syntax - test case

From: Patrick Stickler <patrick.stickler@nokia.com>
Date: Thu, 12 Sep 2002 21:32:34 +0300
Message-ID: <001401c25a8a$c367ed70$9782720a@NOE.Nokia.com>
To: "ext Jeremy Carroll" <jjc@hplb.hpl.hp.com>, "\"Patrick Stickler\" <patrick.stickler@nokia.com>" <w3c-rdfcore-wg@w3.org>, <bwm@hplb.hpl.hp.com>



[Patrick Stickler, Nokia/Finland, (+358 50) 483 9453, patrick.stickler@nokia.com]


----- Original Message ----- 
From: "ext Jeremy Carroll" <jjc@hplb.hpl.hp.com>
To: ""Patrick Stickler" <patrick.stickler@nokia.com>" <w3c-rdfcore-wg@w3.org>; <bwm@hplb.hpl.hp.com>
Sent: 12 September, 2002 20:42
Subject: RE: Datatyping - abstract syntax - test case


> 
> 
> > Sure, but you and Patrick might like to get on the phone and sort out
> > precisely where you have an issue.
> 
> I am of the view this is a minor disagreement, where both sides have a case.

Well...  ;-) 

I actually think it is something touching on very foundational
principles, which is why I can't seem to shut myself up (and
I *am* trying ;-) but I'm very happy to talk about it in real
time.

> Hence best resolved by a straw poll or something like that.

Probably. Yes.

> Patrick you could try phoning me before the telecon tomorrow (also in the
> morning).
> 
> I am now in Pisa at:
> +39 050 315 2032

OK. I'll try to ring you about 45 minutes prior to the telecon. Let
me know if that's not OK.

Patrick

> > BTW, I note that your proposal would mean that the abstract syntax would
> > have an alphabet that included the reals, i.e. is not countable.  Such
> > things sometimes matter to mathematicians, no doubt because their proofs
> > rely on countability.  I trust we are all right on that score?
> >
> > Shooting in the dark
> > Brian
> >
> >
> > >I think the test case would suffice as input.
> > >
> > >
> > >Jeremy
> >
> >
> 
Received on Thursday, 12 September 2002 14:32:37 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:50:59 EDT