- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Fri, 30 May 2003 14:14:42 -0400 (EDT)
- 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 UTC