W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2002

RE: ACTION: task force unasserted triples

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
(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
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]....!!! :)

[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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:29 UTC