Re: Minutes, WebOnt, 2003-05-29

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