W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2003

Re: Minutes, WebOnt, 2003-05-29

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 30 May 2003 14:14:42 -0400 (EDT)
Message-Id: <20030530.141442.101563776.pfps@research.bell-labs.com>
To: sandro@w3.org
Cc: www-webont-wg@w3.org

From: Sandro Hawke <sandro@w3.org>
Subject: Minutes, WebOnt, 2003-05-29
Date: Thu, 29 May 2003 15:20:54 -0400

[...]

> RE: ACTION: Peter Change the documents to reflect this #2 in 116 change     http://www.w3.org/2003/05/29-webont-irc#T16-29-09

Done.

[...]

> A) intersectionOf semantics
> 
>        http://www.w3.org/2003/05/29-webont-irc#T16-20-38
> 
>        Jeremy sketched a test case: one of (John, Mary),
>                                     one of (John),   
> 				    one of (Mary);   
>        -> bigger class is union of two smaller classes
>        but that doesn't follow under OWL Full right now.
> 
>        
>        RESOLVED WITHOUT OBJECTION: Accept solution #2 sketeched in
>        http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0116
>        to change the semantics of intersectionOf and related
>        connectives.
>        
>        (actions on Jeremy and Peter noted above)

All changes to S&AS have been made.  The only other document that might
need change is test, to add tests to test this.

[...]

peter
Received on Friday, 30 May 2003 14:14:54 GMT

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