RE: ACTION: task force unasserted triples

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