W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > February 2003

RE: RDF Semantics: Interpretations and Modelling

From: Massimo Marchiori <massimo@w3.org>
Date: Tue, 4 Feb 2003 19:25:19 +0100
To: "pat hayes" <phayes@ai.uwf.edu>
Cc: <w3c-rdfcore-wg@w3.org>, Ossi Nykänen <onykane@butler.cc.tut.fi>, "Massimo Marchiori" <massimo@w3.org>

> It is always valid to take the union of two sets of triples, and the
> operation corresponds to simple propositional conjunction.

Uh-oh, Pat, now I see where the confusion we're having to understand each other comes from.

Ok, so let be a bit more formal, and let me try to explain better what the real issue is:
+ Define as "conjoin" the operator that does the straight set-union of graphs.
+ Call BAGAX the extra semantic rules you'd need to get the rdf:bag inferences.

Real-Question-of-the-Issue: can we support rdf:bag? I.e., does adding BAGAX cause inconsistency?


You are saying:
a) conjoin is a valid operator
b) adding BAGAX makes conjoin invalid

and using the above two, the claim in the Model Theory at the time, and Semantics doc now, is:

Because of a) and b), we can't add BAGAX
(which means, we can't support rdf:bag in the model theory)


What I am saying is:

Mmm, I see that there's a claim that we can't support rdf:bag
That means we can't add BAGAX....
... but, wait, we can add BAGAX, so that can't be the reason to ban the rdf:bag


Now, to solve the apparent contraposition:
what happens if we add BAGAX? That, conjoin becomes an invalid operator.
So, what? Who cares? There's no inconsistency. Just, don't use the "conjoin" straight on graphs.
(and, suggestion: you'd better use "merge" anyway... ;)



We can then turn the discussion into
"for some reasons (@@space to fill in here@@), I do want conjoin of graphs to be valid, so much that I'm willing to give up the
rdf:bag facility",

but that's a *totally different argument* from the straight
"we can't support the rdf:bag facility"

I hope this clarifies the viewpoints and the core of the issue.
As rdf:bag was the normative standard (with its implicit BAGAX), this is not a trivial issue at all.

Moral: we still need to document the proper reasons on why the rdf:bag support is dropped (if it is dropped)

Received on Tuesday, 4 February 2003 13:26:24 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:54:04 UTC