16:56:29 RRSAgent has joined #owl 16:56:29 logging to http://www.w3.org/2009/04/29-owl-irc 16:56:31 bijan has joined #owl 16:56:37 Zakim, this will be owlwg 16:56:37 ok, IanH; I see SW_OWL()1:00PM scheduled to start in 4 minutes 16:56:51 IanH has changed the topic to: http://www.w3.org/2007/OWL/wiki/Teleconference.2009.04.29/Agenda 16:57:11 msmith has joined #owl 16:57:24 DeborahM has joined #owl 16:58:18 Has anyone else called in yet? 16:58:23 I did 16:58:28 zakim, who is here? 16:58:28 SW_OWL()1:00PM has not yet started, IanH 16:58:29 On IRC I see DeborahM, msmith, bijan, RRSAgent, Zakim, IanH, zimmer, ivan, sebastian, trackbot 16:58:41 schneid has joined #owl 16:59:45 zakim, who is here? 16:59:45 SW_OWL()1:00PM has not yet started, IanH 16:59:46 On IRC I see schneid, DeborahM, msmith, bijan, RRSAgent, Zakim, IanH, zimmer, ivan, sebastian, trackbot 17:00:09 I don't get feedback from Zakim 17:00:12 pfps has joined #owl 17:00:13 baojie has joined #owl 17:00:17 ... and I am Scribe! 17:00:21 uli has joined #owl 17:00:28 zakim, who is here? 17:00:28 SW_OWL()1:00PM has not yet started, IanH 17:00:29 On IRC I see uli, baojie, pfps, schneid, DeborahM, msmith, bijan, RRSAgent, Zakim, IanH, zimmer, ivan, sebastian, trackbot 17:00:36 zakim, what time is it? 17:00:36 I don't understand your question, bijan. 17:00:42 zakim, this is owl 17:00:42 ok, IanH; that matches SW_OWL()1:00PM 17:00:50 zakim, who is here? 17:00:50 On the phone I see +03539149aaaa, Ian_Horrocks, ??P26, ??P30, [IPcaller], pfps, ??P0, +1.202.408.aabb 17:00:52 On IRC I see uli, baojie, pfps, schneid, DeborahM, msmith, bijan, RRSAgent, Zakim, IanH, zimmer, ivan, sebastian, trackbot 17:01:01 Zhe has joined #owl 17:01:03 I'm redialling 17:01:07 -[IPcaller] 17:01:33 + +1.518.276.aacc 17:01:41 + +1.603.897.aadd 17:01:51 zakim, +1.603.897.aadd is me 17:01:51 +Zhe; got it 17:01:57 Zakim, aacc is me 17:01:57 +baojie; got it 17:01:57 zakim, mute me 17:01:58 Zhe should now be muted 17:02:15 zakim, ??p30 is me 17:02:16 +??P17 17:02:19 +bijan; got it 17:02:21 zakim, who is here? 17:02:21 On the phone I see +03539149aaaa, Ian_Horrocks, ??P26, bijan, pfps, ??P0, msmith, baojie, Zhe (muted), ??P17 17:02:25 zakim, ??P0 is me 17:02:31 zakim, ??P17 is me 17:02:32 On IRC I see Zhe, uli, baojie, pfps, schneid, DeborahM, msmith, bijan, RRSAgent, Zakim, IanH, zimmer, ivan, sebastian, trackbot 17:02:35 +uli; got it 17:02:37 +schneid; got it 17:02:41 zakim, mute me 17:02:45 uli should now be muted 17:02:49 + +1.518.276.aaee 17:02:50 zakim, mute me 17:02:53 schneid should now be muted 17:02:58 ScribeNick: schneid 17:03:03 zakim, dial ivan-voip 17:03:04 zakim, unmute me 17:03:06 ok, ivan; the call is being made 17:03:07 +Ivan 17:03:09 schneid should no longer be muted 17:03:16 bmotik has joined #owl 17:03:17 zakim, ??P26 is me 17:03:23 zakim, mute me 17:03:26 +sebastian; got it 17:03:28 Ivan should now be muted 17:03:29 zakim, who is here? 17:03:31 On the phone I see +03539149aaaa, Ian_Horrocks, sebastian, bijan, pfps, uli (muted), msmith, baojie, Zhe (muted), schneid, +1.518.276.aaee, Ivan (muted) 17:03:32 topic: role call 17:03:37 On IRC I see bmotik, Zhe, uli, baojie, pfps, schneid, DeborahM, msmith, bijan, RRSAgent, Zakim, IanH, zimmer, ivan, sebastian, trackbot 17:03:39 Zakim, +03539149aaaa is me 17:03:40 zakim, mute me 17:03:42 +zimmer; got it 17:03:46 sebastian should now be muted 17:03:48 + +0186528aaff 17:03:52 topic: agenda amendments 17:03:52 Achille has joined #owl 17:04:01 Zakim, +0186528aaff is me 17:04:01 +bmotik; got it 17:04:04 +[IBM] 17:04:05 Zakim, mute me 17:04:08 bmotik should now be muted 17:04:14 +??P22 17:04:15 zakim, ibm is me 17:04:16 +Achille; got it 17:04:16 ian: QRG discussion at beginning, because some champions will have to leave soon 17:04:18 christine has joined #owl 17:04:24 they are not so good 17:04:24 topic: previous minutes 17:04:24 minutes looked OK by me 17:04:35 q+ 17:04:50 bcuencagrau has joined #owl 17:05:11 q- 17:05:12 ...perhaps Peter doesn't mind things petering out? 17:05:12 msmith: large parts have no scribing, only irc chat 17:05:25 christine: it was difficult to write at the end 17:05:47 ian: christine, could you again clean it up a bit 17:05:50 christine: i did 17:05:54 +bmotik.a 17:06:00 Zakim, bmotik.a is me 17:06:00 +bcuencagrau; got it 17:06:06 christine: can anyone help me with clean up? 17:06:17 I don't think that there is anything particularly important missing. 17:06:20 Zakim, mute me 17:06:20 bcuencagrau should now be muted 17:06:24 ian: trouble is that there is not much there to clean up 17:06:25 ok by me 17:06:32 ian: should we just accept them as they are? 17:06:46 ian: if no one objects, then accept them 17:06:59 topic: action item status 17:07:28 ian: peter did Action 332 17:07:50 ian: review of nf&r: next week 17:08:00 topic: documents and reviewing 17:08:09 ian: we got comment on rdf:text 17:08:13 q+ 17:08:19 ack ivan 17:08:21 ack ivan 17:08:29 q? 17:08:30 ... don't know perfectly how to deal with these comments 17:08:46 q+ 17:08:49 zakim, unmute ivan 17:08:49 Ivan was not muted, ivan 17:08:51 ack bijan 17:09:13 bijan: it's highly likely the sparql wg will have a comment on rdf:text 17:09:56 ... i was talking to andy seaborne, who is main pusher, and he thinks that comment will not be LC regeneration comment 17:09:58 -Ivan 17:10:07 zakim, dial ivan-voip 17:10:07 ok, ivan; the call is being made 17:10:09 +Ivan 17:10:13 +Sandro 17:10:18 sandro has joined #owl 17:10:34 ian: hasn't andy seaborne reviewed it already 17:10:35 (sorry I'm late.) 17:10:43 bijan: yes, but not from the sparql perspective 17:11:22 ... there may be thinks that are surprising to him, and that he did not thought about before 17:11:48 ian: who do we have to work on rdf:text 17:11:52 One thread: 17:11:55 q? 17:12:00 ian: probably boris 17:12:26 ivan: axel is both editor of rdf:text and he is on the sparql wg 17:12:48 q+ 17:12:49 ivan: believes that axel is trying to take action on this 17:12:51 Zakim, unmute me 17:12:51 bmotik should no longer be muted 17:12:51 q? 17:12:55 ack bmotik 17:13:06 ... and we can wait one more weak to see what happens 17:13:23 boris: axel has already made some smaller changes to the document 17:13:29 Him 17:13:40 ian: we already have a comment on rdf:text 17:13:42 q+ 17:13:47 ack bmotik 17:13:59 boris: i made an informal comment to him 17:14:16 ... made clear that is personal response 17:14:25 (boris' reply to Michael was good, and a good thing to do.) 17:14:33 ... this guy was complaining about the "#" 17:14:59 q? 17:15:27 ... we maybe have to change the document to talk about qnames, but don't know how to do it exactly 17:15:30 q+ 17:15:38 q? 17:15:40 ack bijan 17:15:50 ian: can we have some try in the wiki? 17:17:12 ian: we forgot about the agenda amendmend: QRG 17:17:35 topic: agenda amendment: qrg 17:17:37 q? 17:18:00 jie: peter made several comments, many editorial 17:18:58 q? 17:19:06 jie: links to other documents may be useful to new users 17:19:09 q+ to ask about why it would useful to users new to owl altogether 17:19:22 ... specifically the links to the primer 17:20:14 ian: is the qrg close to ship? 17:20:17 QRG is missing some constructs, still, I think 17:20:21 q? 17:20:23 jie: the web version seems close 17:20:28 ack bijan 17:20:28 bijan, you wanted to ask about why it would useful to users new to owl altogether 17:20:55 q? 17:21:17 q 17:21:21 q? 17:21:37 jie: people coming from owl 1 will find helpful links to nf&r to understand the changes 17:21:40 q? 17:21:54 I'm against the links to Primer too 17:21:58 q+ 17:22:01 But I was confused by what Jie said 17:22:01 christine: those links are useful 17:22:07 q? 17:22:27 ... first they are harmless 17:22:37 ... second helpful for navigation 17:22:48 Some of us don't think they are harmless 17:23:03 ... we should focus on content of document, not so much on the links 17:23:22 (Links are part of the content as well.) 17:23:27 +q 17:23:34 ack pfps 17:23:40 ian: only trouble, there needs to be actual means for the links 17:24:14 +1 to Peter: I thought these links would be "arguments"! 17:24:21 pfps: disagrees with christine, they are harmful, introduce bloat, and extra bits not natural structure of the document 17:24:28 ack baojie 17:24:47 Also, I think the "new" will get dated 17:24:49 q+ 17:24:56 q? 17:24:57 q+ 17:25:08 q- 17:25:16 I'll just say that the "new" bits will get dated over time 17:25:23 jie: if we add the links... [help!] 17:25:33 They won't be "new", so it's bad to *highlight* them 17:25:50 ian: modulo links, are people currently happy with the document? 17:25:57 zakim, unmute me 17:25:57 uli should no longer be muted 17:25:58 ack uli 17:26:25 +q 17:26:31 q? 17:26:32 +q 17:26:48 uli: i'm a bit puzzled because of the links, since the qrg was designed to be printed to paper, used offline at desktop, where there are no links 17:27:09 I also do not like the top-level divisions, and have expressed this in the past 17:27:23 q+ I think I should say it 17:27:24 q? 17:27:54 ack christine 17:28:23 q+ 17:28:28 christine: question, is it the fact that we don't want to point to the nf&r? 17:28:44 q+ to talk against highlighting new features 17:28:51 zakim, mute me 17:28:51 uli should now be muted 17:28:55 The NF&R pointers are bad in two ways - 1/ the "anchor" is distracting, 2/ the link itself is of very limited utility 17:29:07 +q 17:29:23 q? 17:29:25 ian: there's no other purpose of the things in the document than pointing to the nf&r [fixme] 17:29:31 ack baojie 17:29:47 akim, mute me 17:29:50 Zakim, mute me 17:29:51 bmotik should now be muted 17:30:04 ok 17:30:11 jie: if we have www version with links, and pdf version without 17:30:12 q? 17:30:14 +q 17:30:22 ... that's technically doable 17:30:25 But the PDF version should have links! Just when printed they don't work. 17:30:26 ack DeborahM 17:30:42 It's easy with a stylesheet to target print vs. screen 17:30:44 q+ to remind us of the goals for QRG 17:30:47 q? 17:30:58 deb: my reading of the comments is that we have general agreement on the document's content 17:31:29 ... editors think that there should be a web version with and pdf version without links 17:31:34 sure - but I repeat Bijan's point: the NF&R links will 'outdate'? 17:31:41 ... believe that more links in the web version are good 17:32:02 q? 17:32:06 ok 17:32:12 ack bijan 17:32:12 bijan, you wanted to talk against highlighting new features 17:32:14 q- 17:32:15 q? 17:32:15 q+ 17:32:47 q? 17:33:02 q? 17:33:07 bijan: highlighting new features is not a good idea for this document, because users should not care about this 17:33:24 q? 17:33:24 ... so isn't the highlighting already harmful 17:33:33 ack christine 17:34:30 ack pfps 17:35:05 maybe time for a straw poll? 17:35:12 pfps: issue is that we should come up with a document that is a real recommendation for people 17:35:18 q? 17:35:27 I wonder if the authors could address my point that highlighting new things might be overall bad 17:35:27 ... not to make all wg members happy 17:35:39 Because they overemphasize them 17:35:40 q? 17:35:46 ... there are still missing features, e.g. datatype stuff [fixme] 17:36:08 ... lot has changed 17:36:22 q? 17:36:28 +q 17:36:30 q? 17:36:35 ian: what about overall structure? 17:36:39 q? 17:36:44 ack christine 17:37:01 +q 17:37:07 q? 17:37:17 ack baojie 17:37:20 q? 17:37:29 christine: question about functional syntax 17:37:36 I like the letters 17:37:42 Easier to pattern match 17:37:49 q+ 17:37:55 q? 17:38:04 ack bijan 17:38:06 possibly missing features - datatype definitions 17:38:07 OPE 17:38:16 q? 17:38:20 +1 to bijan 17:38:21 jie: "ce" makes printout larger [fixme] 17:38:31 MInor indeed 17:38:41 ian: all these things are editorial minor 17:38:44 the basic outline is acceptable 17:38:44 q? 17:39:07 ian: i don't hear anyone talking against general structure 17:39:20 q+ 17:39:20 q? 17:39:24 Evan is not there 17:39:30 ack bijan 17:39:36 ian: we should have a decision on the more concrete technical issues 17:39:51 q? 17:39:57 +1 to bijan's suggestion 17:40:09 q? 17:40:09 what suggestion ? 17:40:11 bijan: want's to hear from editors about suggestion /not/ to highlight new features 17:40:26 q? 17:40:29 I agree with the suggestion that new features should not be highlighted in QRG 17:40:34 +1 to not having the new-feature high-lighting. 17:40:37 q? 17:40:38 me too 17:40:39 bijan: if you are using this card for two years, do you still care about new features being highlighted 17:40:41 but keep (N) ? 17:40:51 this document is a QRG to *OWL 2* so highlighting the differences only detracts from its utility 17:41:01 q? 17:41:25 q? 17:41:35 my summary of what i heard is (1) make sure we address pfps's content suggestions, possibly a suggestion from uli on a small reorganization, (3) leave short names for the momentbut possibly expand if working group decide 17:41:41 q+ 17:42:23 q? 17:42:28 uli's suggestion would require a reordering of the document and a redo of the sections, but little more, I thin 17:42:48 ack DeborahM 17:42:50 it is such a subjective matter :) 17:42:59 what about linking to NF&R for new features instead of Primer ? 17:43:30 q+ 17:43:32 q? 17:43:40 ack ivan 17:43:56 Or one could have a toggle 17:43:59 deb: sees a point with bijan's argument, bold too much, but no mentioning of new features is too less, either 17:44:00 -1 to separate list on web version 17:44:07 q+ to suggest a toggle 17:44:13 q? 17:44:14 +1 to ivan (with that list including links) 17:44:17 ivan: what about only having mentioning the new features on the web version 17:44:28 -1 to even more docs 17:44:33 q? 17:44:39 ack bijan 17:44:39 bijan, you wanted to suggest a toggle 17:44:42 q? 17:44:51 -1 to toggling 17:44:58 bijan: what about making the highlighting toggleable? 17:45:11 q? 17:45:14 q? 17:45:38 +1 Ivan 17:46:06 q? 17:46:11 I can live with it 17:46:20 q+ 17:46:23 ok with it 17:46:25 ack pfps 17:46:30 i can live with ivan's or bijan's suggestion 17:46:41 ian: ivan's proposal sounds most acceptable to most of us 17:46:54 I agree with pfps, but can live with the suggestion. 17:47:06 I agree with peter here. 17:47:10 pfps: new'ness is not a point for this particular document 17:47:10 I agree with pfps, but am with msmith 17:47:18 +q 17:47:22 In a year from now, all features will be old (and dusty). 17:47:24 q? 17:47:25 q+ 17:47:32 q+ 17:47:37 q- 17:47:39 ack christine 17:48:25 q? 17:49:02 i have to run now. if we vote for ivan's suggestion i vote +1 for that but can also support bijan's toggling proposal 17:49:09 ack bijan 17:49:24 q? 17:50:11 - +1.518.276.aaee 17:50:14 bijan: prefers toggle, because it's weird to have information in the web version which is not in the paper version, when the paper version is the real target document 17:50:25 q? 17:50:27 I've been most in favour of making this document something that lives in the WG web pages, and is not a TR at all. 17:50:34 q? 17:50:44 ... having a separate list is getting into other doucments responsibility 17:51:00 q+ 17:51:07 q? 17:51:20 pfps: it's meant to be a simple document, but with toggles 17:51:35 q? 17:51:38 bijan: is this particular thing such a problem? 17:51:40 ack bijan 17:52:01 pfps: toggle would need additional space 17:52:08 q? 17:52:15 bijan: there is already additional stuff in the web version 17:52:21 q? 17:52:43 bijan: but links to nf&r in print version do not make much sense in genaral 17:53:11 I am o.k. with bijan 17:53:12 +q 17:53:16 bijan: deb said she can live with both bijan's and ivan's suggestion 17:53:20 q? 17:53:46 christine: decision will affect nf&r 17:53:53 How does it affect NF&R? 17:54:05 q+ 17:54:10 ack christine 17:54:13 christine, toggle means 'switch-offable' 17:54:17 q? 17:54:17 and switch-onable 17:54:18 the decision should be made today, as after we make the decision the document has to be fixed up 17:54:42 (1) toggle (2) extra list 17:54:49 (3) as it is 17:55:01 how make switc-offable ? 17:55:02 (4) throw all refs to new features away 17:55:06 4,1,2,3 17:55:15 4,1,-,- 17:55:22 2,1,3 17:55:26 4,1,2,3 17:55:26 4,-,-,- 17:55:27 4,-,-,- 17:55:27 1, 3, 4, 2 17:55:33 4,2,1,3 17:55:33 2,1,3 17:55:34 2143 17:55:38 1 17:55:40 2, 3, 1, 4 17:55:42 4,1,2 17:55:43 4,2,1,3 17:55:51 2,1 17:56:23 we could have a togglable extra list? 17:56:35 we can! 17:56:38 ian: no one wan't leave things as they are 17:57:19 q? 17:57:27 ian: we have either throw everything away or have the list 17:57:37 bijan: second choice often toggle 17:58:06 ian: struggles with quick and dirty statistical analysis 17:58:22 ian: nobody likes 3 17:58:33 214 17:58:34 4-- 17:58:37 4-- 17:58:41 4,1,- 17:58:41 4,1,2 17:58:41 4,1,2 17:58:42 4,2,1 17:58:44 21- 17:58:45 4,2,1 17:58:45 214 17:58:46 1 4 17:58:48 strawpoll: (1) toggle, (2) extra list, (4) throw all refs to new features away 17:58:49 4,2,1 17:58:50 4,1,2 17:58:56 241 17:58:58 2, 1 17:59:12 1 2 17:59:29 ian: a bit more split between 4 and 2, but sees bijan's point 17:59:42 q? 18:00:32 q? 18:00:42 ack ivan 18:01:01 Actually, I don't care anymore :) 18:01:16 +q 18:01:22 ivan: whether it is 1 or 2, there's no big difference, so bijan's proposal would be fine 18:01:27 I won't lie down in the road. 18:01:28 What do they prefer, 1 or 2? 18:01:43 I guess 2 18:01:49 Ok, fine 18:01:51 I go for it 18:02:05 ack christine 18:02:23 christine, open a new connection? 18:02:37 ok for list at the end 18:02:59 strawpoll: list at end 18:02:59 +1 18:03:02 +1 18:03:03 +1 18:03:04 +1 18:03:09 0 18:03:09 -0.1 18:03:09 +0.2 18:03:10 0 18:03:10 +0 18:03:11 0 18:03:11 +1 18:03:12 0 18:03:13 0 18:03:14 0 18:03:16 -0, as long as the list is very compact 18:03:30 Make it 18:03:31 0.5 point font, pfps. 18:03:46 ("point five point" :-) 18:05:10 All emphasis on and links to new features to go from existing tables. A new short table to be added to the end of the document with list of new features and links to NF&R. 18:05:24 This looks fine. 18:05:27 ok 18:05:27 yep 18:05:44 zakim, unmute me 18:05:44 uli should no longer be muted 18:06:08 :_ 18:06:11 s/to go/will be removed/ 18:06:21 Christine, you may find IRC more reliable if you try a different client, instead of the w3 web cgi. 18:06:23 As far as I am concerned, this list could even go in the card, if there is space. 18:06:32 Yeah, me too 18:06:44 msmith, Christine can't read that! 18:07:26 PROPOSED: All emphasis on and links to new features will be removed from existing tables in QRG. A new short table to be added to the end of the document with list of new features and links to NF&R. 18:07:33 zakim, mute me 18:07:33 uli should now be muted 18:07:36 +1 18:07:38 +0 18:07:45 0 18:07:48 +1 18:07:49 +1 18:07:51 +0 18:07:52 0 18:07:52 +0 18:07:54 0 18:07:55 0 18:07:57 0 18:07:59 -0 18:08:01 +0 18:08:03 0 18:08:04 0 18:08:10 +1 18:08:28 RESOLVED: ll emphasis on and links to new features will be removed from existing tables in QRG. A new short table to be added to the end of the document with list of new features and links to NF&R. 18:08:39 :) 18:08:44 ian: is very happy on the resolution 18:09:27 topic: last call comments on owl (revisited) 18:09:45 I did 18:09:54 zakim, unmute me 18:09:54 uli should no longer be muted 18:10:05 ian: anyone other than peter and boris looked at umberto's comment 18:10:08 zakim, mute me 18:10:08 uli should now be muted 18:10:09 q? 18:10:13 uli: look fine 18:10:52 q? 18:11:12 q? 18:11:16 ian: christine, is nf&r ready to go? 18:11:23 NF&R is looking quite reasonable 18:11:43 christine: basically yes, but a few questions to peter's comments 18:11:59 ian: ok, please discuss offline 18:12:07 zakim, unmute me 18:12:07 sebastian should no longer be muted 18:12:13 subtopic: primer 18:12:32 q? 18:12:34 I'm working on it nwo 18:12:40 sebastian: we did quite some work on primer in the last week 18:12:46 Should be done tonight 18:13:06 q? 18:13:07 Primer needs reviewing 18:13:10 ... there are some things to be done by bijan 18:13:18 .... not shipping 18:13:55 bijan: there will perhaps some disagreement about the granularity, but mostly editorial 18:14:01 zakim, mute me 18:14:01 sebastian should now be muted 18:14:04 q? 18:14:09 ian: volunteers for reviewing? 18:14:38 I can review by 13 May 18:14:44 ... would be due 13 May 18:15:13 earlier reviews are much better, and more likely to be effective :-) 18:15:15 ian: will take it offline and ask, but msmith will be the number one 18:15:44 topic: implementation and testcases 18:15:47 q? 18:15:57 q? 18:16:02 ian: there is this validation tool issue 18:16:10 q? 18:16:11 q+ 18:16:40 ack msmith 18:16:45 ian: seems to use the owl api for reading ontologies 18:17:12 msmith: we don't have anything for species validation 18:17:58 ian: we would like to have species validation for owl/xml [fixme] 18:18:19 ian: all i know is that some things are repaired away 18:18:59 ian: can we talk to owl api people to have some strict mode? 18:19:11 action bijan to talk with owlapi people about strict rdf/xml parsing 18:19:11 Created ACTION-335 - Talk with owlapi people about strict rdf/xml parsing [on Bijan Parsia - due 2009-05-06]. 18:19:12 topic: progress report 18:19:15 q+ 18:19:15 q? 18:19:19 ack msmith 18:19:28 I wrote tests! 18:19:46 msmith: little bit of progress, new page on wiki showing results for pellet and hermit 18:19:57 Pointer to those tests? 18:20:01 result? 18:20:05 is there a link from the home page or LHS of the wiki to the current test status? 18:20:06 ... some new tests, and some changed status 18:20:25 ... new page showing coverage of the language 18:20:42 http://www.w3.org/2007/OWL/wiki/Test_Suite_Status 18:20:53 ian: how many tests do we have now? 18:21:18 ian: do we have one test for each construct? 18:21:35 I have them 18:21:46 http://www.w3.org/2007/OWL/wiki/Test_Suite_Status 18:22:01 ian: what about results and putting on wiki? 18:22:15 bijan: that's what the status page is about 18:22:50 msmith: there is an "incomplete" result, including timeout etc 18:22:59 ian: what about "extra credit"? 18:23:22 q? 18:23:27 ... looks better when exiting cr 18:23:47 bijan: we should make sure to cover all syntactic features 18:23:51 ok 18:23:55 q+ 18:24:03 ack msmith 18:24:17 1 reasoner does it :) 18:24:36 msmith: how do we get "extra credit" testcases? 18:26:15 ian: let's defer syntactic tests: no time, no alanr 18:26:33 topic: aob 18:26:57 bye 18:26:59 -Sandro 18:27:00 -bijan 18:27:01 ian: we're don 18:27:01 -msmith 18:27:03 -baojie 18:27:05 bye 18:27:06 -Achille 18:27:10 Bye. 18:27:11 -bcuencagrau 18:27:16 -Zhe 18:27:31 -zimmer 18:27:31 RRSAgent, make records public 18:27:38 Ian, check the following link out (during dinner!): 18:27:47 http://www.youtube.com/watch?v=Z19zFlPah-o 18:28:32 -bmotik 18:28:38 -Ian_Horrocks 18:28:43 -Ivan 18:28:44 -pfps 18:28:46 -uli 18:28:56 -sebastian 18:29:19 -??P22 18:29:45 -schneid 18:29:46 SW_OWL()1:00PM has ended 18:29:47 Attendees were Ian_Horrocks, [IPcaller], pfps, +1.202.408.aabb, msmith, +1.518.276.aacc, Zhe, baojie, bijan, uli, schneid, +1.518.276.aaee, Ivan, sebastian, zimmer, bmotik, 18:29:49 insane, uli ! 18:29:51 ... Achille, bcuencagrau, Sandro 18:41:27 RRSAgent, make records public 19:13:19 sandro has joined #owl 19:50:31 uli has left #owl 20:31:26 Zakim has left #owl