- From: Massimo Marchiori <massimo@w3.org>
- Date: Wed, 24 Apr 2002 16:00:38 +0200
- To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>, "Pat Hayes" <phayes@ai.uwf.edu>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: <www-webont-wg@w3.org>
I was going to reply at length to [1], but then [2] came out (thanks Jeremy!), so I'll just quickly throw this synthesis in, and await (busy day today with Query's publications, blub...). Specific question to all the DTTFers and others: Fact: [2] just came out. So, Pat, Peter, is this really the issue? If so... Reply: welcome to the stratification proposal [3], that doesn't require RDFCore to do anything... So, putting my W3C process hat on: Can somebody please clearly address the point in [4]? Putting my mathematician's hat on: Can somebody please give me some solid mathematical argumentation wrt the point in [4]? All I've seen so far are problems of OWL, and the link to RDFCore has been proved using instances of [5] (up to you to figure out what instances... ;) I do have some answers, and I think I get where Peter and Pat want to go, and also for what deep reasons there are so much trouble to address [4], but before losing time trying to interprete their thought and wasting everybody's time, I'd like to get some more detailed answer. Please give me that sense of relief Pat was talking about in [1]....!!! :) -M [1] http://lists.w3.org/Archives/Public/www-webont-wg/2002Apr/0253.html [2] http://lists.w3.org/Archives/Public/www-webont-wg/2002Apr/0269.html [3] http://lists.w3.org/Archives/Public/www-webont-wg/2002Apr/0151.html [4] http://lists.w3.org/Archives/Public/www-webont-wg/2002Apr/0251.html [5] http://helios.unive.it/~franz/proofs.html
Received on Wednesday, 24 April 2002 10:02:33 UTC