16:58:35 RRSAgent has joined #webont 16:59:27 zakim, ??p1 is Guus 16:59:28 sorry, guus, I do not recognize a party named '??p1' 16:59:49 zakim, ??P1 is Guus 16:59:50 sorry, guus, I do not recognize a party named '??P1' 17:00:42 timfinin has joined #webont 17:01:04 zakim, ??P4 is Jeremy 17:01:05 sorry, guus, I do not recognize a party named '??P4' 17:01:24 JosD has joined #webont 17:02:00 jjc has joined #webont 17:02:12 IanH has joined #webont 17:02:37 Zakim, who's on the call? 17:02:38 sorry, jjc, I don't know what conference this is 17:02:39 On IRC I see IanH, jjc, JosD, timfinin, RRSAgent, Zakim, jimH, guus, logger 17:02:48 nmg has joined #webont 17:02:54 mdean has joined #webont 17:02:55 Zakim, help 17:02:56 Please refer to http://www.w3.org/2001/12/zakim-irc-bot for more detailed help. 17:02:57 Some of the commands I know are: 17:02:59 xxx is yyy - establish yyy as the name of unknown party xxx 17:03:00 if yyy is 'me' or 'I', your nick is substituted 17:03:02 zakim, this is web_ontology 17:03:03 xxx may be yyy - establish yyy as possibly the name of unknown party xxx 17:03:04 I am xxx - establish your nick as the name of unknown party xxx 17:03:06 xxx holds yyy [, zzz ...] - establish xxx as a group name and yyy, etc. as participants within that group 17:03:08 xxx also holds yyy - add yyy to the list of participants in group xxx 17:03:10 who's here? - lists the participants on the phone 17:03:12 who's muted? - lists the participants who are muted 17:03:14 mute xxx - mutes party xxx (such that 60# will not work) 17:03:16 unmute xxx - reverses the effect of "mute" and of 61# 17:03:18 is xxx here? - reports whether a party named like xxx is present 17:03:20 list conferences - reports the active conferences 17:03:21 this is xxx - associates this channel with conference xxx 17:03:22 excuse us - disconnects from the irc channel 17:03:23 I last learned something new on $Date: 2002/11/21 21:20:35 $ 17:03:24 sorry, jimH, I do not see a conference named 'web_ontology' 17:03:43 Zakim, list conferences. 17:03:44 I see SW_WebOnt()12:00PM, WS_DescWG()11:00AM 17:03:56 zakim, this is SW_WebOnt 17:03:57 ok, jimH 17:03:58 Zakim, this is SW_WebOnt 17:03:59 this was already SW_WebOnt()12:00PM 17:03:59 ok, jjc 17:04:02 +PatH 17:04:05 zakim, who is here 17:04:06 jimH, you need to end that query with '?' 17:04:08 pfps has joined #webont 17:04:11 zakim, who is here? 17:04:12 On the phone I see ??P1, ??P4, Ian_Horrocks, Mike_Dean, NickG, M_Smith, ??P24, ??P29, ??P30, ??P31, Marwan_Sabbouh, ??P33, Tim_Finin, ??P35, ??P36, ??P37, PatH 17:04:14 On IRC I see pfps, mdean, nmg, IanH, jjc, JosD, timfinin, RRSAgent, Zakim, jimH, guus, logger 17:04:26 Zakim, ??P4 is Jeremy. 17:04:27 +Jeremy.; got it 17:04:34 zakim, ??p33 is pfps 17:04:35 +Pfps; got it 17:04:41 zakim, ??P1 is Guus 17:04:43 +Guus; got it 17:04:59 zakim, ??P4 is Jeremy 17:05:00 sorry, guus, I do not recognize a party named '??P4' 17:05:21 jimH has changed the topic to: web ontology working group telecon - November, 21 2002 17:05:23 Zakim, who's on the call? 17:05:24 On the phone I see Guus, Jeremy., Ian_Horrocks, Mike_Dean, NickG, M_Smith, ??P24, ??P29, ??P30, ??P31, Marwan_Sabbouh, Pfps, Tim_Finin, ??P35, ??P36, ??P37, PatH 17:05:31 +[IBM] 17:05:58 Zakim, [IBM] is ChrisWelty. 17:05:59 +ChrisWelty.; got it 17:06:01 +??P40 17:06:17 Zakim, who is talking? 17:06:28 jjc, listening for 10 seconds I heard sound from the following: ??P24 (4%), ??P30 (15%), ??P31 (5%), Marwan_Sabbouh (38%), Tim_Finin (9%), ??P35 (15%), ??P37 (4%) 17:07:04 DeborahMc has joined #webont 17:07:17 zakim, ??p24 is Jos 17:07:18 +Jos; got it 17:07:29 zakim, ??p30 is Ruediger 17:07:30 +Ruediger; got it 17:07:40 zakim, ??p31 is Larry 17:07:41 +Larry; got it 17:07:52 zakim, ??p35 is herman 17:07:53 +Herman; got it 17:08:03 zakim, ??p37 is Jeff 17:08:04 +Jeff; got it 17:08:11 zakim, who is here 17:08:12 jimH, you need to end that query with '?' 17:08:15 zakim, who is here? 17:08:16 On the phone I see Guus, Jeremy., Ian_Horrocks, Mike_Dean, NickG, M_Smith, Jos, ??P29, Ruediger, Larry, Marwan_Sabbouh, Pfps, Tim_Finin, Herman, ??P36, Jeff, PatH, ChrisWelty., 17:08:18 ... ??P40 17:08:19 On IRC I see DeborahMc, pfps, mdean, nmg, IanH, jjc, JosD, timfinin, RRSAgent, Zakim, jimH, guus, logger 17:08:33 zakim, ??p29 is Masahiro 17:08:34 +Masahiro; got it 17:08:48 zakim, ??p40 is Deborah 17:08:49 +Deborah; got it 17:08:54 zakim, who is here 17:08:55 jimH, you need to end that query with '?' 17:09:00 zakim, who is here? 17:09:02 On the phone I see Guus, Jeremy., Ian_Horrocks, Mike_Dean, NickG, M_Smith, Jos, Masahiro, Ruediger, Larry, Marwan_Sabbouh, Pfps, Tim_Finin, Herman, ??P36, Jeff, PatH, ChrisWelty., 17:09:03 ... Deborah 17:09:04 On IRC I see DeborahMc, pfps, mdean, nmg, IanH, jjc, JosD, timfinin, RRSAgent, Zakim, jimH, guus, logger 17:09:46 next meeting is Dec 5 17:09:56 next scribe will be Jeremy 17:10:03 ----------- 17:10:32 face to face - please register if you have't -- hotel info on registration page 17:10:39 ---------- 17:10:48 reminder - please have your AC re-enroll you 17:15:05 jjc has left #webont 17:15:06 jjc has joined #webont 17:15:06 ------------ 17:15:16 scribe notes the group is a bit punchy this week :-> 17:16:02 +??P8 17:16:40 issue - propose to call OWL the "Web Ontology Language" 17:18:08 RESOLUTION: to call the langauge "The Web Ontology Language, OWL" 17:18:28 Motion passes by consensus - Pat abstains. 17:19:01 suggestion, one or more documents to include pointer to David DeRoure's "OWL/WOL" email 17:19:03 -------------- 17:20:18 ACTION: Chris Welty to deal with "meaning of owl:ontology" - CONTINUED 17:20:30 ACTION: Jeremy to do test case for 5.5 - CONTINUED 17:20:53 ACTION: Jeff - test case for imports - CONTINUED 17:21:03 zakim, ??p8 is Jerome 17:21:05 +Jerome; got it 17:21:28 ACTION: DanC to provide wording for issue 5.9 - CONTINUED 17:21:49 ---------------\ 17:22:10 Issue 5.14 - ontology versioning 17:22:47 Jeff explains proposal and his comments 17:23:17 zakim, regrets from DanC and Massimo. 17:23:18 I don't understand 'regrets from DanC and Massimo.', jimH 17:24:09 jeremy - do we have implementation experience? 17:25:01 Jeff - good question - we have implemented somewhat and are basing this on some other things that have been done - however the semantic stuff may still be 17:25:09 researchy. 17:25:19 Jeremy - but we need to implement/deploy. 17:25:46 q+ 17:25:58 Jeff - have done some implementations. 17:26:18 Pat - don't think we should have things like this with no semantics. 17:26:20 q- 17:27:43 hth has joined #webont 17:28:27 JimH - think we need this 17:28:56 PatH - think that putting it in OWL name space means people think it is in formal language. 17:29:14 q+ 17:29:31 I am sympathetic to Pat's position. 17:29:33 q+ 17:29:37 Guus - can we use Dublin Core for this? 17:30:04 Jeff, do you mean put it in different name space? Guus - like we do for Dub Core - make it a "suggested way" 17:30:40 Jeff - this is useful stuff - really think it shoud be in our namespace. 17:31:06 zakim, q 17:31:07 I don't understand 'q', jimH 17:31:10 q 17:31:55 Jeremy - I might like Pat's suggestion - make this a note or such. make them second class - but sympathy to not put in namespace 17:31:58 ack jjc 17:33:29 ack jimH 17:33:34 +??P14 17:34:24 zakim, ??p14 is Frank 17:34:25 FvH has joined #webont 17:34:25 +Frank; got it 17:34:38 Pat - these have semantics! Jeff - but not a lot. 17:34:40 ack 17:34:48 aueue 17:34:50 queue 17:35:35 scribe raises issue of requirements 17:43:26 zakim, who is talking? 17:43:38 jimH, listening for 10 seconds I heard sound from the following: Guus (60%), Frank (31%), Ruediger (18%), Larry (5%) 17:43:43 issue of what the meaning of deprecates is. 17:43:55 issue of how these are used 17:44:57 straw poll on Jeff's proposal as written (addressing DanC's comments) 17:45:36 2 cannot live w/it. 17:45:47 make that 3. 17:45:57 make that back to 2. 17:46:31 Guus - coule you live w/it if we remove deprecates? 17:47:17 Peter: 2 issues - one is "it is ugly to have things which muddle URLs and documents" 17:47:30 zakim, who is talking? 17:47:41 jjc, listening for 10 seconds I heard sound from the following: Guus (15%), Jeremy. (63%), Frank (10%), Marwan_Sabbouh (18%), Pfps (73%) 17:47:55 zakim, mute Jeremy. 17:47:56 Jeremy. should now be muted 17:48:02 second is - pat's issue of deprecation 17:48:20 zakim, who is on the phone? 17:48:21 On the phone I see Guus, Jeremy. (muted), Ian_Horrocks, Mike_Dean, NickG, M_Smith, Jos, Masahiro, Ruediger, Larry, Marwan_Sabbouh, Pfps, Tim_Finin, Herman, ??P36, Jeff, PatH, 17:48:23 ... ChrisWelty., Deborah, Jerome, Frank 17:49:22 Zakim, unmute Jeremy. 17:49:23 Jeremy. should no longer be muted 17:49:34 Pat - I could live with it if it was not in the OWL namespace 17:54:06 zakim, who is talking? 17:54:16 guus, listening for 10 seconds I heard sound from the following: Frank (15%), Ruediger (4%), Marwan_Sabbouh (34%), Jeff (45%), ChrisWelty. (4%) 17:54:42 Zakim, mute Marwan_Sabbouh 17:54:43 Marwan_Sabbouh should now be muted 17:55:04 thnkas, Jeremy 17:57:06 Mike - what do we say re: backcompatwith v. priorversion? Jeff, suggest we make BackCompat a subset of priorVersion 17:57:31 Jeremy - we could have something in the Guide but not in the semantics or reference. 17:58:15 zakim, who is talking? 17:58:27 guus, listening for 12 seconds I heard sound from the following: Guus (60%), Jeremy. (13%), Frank (25%), NickG (4%), Jeff (24%) 17:58:55 Guus - may be premature to resolve today - but we seem like we may be close to resolving 17:58:57 zakim, who is on the phone? 17:58:58 On the phone I see Guus, Jeremy. (muted), Ian_Horrocks, Mike_Dean, NickG, M_Smith, Jos, Masahiro, Ruediger, Larry, Marwan_Sabbouh (muted), Pfps, Tim_Finin, Herman, ??P36, Jeff, 17:59:00 ... PatH, ChrisWelty., Deborah, Jerome, Frank 17:59:02 zakim, who is talking? 17:59:13 guus, listening for 10 seconds I heard sound from the following: Guus (15%), Frank (30%) 17:59:25 zakim, mute Frank 17:59:26 Frank should now be muted 17:59:51 guus - can you reformulate the peoposal based on the discussion today? 18:00:05 guus - maybe we could make "outside the namespace" into the choice? 18:00:34 jeff - also making it non-normative? Guus, maybe as an option 18:01:14 ACTION: Jeff to rewrite issue for Dec 5 telecon. 18:01:17 ------------ 18:01:32 discussion of issue 4.3 - structured datatypes 18:01:48 seconders to POSTPONING per Jonathan's email 18:02:11 RESOLUTION: POSTPONE Issues 4.3 18:02:20 passed by consensus 18:02:39 ----------- 18:03:31 Guus proposed wording changes to guide. 18:03:33 JimH to chair 5.19 discussion, Jeremey to scribe for now 18:03:37 Issue 5.19 18:03:59 MikeS has already incorparated changes in editors draft. 18:04:31 Guus: this was really resolived at f2f but still worrying about wording. 18:04:46 particularly in Guide ... 18:05:10 MikeS: liked jim's notes too, but this are not yet in Guide. 18:06:14 Varietes, subsets, levels, interpretations? 18:06:26 i.e. OWL DL, OWL Lite, OWL FULL 18:06:53 (this discussion is somewhat off-topic) 18:07:12 JimH: heavily in favour of subsets 18:07:37 'conformance' 18:07:54 'restriciton' 18:08:28 Ian: subset is technically reflexive but not in common usage. 18:08:40 Jim reads e-mail msg. 18:09:27 Deb: finds Jim's msg confusing. 18:09:46 Ian: not incredible happy. 18:10:05 Ian: DL is really about decidable. 18:10:16 Jim: not sure full is undecidable. 18:10:53 Jim: DL is good for marketing reasons. 18:12:10 Mike: we've still got three things, but what are they ... 18:12:54 Guus: there is a real syntactic restriction 18:12:59 PatH: sublanguage 18:13:35 Ian: sublangauge is of lesser status 18:14:25 Zakim, unmute Frank 18:14:26 Frank should no longer be muted 18:14:46 Frank: dialect? 18:15:13 high dialect? 18:15:44 q+ 18:16:23 q+ 18:16:51 q- 18:16:52 Guss: 1 dimensional decision => sub 18:17:45 Frank: vocab wise OWL Lite is subset of OWL DL, but OWL DL not of OWL Full 18:17:56 Frank: syntax wise its two subset relationship 18:18:28 Jeremy: not sub- but super- 18:18:35 ack 18:18:46 Jim: what is owl? 18:20:38 Zakim, mute Frank 18:20:39 Frank should now be muted 18:21:29 Guus: can anyone not live with three sublanguages of OWL 18:22:05 (no one spoke up) 18:23:55 PROPSOED: Guus's proposal with admendment from Jim + this discussion, to be put to MikeS for editorial descretion + Ian's comment on DL wording. 18:24:36 Jim ongoing issue to do with decidability in defn of DL 18:25:35 Ian and Chris and JimH get into wordsmithing 18:26:19 DebMcg seconds 18:26:24 Opposed: none 18:26:28 Abstentions: none 18:26:33 RESOLVED 18:27:07 ACTION: Deb/Change features appropriately (after MikeS text) 18:27:25 zakim, ??p6 is Mike 18:27:26 sorry, jimH, I do not recognize a party named '??p6' 18:27:33 zakim, who is here? 18:27:34 On the phone I see Guus, Jeremy., Ian_Horrocks, Mike_Dean, NickG, M_Smith, Jos, Masahiro, Ruediger, Larry, Marwan_Sabbouh (muted), Pfps, Tim_Finin, Herman, ??P36, Jeff, PatH, 18:27:36 ... ChrisWelty., Deborah, Jerome, Frank (muted) 18:27:37 On IRC I see FvH, hth, jjctmpscr, DeborahMc, pfps, mdean, nmg, IanH, JosD, timfinin, RRSAgent, Zakim, jimH, guus, logger 18:27:50 zakim, ??p36 is Mike_Dean 18:27:51 +Mike_Dean; got it 18:28:12 ACTION: MikeDean/update reference appropraitely for three sublanguages 18:28:30 ACTION: Deb/Change features for three sublanguages 18:28:35 ----------- 18:28:43 Guus back to chair, JimH back to scribe 18:29:18 Guus - we want to close all the open issues in next couple of telecons - so we need people to help out. 18:29:19 -- 18:29:34 issue 5.8 - Jeremy summed up, how do we solve. 18:30:31 ACTION: chairs, to ask Jonathan Borden re: wording to close 5.13 (MIME) 18:30:42 ACTION: Chair to followup with Dan C re: Unique names 18:31:46 Propose to close issue 5.24 (if/iff) per Jeremy's email (Iff) 18:32:14 RESOLUTION: to close 5.24 as per Jeremy's email 18:32:35 By consensus, abstaining Jos de Roo, Jeff Heflin, Jim Hendler 18:34:23 -M_Smith 18:34:24 -Frank 18:34:25 -Jos 18:34:26 -Ruediger 18:34:27 -ChrisWelty. 18:34:28 -Herman 18:34:29 -Mike_Dean.a 18:34:30 -NickG 18:34:31 -Tim_Finin 18:34:32 -Mike_Dean 18:34:33 -Jerome 18:34:35 -Ian_Horrocks 18:34:36 -Jeremy. 18:34:39 -Masahiro 18:34:39 ACTION: JimH to signal discussion of RDF Datatypes and Cardinality. 18:34:42 -Pfps 18:34:44 -PatH 18:34:50 ACTIONS 18:35:01 zakim, ACTION 18:35:03 I don't understand 'ACTION', jimH 18:36:17 zalom, list actions 18:36:31 zakim, list actions 18:36:33 I see SW_WebOnt()12:00PM, Styl_XSL WG()1:00PM 18:36:56 RRSAgent, list actions 18:36:56 I see 11 open action items: 18:36:56 ACTION: Chris Welty to deal with "meaning of owl:ontology" - CONTINUED [1] 18:36:56 recorded in http://www.w3.org/2002/11/21-webont-irc#T17-20-18 18:36:56 ACTION: Jeremy to do test case for 5.5 - CONTINUED [2] 18:36:56 recorded in http://www.w3.org/2002/11/21-webont-irc#T17-20-30 18:36:56 ACTION: Jeff - test case for imports - CONTINUED [3] 18:36:56 recorded in http://www.w3.org/2002/11/21-webont-irc#T17-20-53 18:36:56 ACTION: DanC to provide wording for issue 5.9 - CONTINUED [4] 18:36:56 recorded in http://www.w3.org/2002/11/21-webont-irc#T17-21-28 18:36:56 ACTION: Jeff to rewrite issue for Dec 5 telecon. [5] 18:36:56 recorded in http://www.w3.org/2002/11/21-webont-irc#T18-01-14 18:36:56 ACTION: Deb/Change features appropriately (after MikeS text) [6] 18:36:56 recorded in http://www.w3.org/2002/11/21-webont-irc#T18-27-07 18:36:56 ACTION: MikeDean/update reference appropraitely for three sublanguages [7] 18:36:56 recorded in http://www.w3.org/2002/11/21-webont-irc#T18-28-12 18:36:56 ACTION: Deb/Change features for three sublanguages [8] 18:36:56 recorded in http://www.w3.org/2002/11/21-webont-irc#T18-28-30 18:36:56 ACTION: chairs, to ask Jonathan Borden re: wording to close 5.13 (MIME) [9] 18:36:56 recorded in http://www.w3.org/2002/11/21-webont-irc#T18-30-31 18:36:56 ACTION: Chair to followup with Dan C re: Unique names [10] 18:36:56 recorded in http://www.w3.org/2002/11/21-webont-irc#T18-30-42 18:36:56 ACTION: JimH to signal discussion of RDF Datatypes and Cardinality. [11] 18:36:56 recorded in http://www.w3.org/2002/11/21-webont-irc#T18-34-39-1 18:37:23 -Marwan_Sabbouh 18:40:37 -Deborah 18:42:46 -Guus 18:42:46 -Jeff 18:42:47 -Larry 18:42:49 SW_WebOnt()12:00PM has ended 18:45:49 exit 18:45:53 guus has left #webont 19:14:52 pfps has left #webont 21:00:12 bengt has joined #webont 21:00:25 bengt has left #webont 21:18:05 Zakim has left #webont