15:08:30 RRSAgent has joined #webont 15:08:35 Zakim, this will be WEBO 15:08:36 ok, DanC; I see SW_WebOnt()12:00PM scheduled to start in 52 minutes 15:19:07 agenda 1= 1May agenda http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0006.html 15:31:52 jhendler has joined #webont 15:32:00 http://www.w3.org/Guide/pubrules#namespaces 15:32:07 -> http://www.w3.org/1999/10/nsuri 15:59:49 SW_WebOnt()12:00PM has now started 15:59:58 +Ian_Horrocks 16:00:13 IanH has joined #webont 16:00:31 -Ian_Horrocks 16:00:32 +DanC 16:01:10 +Ian_Horrocks 16:01:26 mdean has joined #webont 16:02:00 +Mike_Dean 16:02:21 +Tim_Finin 16:02:45 Zakim, Tim_Finin is really JeffH 16:02:45 +JeffH; got it 16:02:47 +??P9 16:02:48 +[UMD] 16:02:51 +Evan_Wallace 16:03:03 zakim, [umd] is JimH 16:03:03 +JimH; got it 16:03:40 Zakim, who's on the phone? 16:03:41 On the phone I see DanC, Ian_Horrocks, Mike_Dean, JeffH, ??P9, JimH, Evan_Wallace 16:03:47 -JeffH 16:04:33 +Tim_Finin 16:04:41 +??P14 16:04:46 Zakim, Tim_Finin is really JeffH 16:04:46 +JeffH; got it 16:04:57 Zakim, ??P14 is Tim_Finin 16:04:57 +Tim_Finin; got it 16:04:59 zakim, ??p14 is TimF 16:04:59 sorry, jhendler, I do not recognize a party named '??p14' 16:05:09 Zakim, who's on the phone? 16:05:09 On the phone I see DanC, Ian_Horrocks, Mike_Dean, Hori, JimH, Evan_Wallace, JeffH, Tim_Finin 16:05:23 +Deb_Mcguinness 16:05:27 JosD has joined #webont 16:06:36 zakim, who is here? 16:06:36 On the phone I see DanC, Ian_Horrocks, Mike_Dean, Hori, JimH, Evan_Wallace, JeffH, Tim_Finin, Deb_Mcguinness 16:06:38 On IRC I see JosD, mdean, IanH, jhendler, RRSAgent, logger, Zakim, DanC 16:07:02 DeborahMc has joined #webont 16:07:11 regrets: DeRoo, Stanton, Sabbouh, Obrst 16:07:36 regrets: DeRoo, Stanton, Sabbouh, Obrst, Carroll 16:08:14 ----- 1.2 Minutes previous telecon 16:08:21 Proposed to accept as a true record of the April 24,2003 telcon: 16:08:21 http://lists.w3.org/Archives/Public/www-webont-wg/2003Apr/0165.html 16:08:22 (plus addition of Leo Obrst in attendance) 16:08:28 so RESOLVED 16:08:36 ----- 1.3 Agenda amendments 16:09:11 ChrisW has joined #webont 16:09:44 maybe QA stuff 16:09:50 +[IBM] 16:09:52 ----- 1.4 Telecon schedule 16:09:58 zakim, pick a scribe 16:09:58 Not knowing who is chairing or who scribed recently, I propose Evan_Wallace 16:10:01 - next telecon: May 8 16:10:15 Wallace to scribe. 16:10:24 ----- 1.5 ACTION Item Review 16:10:49 ACTION: Patel-Schneider to work on proof for issue 5.26 B1,B2 16:10:50 (target completion date: not before May 1) 16:10:51 CONTINUES. 16:10:56 +[EDS] 16:11:02 ACTION Hendler Ask for some pre-LC comments to be resent. 16:11:02 DONE 16:11:17 ACTION Jeff Heflin to add reference section to requirements document 16:11:18 DONE 16:11:42 ACTION IanH report on running Lite tests (less datatypes) thru some implementation, e.g. racer 16:11:44 in progress. 16:11:50 ACTION: IanH report on running Lite tests (less datatypes) thru some implementation, e.g. racer 16:11:52 contineus 16:12:26 ACTION JJC: point the commentor at 4.x in the test doc and see if that satisfies the comment on reference. 16:12:31 CONTINUES. 16:12:46 ACTION Guus: keep the commentor up to date on discussion of Nothing in Lite 16:12:48 CONTINUES 16:13:15 --- 2. Test document (10-15 min) 16:13:40 JimH: target looks like 8May 16:13:57 ... [something about possible QCR...] 16:15:23 from Horrocks on tests http://lists.w3.org/Archives/Public/www-webont-wg/2003Apr/0193.html 16:16:03 IanH: 16:16:03 16:16:03 16:16:03 16:16:07 look ok to me. 16:16:21 +??P27 16:16:28 RESOLVED to approve those 4 tests. 16:16:37 zakim, ??p27 is charlesW 16:16:37 +charlesW; got it 16:16:58 Ian: these look good 16:17:00 16:17:01 16:17:01 16:18:19 RESOLVED to approve those those 3. 16:19:07 proposed: 16:19:07 16:19:07 16:19:07 16:19:08 16:19:10 16:19:12 16:19:14 16:19:16 16:19:18 16:19:20 16:19:33 so RESOLVED. 16:20:11 --- 3. LC Comments (30-40 min) 16:20:27 zakim, who is here? 16:20:27 On the phone I see DanC, Ian_Horrocks, Mike_Dean, Hori, JimH, Evan_Wallace, JeffH, Tim_Finin, Deb_Mcguinness, [IBM], [EDS], charlesW 16:20:29 On IRC I see ChrisW, DeborahMc, JosD, mdean, IanH, jhendler, RRSAgent, logger, Zakim, DanC 16:20:32 3,1 add owl:Nothing to OWL Lite 16:20:32 Proposal by Ian 16:20:32 http://lists.w3.org/Archives/Public/www-webont-wg/2003Apr/0191.html 16:21:21 IanH: last call comment asked why owl:Nothing isn't in owl lite; since we don't have a good reason why not, we looked at adding it... 16:21:40 changes in Moving owl:Nothing from DL to Lite Ian Horrocks (Mon, Apr 28 2003) http://lists.w3.org/Archives/Public/www-webont-wg/2003Apr/0184.html 16:22:02 zakim, [IBM] is temporarily ChrisW 16:22:02 +ChrisW; got it 16:23:31 ChrisW has joined #webont 16:24:12 straw poll shows noone against. 16:24:29 editors ready? Deb: yes. 16:24:31 noop for Guide 16:24:46 MikeD: yes, easy. 16:25:14 Ian:I'll get it done for S&AS 16:25:17 noop for requirements 16:25:29 JimH: er... test? 16:25:47 GuusS has joined #webont 16:25:57 changes to tests from IanH http://lists.w3.org/Archives/Public/www-webont-wg/2003Apr/0186.html 16:26:10 +??P29 16:26:21 +PatH 16:26:22 zakim, ??p29 is Guus 16:26:22 +Guus; got it 16:27:18 PROPOSED: to add owl:Nothing to owl lite 16:27:26 RESOLVED, Hayes abstaining 16:27:50 +JonathanB 16:28:01 ACTION Dean/ref, Horrocks/semantics, Deb/overview, Connolly/guide 16:28:03 zakim, who is here 16:28:03 jhendler, you need to end that query with '?' 16:28:07 zakim, who is here? 16:28:07 On the phone I see DanC, Ian_Horrocks, Mike_Dean, Hori, JimH, Evan_Wallace, JeffH, Tim_Finin, Deb_Mcguinness, ChrisW, [EDS], charlesW, Guus, PatH, JonathanB 16:28:10 On IRC I see GuusS, ChrisW, DeborahMc, JosD, mdean, IanH, jhendler, RRSAgent, logger, Zakim, DanC 16:28:29 --- 3.2 qualified cardinality restrictions 16:29:09 oops... yes, Connolly/test 16:29:40 JimH: [summary, see agenda] 16:29:52 JimH: doesn't look like something we can do without another last call. 16:30:06 ... and in DAML it looks like there's not a lot of implementation experience 16:30:23 IanH: oiled fully supports it 16:30:35 ... which is, in a way, how we got here... 16:31:25 JimH: does that mean fact supports it? IanH: yes. JimH: ah. 16:32:14 JonB: I wonder if some parts of the community already thinks this is part of OWL 16:33:05 q+ 16:33:33 DanC: example? "a baseball team has 9 players"? 16:33:43 that's not it... 16:33:54 "a baseball team has 9 players, 3 of whom are outfielders" 16:35:33 IanH: it's an expressivity change, because of [... details missed...] 16:37:15 DanC: we could talk about proposals to add it; I haven't seen a "soup to nuts" proposal yet 16:37:32 JimH: proposals in email so far are not just "do what DAML did" 16:37:44 JonB: these *Q things have never been quite clear to me. 16:37:47 +??P0 16:38:20 jjc has joined #webont 16:39:04 IanH: recent syntax proposals might make it easier to do... 16:39:32 JimH: we could reopen [this issue] and postpone it... 16:39:54 ... and work on proposals after this version 16:40:56 PatH: keep in mind that if it's not in this version, it won't go out for a long time 16:41:24 q+ 16:41:44 ack danc 16:43:36 Guus: it does seem important, but it didn't come up in lots of DAML apps, so perhaps not that important. Note we didn't do stuff like defaults, which are also important... 16:43:56 ... and note that someValuesFrom can help [?] 16:44:37 ... personally, I'd like to see it in, but I see more reasons not to. 16:45:28 Jeremy: I'm sorta the other way around: I personally am still comfortable leaving it out, but the arguments against putting it in aren't compelling to me. 16:46:21 ... what's going to slow us down is reasoning with individuals. [??] I expect a non-trivial CR while the community learns to deal with it. 16:48:42 DanC: I don't like the idea of sorta tacking it on after, though I admit that's possible. Let's decide to put it in or not... 16:50:10 ... I think the case that they're needed is well made, but I'll need to see text for the guide and implemented tests before I agree. 16:50:20 ack Guus 16:50:22 ack jjc 16:53:19 ack danc 16:53:31 DanC: let's reopen the issue, in any case 16:53:41 JimH/Guus: we did that. 16:53:46 q+ 16:54:17 DanC: how many want to postpone? could we strawpoll? 16:54:26 q+ 16:54:45 Chris: I'm prepared to do the guide; how many implementors are there? can we just ask them? 16:55:07 JimH: how many OK to postpone? 16:55:17 yes: several 16:55:32 no: several 16:56:48 JimH: FYI, I phoned Alan R (the commentor) about the time cost... 16:57:17 q+ 16:57:23 ... he'd probably consider postponing (with acknowledgement that this is important) acceptable 16:59:27 [... discussion of post-WG stuff... building user community, demand for new features...] 17:00:37 ack jjc 17:00:40 ack guus 17:01:31 GuusS: regarding the medical community, protoge supports the medical community without QCRs, and would not like to add it 17:01:50 JimH: ... appleon toolkit... no QCRs... 17:02:28 PatH: have they decided *not* to have this? 17:02:42 DebM: yes; I went to a recent meeting. 17:02:46 chas has joined #webont 17:03:14 ack DanC 17:03:14 DanC, you wanted to suggest taking up Welty's offer to write guide text and perhaps his "ask the implementors" suggestion 17:04:09 ACTION JJC propose RDF/XML syntax 17:04:13 done. [pointer pending] 17:04:34 ACTION PatH propose RDF/XML syntax. (withdrawn?) 17:06:56 ACTION GuusS: write proposal to add QCRs to OWL, including text for the guide. 17:07:54 ACTION JimH: notify the SemWeb CG that Richter's comment has introduced a schedule risk 17:09:05 Path: which costs more 17:09:17 Path: which costs more, more tokens in the namespace or more complex triple syntax? 17:09:26 q+ 17:09:26 DanC: what costs is changing the meaning of existing documents. 17:10:44 [... technical discussion, discussion of impact on NCI ontology... folks that want this recorded in detail will please send mail...] 17:12:07 ack Guus 17:12:26 GuusS: so keep the existing thing, but add something more general too... is that the way to go? 17:12:33 [... some support...] 17:14:03 IanH: in 0176, I gave a pretty detailed proposal... 17:14:19 http://lists.w3.org/Archives/Public/www-webont-wg/2003Apr/0176.html 17:14:30 Qualified Cardinality Restrictions 17:14:31 From: Ian Horrocks (horrocks@cs.man.ac.uk) 17:14:31 Date: Mon, Apr 28 2003 17:17:41 -- 4. Presentation Syntax Documents (5-10 min) 17:18:13 # Update: XML Presentation Syntax [draft for W3C Note] Masahiro Hori (Thu, Mar 27 2003) http://lists.w3.org/Archives/Public/www-webont-wg/2003Mar/0241.html 17:19:32 Guus: propose to publish 17:20:06 ... with SOTD that says "updates expected" 17:20:45 PROPOSED: to publish the 27Mar version 17:20:58 so RESOLVED, Connolly abstaining 17:21:04 Hayes abstaining 17:22:41 point-of-order two questions about Test (having reviewed IRC) 17:24:02 ACTION Masahiro: deliver pubrules-happy draft 17:24:09 ACTION Connolly: publish XML syntax 17:24:16 ---- test 17:24:25 jjc: pls unapprove cardinality/005 17:24:55 so RESOLVED. 17:25:30 withdrawn: Guus to prepare note to RDF regarding PFPS08 and its relation 17:25:30 to the above resolution. 17:25:56 ACTION DanC: try to develop test cases that clarify this XML literals 17:25:56 stuff for WebOnt and RDFCore 17:26:04 CONTINUED, with apologies. 17:27:01 --- 5. RDF response (0-5 min) 17:27:19 DanC: on datatypes: 17:27:44 http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0005.html 17:27:53 we took a decision but that decision only integer and string are guaranteed 17:29:29 -JonathanB 17:29:46 ChrisW has joined #webont 17:30:03 Bye! 17:30:08 -ChrisW 17:30:16 ACTON DanC: get review of datatypes decision by I18N WG CONTINUES. 17:30:32 ACTION: jjc change SHOULD to MUST for xsd:itneger and xsd:string 17:30:53 http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0008.html 17:31:59 on rdf:about="" and xml:base and all that 17:32:02 pls discuss in email 17:32:07 -Evan_Wallace 17:32:11 -[EDS] 17:32:12 -Ian_Horrocks 17:32:13 -Tim_Finin 17:32:14 -PatH 17:32:16 -Mike_Dean 17:32:16 ADJOURN. 17:32:17 -JeremyC 17:32:19 -JeffH 17:32:20 -Hori 17:32:22 -charlesW 17:32:40 -JimH 17:32:41 -DanC 17:32:42 -Guus 17:32:44 -Deb_Mcguinness 17:32:45 SW_WebOnt()12:00PM has ended 17:47:02 RRSAgent, pointer? 17:47:03 See http://www.w3.org/2003/05/01-webont-irc#T17-47-02 17:47:08 RRSAgent, bye 17:47:08 I see 10 open action items: 17:47:08 ACTION: Patel-Schneider to work on proof for issue 5.26 B1,B2 [1] 17:47:08 recorded in http://www.w3.org/2003/05/01-webont-irc#T16-10-49 17:47:08 ACTION: IanH report on running Lite tests (less datatypes) thru some implementation, e.g. racer [2] 17:47:08 recorded in http://www.w3.org/2003/05/01-webont-irc#T16-11-50 17:47:08 ACTION: JJC to point the commentor at 4.x in the test doc and see if that satisfies the comment on reference. [3] 17:47:08 recorded in http://www.w3.org/2003/05/01-webont-irc#T16-12-26 17:47:08 ACTION: Guus to keep the commentor up to date on discussion of Nothing in Lite [4] 17:47:08 recorded in http://www.w3.org/2003/05/01-webont-irc#T16-12-46 17:47:08 ACTION: GuusS to write proposal to add QCRs to OWL, including text for the guide. [5] 17:47:08 recorded in http://www.w3.org/2003/05/01-webont-irc#T17-06-56 17:47:08 ACTION: JimH to notify the SemWeb CG that Richter's comment has introduced a schedule risk [6] 17:47:08 recorded in http://www.w3.org/2003/05/01-webont-irc#T17-07-54 17:47:08 ACTION: Masahiro to deliver pubrules-happy draft [7] 17:47:08 recorded in http://www.w3.org/2003/05/01-webont-irc#T17-24-02 17:47:08 ACTION: Connolly to publish XML syntax [8] 17:47:08 recorded in http://www.w3.org/2003/05/01-webont-irc#T17-24-09 17:47:08 ACTION: DanC to try to develop test cases that clarify this XML literals [9] 17:47:08 recorded in http://www.w3.org/2003/05/01-webont-irc#T17-25-56 17:47:08 ACTION: jjc change SHOULD to MUST for xsd:itneger and xsd:string [10] 17:47:09 recorded in http://www.w3.org/2003/05/01-webont-irc#T17-30-32