W3C home > Mailing lists > Public > www-rdf-logic@w3.org > October 2003

Re: Some questions about the exact meanings

From: Dan Connolly <connolly@w3.org>
Date: Wed, 01 Oct 2003 12:18:52 -0500
To: Chris Menzel <cmenzel@tamu.edu>
Cc: www-rdf-logic@w3.org
Message-Id: <1065028732.2697.676.camel@dirk.dm93.org>

On Wed, 2003-10-01 at 11:51, Chris Menzel wrote:
[...]
> I think that's just Tanel's question, though.  Do you really want
> "Loves", say, to be classified as a symmetric relation if it just
> happens to turn out in one's domain that all love is requited?

I'm not sure what you mean by "in one's domain," but
the WG asked itself this question
http://www.w3.org/2001/sw/WebOnt/webont-issues.html#I5.24-IF-or-IFF-property-properties

and decided, 21 Nov 2002, yes.

Hmm... the decision rationale is kinda hard to find...
surfing around, it seems that JJC's proposal of
18 Nov was sufficient to convince the WG:
http://lists.w3.org/Archives/Public/www-webont-wg/2002Nov/0225.html

It seemed to come down to "because that's the way
it is in the current draft and nobody's arguing
to change it." I don't find that wholly satisfying,
but I don't have any big problems with this design,
and as far as I know, neither does anybody else.

We have several relevant tests
http://www.w3.org/TR/owl-test/byIssue#issue-I5.24-IF-or-IFF-property-properties
and lots of folks reporting that they passed the tests;
http://www.w3.org/2003/08/owl-systems/test-results-out
i.e. they thought the design was reasonable enough to code it up.


> Chris Menzel
-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 1 October 2003 13:18:54 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:47 GMT