16:41:09 RRSAgent has joined #owl 16:41:09 logging to http://www.w3.org/2008/04/16-owl-irc 16:41:31 zakim, this will be owl-wg 16:41:31 I do not see a conference matching that name scheduled within the next hour, pfps 16:41:38 zakim, this will be oql 16:41:38 I do not see a conference matching that name scheduled within the next hour, pfps 16:41:48 zakim, this will be owl 16:41:48 ok, pfps; I see SW_OWL()12:00PM scheduled to start 41 minutes ago 16:42:14 RRSAgent, make records public 16:44:33 I think that all this stuff was written by fans of "adventure" games 16:45:42 Well, all this "open agent using tripod" stuff is very reminiscent... 16:46:16 Not to mention the "you didn't end that question with a question mark" stuff 16:46:40 Although that reminds me more of the hitchhiker's guide 16:48:23 I never made it out of the heart of gold - after having collected 3/4 of all points :) 16:48:35 Ivan has joined #owl 16:49:45 here, a simple "slash exist" suffices ;-) 16:50:15 s/exist/exit 16:51:10 sandro has joined #owl 16:53:20 bijan has joined #owl 16:54:21 SW_OWL()12:00PM has now started 16:54:22 +??P13 16:54:42 uli has joined #owl 16:54:54 Ratnesh has joined #owl 16:55:10 zakim, ??P13 is me 16:55:10 +bijan; got it 16:55:12 +IanH 16:55:14 -IanH 16:55:14 +IanH 16:55:22 zakim, mute me 16:55:22 bijan should now be muted 16:55:42 zakim, unmute me 16:55:42 bijan should no longer be muted 16:55:49 +??P16 16:55:58 zakim, ??P16 is me 16:55:58 +uli; got it 16:55:58 zakim, who is on the call? 16:55:59 On the phone I see bijan, IanH, uli 16:56:02 trackbot-ng, start meeting 16:56:04 RRSAgent, make logs public 16:56:06 Zakim, this will be OWLWG 16:56:06 ok, trackbot-ng; I see SW_OWL()12:00PM scheduled to start 56 minutes ago 16:56:07 Meeting: OWL Working Group Teleconference 16:56:07 Date: 16 April 2008 16:56:36 MartinD has joined #OWL 16:58:05 • Ratnesh Sahay 16:58:05 • Deborah McGuinness scribed 2007-12-06 16:58:05 • Giorgos Stoilos scribed 2007-12-06 16:58:05 • Jeff Pan scribed 2007-12-07 16:58:05 • Martin Dzbor scribed 2008-01-16 16:58:06 • Doug Lenat scribed 2008-01-23 16:58:08 • Carsten Lutz scribed 2008-02-06 16:58:15 zakim, mute me 16:58:15 sorry, pfps, I don't know what conference this is 16:58:28 zakim, this will be OWLWG 16:58:28 ok, pfps; I see SW_OWL()12:00PM scheduled to start 58 minutes ago 16:58:39 ???????? 16:59:45 diego has joined #owl 16:59:50 zakim, this is OWL 16:59:50 ok, sandro; that matches SW_OWL()12:00PM 16:59:55 zakim, mute me 16:59:55 uli should now be muted 17:00:03 baojie has joined #owl 17:00:06 +msmith 17:00:08 zakim, mute me 17:00:08 sorry, Rinke, I do not know which phone connection belongs to you 17:00:15 zakim, who is here? 17:00:15 On the phone I see bijan, IanH, uli (muted), +31.20.525.aaaa, Peter_Patel-Schneider, msmith 17:00:17 On IRC I see baojie, diego, MartinD, Ratnesh, uli, bijan, sandro, Ivan, RRSAgent, Zakim, Carsten, m_schnei, pfps, Rinke, IanH, trackbot-ng, ewallace 17:00:18 ok - I will scribe 17:00:22 +??P25 17:00:22 zakim, aaaa is me 17:00:23 +Rinke; got it 17:00:23 +Sandro 17:00:30 msmith has joined #owl 17:00:31 scribenick: uli 17:00:34 +Evan_Wallace 17:00:39 thanks, Bijan 17:00:47 +MartinD 17:00:54 zakim, mute me 17:00:54 MartinD should now be muted 17:00:56 zakim, dial ivan-voip 17:00:56 ok, Ivan; the call is being made 17:00:58 +Ivan 17:01:02 zakim, mute me 17:01:03 bijan should now be muted 17:01:15 MarkusK has joined #owl 17:01:24 +baojie 17:01:25 zakim, mute me 17:01:25 Ivan should now be muted 17:01:31 zakim, zakim ??P25 is me 17:01:31 I don't understand 'zakim ??P25 is me', m_schnei 17:01:39 zakim, ??P25 is me 17:01:39 +m_schnei; got it 17:01:45 zakim, mute me 17:01:45 m_schnei should now be muted 17:01:53 zakim, who is here? 17:01:53 On the phone I see bijan (muted), IanH, uli (muted), Rinke, Peter_Patel-Schneider, msmith, m_schnei (muted), Sandro, Evan_Wallace, MartinD (muted), Ivan (muted), baojie 17:01:56 On IRC I see MarkusK, msmith, baojie, diego, MartinD, Ratnesh, uli, bijan, sandro, Ivan, RRSAgent, Zakim, Carsten, m_schnei, pfps, Rinke, IanH, trackbot-ng, ewallace 17:01:57 +diegoc 17:02:11 zakim, mute me 17:02:11 baojie should now be muted 17:02:20 +??P34 17:02:38 +??P37 17:02:45 +??P38 17:02:53 jeremy_ has joined #owl 17:02:57 zakim, who is on the call? 17:02:57 On the phone I see bijan (muted), IanH, uli (muted), Rinke, Peter_Patel-Schneider, msmith, m_schnei (muted), Sandro, Evan_Wallace, MartinD (muted), Ivan (muted), baojie (muted), 17:03:00 ... diegoc (muted), ??P34, ??P37, ??P38 17:03:01 -??P38 17:03:02 zakim, ??P34 is me 17:03:03 +Ratnesh; got it 17:03:07 Achille has joined #owl 17:03:15 Zakim, P37 is me 17:03:15 sorry, jeremy_, I do not recognize a party named 'P37' 17:03:22 Zakim, ??P37 is me 17:03:22 +jeremy_; got it 17:03:35 +??P38 17:03:37 ChristineG has joined #owl 17:03:43 yes there is another jeremy ... in the html group 17:03:49 shall I try JeremyCarroll 17:03:58 +??P41 17:04:07 +[IBM] 17:04:10 zakim, who is on the call? 17:04:10 On the phone I see bijan (muted), IanH, uli (muted), Rinke, Peter_Patel-Schneider, msmith, m_schnei (muted), Sandro, Evan_Wallace, MartinD (muted), Ivan (muted), baojie (muted), 17:04:14 ... diegoc (muted), Ratnesh, jeremy_, ??P38, ??P41, [IBM] 17:04:19 Zakim, IBM is Achille 17:04:19 +Achille; got it 17:04:19 Zakim, jeremy_ is JeremyCarroll 17:04:21 +JeremyCarroll; got it 17:04:34 zakim, who is here? 17:04:34 On the phone I see bijan (muted), IanH, uli (muted), Rinke, Peter_Patel-Schneider, msmith, m_schnei (muted), Sandro, Evan_Wallace, MartinD (muted), Ivan (muted), baojie (muted), 17:04:38 ... diegoc (muted), Ratnesh, JeremyCarroll, ??P38, MarkusK, Achille 17:04:39 On IRC I see ChristineG, Achille, JeremyCarroll, MarkusK, msmith, baojie, diego, MartinD, Ratnesh, uli, bijan, sandro, Ivan, RRSAgent, Zakim, Carsten, m_schnei, pfps, Rinke, IanH, 17:04:42 ... trackbot-ng, ewallace 17:04:50 q? 17:05:04 ack 17:05:24 ...there is also ??P37 17:05:28 zakim, ??P38 is ChristineG 17:05:28 +ChristineG; got it 17:05:40 + +49.351.463.3.aabb 17:05:45 +Alan 17:05:48 zakim, aabb is me 17:05:48 +Carsten; got it 17:05:51 q? 17:05:59 zakim, who is here? 17:06:05 q- ??P37 17:06:07 q- 17:06:07 alanr has joined #owl 17:06:15 On the phone I see bijan (muted), IanH, uli (muted), Rinke, Peter_Patel-Schneider, msmith, m_schnei (muted), Sandro, Evan_Wallace, MartinD (muted), Ivan (muted), baojie (muted), 17:06:20 ... diegoc (muted), Ratnesh, JeremyCarroll, ChristineG, MarkusK, Achille, Carsten, Alan 17:06:28 On IRC I see alanr, ChristineG, Achille, JeremyCarroll, MarkusK, msmith, baojie, diego, MartinD, Ratnesh, uli, bijan, sandro, Ivan, RRSAgent, Zakim, Carsten, m_schnei, pfps, Rinke, 17:06:33 ... IanH, trackbot-ng, ewallace 17:06:54 Topic: Roll call - done 17:07:05 Topic: Agenda amendments 17:07:30 http://www.w3.org/TR/rif-rdf-owl/ 17:07:39 zakim, mute me 17:07:39 Carsten should now be muted 17:07:40 IanH: public working draft from RIF on OWL compatibility is out 17:08:04 IanH: we should look at section 3 of this and comment 17:08:09 I believe I will need to review this for HP, so will also volunteer to do a WG review 17:08:14 Ian: any volunteers? 17:08:20 can we comment on a document that we helped author? 17:08:24 yes 17:08:27 ACTION: JeremyCarroll to review http://www.w3.org/TR/rif-rdf-owl/ 17:08:27 Sorry, couldn't find user - JeremyCarroll 17:08:33 ACTION: Jeremy to review http://www.w3.org/TR/rif-rdf-owl/ 17:08:33 Created ACTION-136 - to review http://www.w3.org/TR/rif-rdf-owl/ [on Jeremy Carroll - due 2008-04-23]. 17:08:38 I am the liason 17:08:45 But not in the task force 17:09:03 (formally I am in RIF, but I am an absent second) 17:09:30 Uli and peter have discussed the compat doc and Uli is planning to look at it even more. 17:09:32 IanH: Uli and Peter will look at this anyway, so the action on Jeremy might be enough 17:09:55 Topic: F2F3 17:10:16 q+ 17:10:20 Topic: Sandro is looking into Bristol and ?? dates and will be able to do a poll soon 17:10:40 s/??/Boston/ 17:10:58 ack JeremyCaroll 17:11:00 JeremyCarroll: has heard back from Bristol coordinator 17:11:07 q? 17:11:24 ack JeremyCarroll 17:11:28 Sandro: will send out pointers to poll shortly 17:11:48 Topic: Minutes of Monday's UFDTF meeting 17:12:18 Alanr: they have been taken, and I am waiting for Evan to put it on the meeting page 17:12:42 Topic: F2F minutes 17:12:55 F2F2 minutes are minimally acceptable - Bernardo is not correctly listed as scribe, some tidying could be done 17:13:06 IanH: any comments? I did some tidying 17:13:18 AlanR: they could use some more cleaning up 17:13:48 I thought they looked rather good, overall. We've accepted minutes that weren't as tidy by far 17:14:04 IanH: suggest that we approve, but ask scribes to take 10min to fix up 17:14:15 PROPOSED: accept F2F minutes 17:14:15 PROPOSED: Accept F2F2 Minutes 17:14:20 +1 17:14:24 +1 17:14:26 +1 17:14:26 +1 17:14:27 second 17:14:28 +1 to accept F2F2 minutes 17:14:29 +1 17:14:32 +1 17:14:32 +1 17:14:33 +1 17:14:33 +1 17:14:34 +1 17:14:35 0 17:14:41 RESOLVED: PROPOSED: Accept F2F2 Minutes 17:14:42 q+ to speak on last weeks minutes 17:14:57 ack JeremeyCarroll 17:15:01 RESOLVED: Accept F2F2 Minutes 17:15:03 ack JeremyCarroll 17:15:03 JeremyCarroll, you wanted to speak on last weeks minutes 17:15:32 JeremyCarroll: last week's minutes have only been cleaned up recently, so perhaps we shouldn't vote on them today 17:15:36 4/16 minutes were minimally acceptable even before Jeremy's tidying 17:15:44 IanH: I have tidyed them up already 17:16:04 PROPOSED: accept April 9 minutes 17:16:12 +1 17:16:12 +1 17:16:13 +1 17:16:15 +1 17:16:16 +1 17:16:17 +1 to 4/9 minutes 17:16:22 +1 17:16:22 =1 17:16:24 +1 17:16:28 RESOLVED: accept April 9 minutes 17:16:48 Topic: Action item status 17:17:03 Topic: Action 76 17:17:15 Topic: Action 86 17:17:40 q+ for action 100 17:17:42 JeremyCarroll: I haven't completed it yet, but 86 and 90 are now redundant 17:17:54 Topic: Action 100 17:17:56 q+ to ask about action 100 17:18:26 q? 17:18:27 AlanR: doesn't know what the status is since Jim has left the group 17:18:30 ack pfps 17:18:30 pfps, you wanted to ask about action 100 17:18:33 q? 17:18:51 pfps: Jim has left and has never done anything regarding n3 rules 17:19:09 q+ 17:19:18 102 was done 17:19:19 IanH: I suggest to kill this one and see whether anybody will ever raise a similar one 17:19:24 +1 17:19:24 zakim, unmute me 17:19:24 m_schnei should no longer be muted 17:19:25 q? 17:19:27 Topic: Action 102 17:19:44 n3 is at http://www.w3.org/mid/6481386B-0C20-457C-871A-8BF9BB86B5F9@cs.rpi.edu 17:19:48 m_schnei: should be closed if Peter is happy 17:20:01 as attachment 17:20:03 102 http://lists.w3.org/Archives/Public/public-owl-wg/2008Mar/0206.html 17:20:18 zakim, mute me 17:20:18 m_schnei should now be muted 17:20:45 pfps: the issue has been appropriately put to death 17:20:55 Topic: Action 115 17:21:00 q+ on 115 17:21:06 IanH: Boris says he has done it 17:21:11 q- 17:21:20 pfps: 115 is done, but not documented correctly 17:21:45 pfps: later/second changes of Boris needs to be documented 17:21:47 I don't think more documentation is needed ... 17:21:49 q+ 17:22:09 q? 17:22:09 IanH: can you do this, Boris? 17:22:14 ack 115 17:22:17 q? 17:22:26 boris is not here, is he? 17:22:33 I didn't understand jeremy 17:22:39 q+ 17:22:43 q? 17:22:47 q- 17:22:50 alanr: the mail you refer to does not contain the full OWL-R n3, only a part of it 17:22:51 I.e., garbled voice 17:22:54 q- on, 17:22:55 q- on 17:22:55 ??? help the scribe, Jeremy 17:22:57 ack JeremyCarroll 17:23:00 q- JeremyCarroll 17:23:24 I said: I don't think that detailed changes to the mapping rules need to be documented at the level of detail that peter is asking for 17:23:31 One provides a diff? 17:23:35 +1 to postpone 17:23:50 I said: that at and after last call such detailed tracking is needed 17:23:50 Topic: Action 116 17:23:55 116 is OK 17:23:57 Peter disagreed 17:24:07 IanH: this was uncontroversial?! 17:24:11 Topic: Action 117 17:24:17 yes 17:24:20 IanH: done by Jeremy 17:24:25 Topic: Action 125 17:24:31 Done 17:24:40 Topic: Action 126 17:24:44 Also done 17:24:54 Topic: Action 130 17:24:56 I just attached text and links to the action items 17:25:22 IanH: is done as well 17:25:39 Topic: Due and overdue Actions 17:25:46 Topic: action 43 17:26:10 Tomorrow 17:26:16 Sandro: will do this in a couple of weeks 17:26:28 I would write test cases 17:26:44 IanH: isn't top priority, but would like to see them in the not too far future 17:26:46 zakim, unmute me 17:26:46 bijan should no longer be muted 17:26:59 q? 17:27:00 various stuff could easily give rise to test cases - one reason they are not being generated is that there is no mechanism 17:27:09 bijan: it would help some of my actions if we had test cases 17:27:23 zakim, mute me 17:27:23 bijan should now be muted 17:27:29 Even and incomplete version woudl be fine 17:27:34 s/and/an/ 17:27:46 Yes 17:27:48 IanH: asks Sandro to help us see test cases 17:27:58 (Yeah, I didn't quite say "will do this in a couple of weeks" -- I said there seemed to be more urgent things, and asked what time pressure there was.) 17:28:01 Topic: action 112 17:28:13 AlanR: will re-schedule 17:28:17 Topic: action 119 17:28:29 IanH: believes that this occurred 17:28:33 s/AlanR/Evan/ 17:28:36 Topic: action 120 17:28:53 See text in the primer on this (120) 17:29:04 Topic: action 124 17:29:09 Sandro: is done 17:29:13 Topic: action 127 17:29:16 She did it 17:29:24 Done 17:29:30 Topic: action 133 17:29:43 Alan: http://www.w3.org/2007/OWL/wiki/Primer#OWL_1_Species "OWL Lite is a subset of OWL DL 2 and OWL Full 2 but is no longer a recommended profile." 17:29:49 IanH: believes this is work in progress and working on it 17:29:59 Topic: action 134 17:30:07 IanH: will be done soon 17:30:21 what about F2F3? 17:30:25 Topic: Raised Issues 17:30:56 q+ to talk about 110 17:30:58 IanH: for each, we will have a short initial discussion to see whether we will open them 17:31:06 q? 17:31:09 Topic: Issue 110 17:31:22 q? 17:31:24 pfps: it's not an issue, just a comment 17:31:26 ack pfps 17:31:26 pfps, you wanted to talk about 110 17:31:30 q+ 17:31:48 alar: perhaps the issue is that somebody else trying to use CURIEs has some problems 17:31:59 pfps: this should be made clear 17:32:02 IanH: 17:32:16 q- 17:32:17 ... agrees: we have many issues 17:32:32 Topic: Issue 111 17:32:38 zakim, unmute me 17:32:38 bijan should no longer be muted 17:33:18 q? 17:33:40 bijan: it would be nice if we could signal, for an rdf graph, under what semantics this document is intended to be used 17:33:46 +1 to have some ontology property 17:33:49 would they be allowed or forced to specify that? 17:33:58 q? 17:33:59 q+ 17:34:00 Carten, I imagine just allowing htem 17:34:14 allowing is fine, IMHO 17:34:18 Sandro: agrees that we should have something like this 17:34:28 ack JeremyCarroll 17:34:41 JeremyCarroll: remembers that this was already discussed in web-ont 17:34:43 And if the flag is incorrect? 17:34:57 It can't be incorrect 17:35:08 Issue 111 17:35:14 action: Jeremy to look up discussion of issue 111 in previous webont 17:35:14 Created ACTION-137 - Look up discussion of issue 111 in previous webont [on Jeremy Carroll - due 2008-04-23]. 17:35:24 Topic: Issue 112 17:35:31 Except in how anything can be incorrect (i.e., I get my intent wrong) 17:35:32 q+ 17:35:45 q? 17:35:59 ack MarkusK 17:36:02 q+ 17:36:09 it's uncontroversial from a semantic point of view, but we should find a good name for this universal property 17:36:16 q? 17:36:24 MarkusK: it's uncontroversial from a semantic point of view, but we should find a good name for this universal property 17:36:27 ack IanH 17:36:41 q+ 17:36:42 q+ 17:36:43 q+ 17:36:51 IanH: top-role is not really syntactic sugar as top-thing 17:37:04 zakim, unmute me 17:37:04 Carsten should no longer be muted 17:37:05 uli: didn't you say something about this being pseudo top role? 17:37:06 MarkusK: for SROIQ, it sort of is 17:37:15 q? 17:37:40 ack Carsten 17:37:46 Carsten: agrees that it can easily be reduced out, but it is not really syntactic sugar 17:37:51 ack JeremyCarroll 17:37:53 I have once managed to make it within OWL 1.1 itself :) 17:37:59 zakim, unmute me 17:37:59 bijan was not muted, bijan 17:38:00 q+ 17:38:04 call it "yente" 17:38:17 ack bijan 17:38:22 JeremyCarroll: warns cautiously against new vocabulary if it isn't really used 17:38:35 q+ 17:38:42 skos:relatedTransitive ;-) 17:38:45 q- 17:38:56 bijan: finds top and bottom role really useful from a tool developers' perspective 17:38:58 q+ 17:39:03 zakim, mute me 17:39:03 bijan should now be muted 17:39:05 q- alanr 17:39:12 q- 17:39:15 bijan: and it would be useful for interaction with users 17:39:25 ack MarkusK 17:39:40 curious about whether inclusion of top/bottom role means that roles will mean that reasoners will need to infer whether roles are equivalentproperty to them? 17:39:43 MarkusK: universal role might really add expressivity to the profiles 17:39:52 q+ to 113 17:40:01 q? 17:40:08 Topic: Issue 113 17:40:12 this was from f2f, no? 17:40:20 yes 17:40:23 F2F2: RESOLVED: DL does not have certain OWL Full entailments. OWL-R 17:40:25 does not have certain OWL Full entailments. Vendors can 17:40:26 implement other/related languages if they want. 17:40:41 q+ 17:40:46 Didn't we make a choice? 17:40:49 JeremyCarroll: is an OWL-R reasoner allowed to infer OWL-Full entailments that are not OWL-R entailments? 17:40:55 was a raised so that it could be pointed to in the documentation 17:41:02 pfps: this was resolved at the F2F 17:41:02 q? 17:41:05 zakim, unmute me 17:41:05 m_schnei should no longer be muted 17:41:05 so accept/resolve 17:41:07 ack pfps 17:41:07 pfps, you wanted to 113 17:41:10 q? 17:41:13 q- 17:41:17 ack m_schnei 17:41:20 Shouldn't it be an action then, instead of an issue? 17:41:38 m_schnei: if you allow a reasoner to make additional entailments, then you have non-sound reasoning 17:41:40 q+ 17:41:46 what would the action be to do? 17:41:47 if it wasn't an issue, presumably it wouldn't have made it in as editor note? Makes sense though 17:41:53 ...because they can produce conflicts 17:42:01 action: document it 17:42:01 Sorry, couldn't find user - document 17:42:14 zakim, mute me 17:42:14 m_schnei should now be muted 17:42:17 seems related to the "signalling semantics" issue raised by bijan 17:42:26 the resolution was after the issue was raised 17:42:40 JeremyCarroll: suggest to refer to next week to see what happened at the F2F regarding 113 17:42:41 zakim, unmute me 17:42:41 m_schnei should no longer be muted 17:42:47 s/refer/defer/ 17:42:49 Topic: Issue 114 17:43:07 q+ 17:43:13 q- 17:43:13 q? 17:43:21 good question 17:43:22 q+ 17:43:25 zakim, mute me 17:43:25 m_schnei should now be muted 17:43:26 zakim, unmute me 17:43:26 JeremyCarroll: which of the different punnings do we want/not want 17:43:27 bijan should no longer be muted 17:43:32 q? 17:43:49 s/JeremyCarroll/MichaelSchneider/ 17:43:50 s/JeremyCarroll/m_schnei 17:43:55 q? 17:43:55 +1 to bijan 17:43:57 q- 17:44:05 Seems sensible to me. 17:44:12 bijan: doesn't understand the issue there - it's not precise as it is 17:44:18 +1 to bijan that we should discuss concrete punning cases directly 17:44:19 q? 17:44:24 IanH: agrees 17:44:33 q+ 17:44:45 zakim, mute me 17:44:45 bijan should now be muted 17:44:45 ack bijan 17:44:51 ack alanr 17:44:55 bijan: we have ruled out 1 form of punning because we had good reasons to do so -- all others are still there 17:45:08 q+ 17:45:15 There is a general argumetn for punning 17:45:28 alanr: it seems sensible to me to look through remaining punning and see whether they are useful 17:45:30 ack JeremyCarroll 17:45:53 q? 17:45:54 JeremyCarroll: MichaelSchneider and me could look into this in the FullTF 17:46:11 there is *no* problem with OWL Full wrt Punning! 17:46:13 Topic: Issue 115 17:46:30 but there might be divergence ... 17:46:35 favicon 17:46:43 q? 17:46:44 Rinke has a nice OWL2 picture! 17:46:45 not an issue for publications 17:46:52 q? 17:47:43 alanr: 2 different questions: whether we want an icon always and in all browser 17:47:53 Sandro: not high priority, but fixable 17:48:01 zakim, unmute me 17:48:01 Ivan should no longer be muted 17:48:07 Topic: Issue 116 17:48:11 +1 to fixing link checker problem 17:48:11 q+ 17:48:21 -MartinD 17:48:23 q? 17:48:31 MartinD has left #OWL 17:48:34 q+ 17:48:47 ack pfps 17:48:50 Ivan: OWL-R-Full is currently not having some axiomatic triples: we need to see whether we want them or not 17:49:04 pfps: this has been decided through the semantics 17:49:26 q+ 17:49:35 pfps: your first triple follows from the Full semantics, so it should be there 17:49:45 zakim, unmute me 17:49:45 m_schnei should no longer be muted 17:49:56 ack m_schnei 17:49:59 IanH: so this means that there is a bug in the OWL-R-Full rule set 17:50:43 m_schnei: for the mentioned one, it should be there - but the question is whether there should be more.. 17:51:29 zakim, mute me 17:51:29 m_schnei should now be muted 17:51:30 m_schnei: all rules from the RDFS spec should also go into the OWL-R-FUll rules, for the other ones, this has to be decided 17:51:34 ack JeremyCarroll 17:51:38 q? 17:51:47 q? 17:51:49 The axiomatic triples don't seem to be part of the RDFS entailment rules 17:51:59 See: http://www.w3.org/TR/rdf-mt/#rules 17:52:17 JeremyCarroll: I accept that we need to take Ivan's question and work on the rules/document 17:52:34 Topic: Proposals to Resolve Issues 17:52:41 Topic: Issue 76 17:52:43 (so we're no worse off than the RDF semantics rec) 17:52:53 si 17:52:57 +1 17:52:58 mute DLP 17:52:59 IanH: this is mute 17:53:04 +1 17:53:06 +1 17:53:06 +1 17:53:07 bijan: there are a bunch of triples at the beginning of section 4.1 of that document 17:53:07 moot 17:53:08 same for 77, 80 17:53:22 Can we resolve all three with one proposal? 17:53:32 PROPOSAL: resolve issue 76, 77, 80 17:53:36 76, 77, 80 17:53:44 80 is a bit different, since DL-Lite is still there 17:53:56 agree 17:54:13 PROPOSAL: resolve issue 76, 77 17:54:25 PROPOSAL: resolve issue 76, 77 as per http://lists.w3.org/Archives/Public/public-owl-wg/2008Apr/0165.html 17:54:34 +1 17:54:36 +1 to mute 76, 77 17:54:37 +1 17:54:37 +1 17:54:38 +1 17:54:40 +1 17:54:41 +1 17:54:41 +1 17:54:42 +1 17:54:43 +1 17:54:44 +1 17:54:49 +1 17:54:52 IanH: because issue 76 and 77 relate to no-longer existent fragments 17:54:54 +1 17:55:03 bijan, the RDFS axiomatic triples *are* belonging to the semantic conditions, and *also* to the entailment rules 17:55:09 RESOLVED: resolve issue 76, 77 as per http://lists.w3.org/Archives/Public/public-owl-wg/2008Apr/0165.html 17:55:23 Topic: Issue 80 17:55:40 zakim, mute me 17:55:40 Ivan should now be muted 17:55:46 IanH: we had to decide which flavour of DL-lite to have as a profile 17:55:49 This is ongoing work, but I don't think we need an issue for this 17:55:50 q+ 17:56:01 q? 17:56:03 zakim, unmute me 17:56:03 bijan was not muted, bijan 17:56:14 alanr: likes to keep issue since it is an ongoing work 17:56:32 +! to bijan, carsten. this issue is too broad to know when to close it. 17:56:38 +1 to bijan 17:56:41 zakim, mute me 17:56:41 bijan should now be muted 17:56:43 bijan: would prefer to resolve it because this is the same as with all other works/documents in progress 17:56:43 +1 to bijan 17:56:57 from chapter 7, RDFS spec: RDF entailment lemma. S rdf-entails E if and only if there is a graph which can be derived from S *plus the RDF axiomatic triples* by the application of rule lg and the RDF entailment rules and which simply entails E. 17:57:13 PROPOSED: close issue-80 as moot 17:57:16 +1 to mute 80 17:57:23 +1 17:57:23 +1 17:57:24 +1 17:57:26 +1 17:57:26 0 17:57:28 +1 17:57:30 +1 17:57:35 +1 17:57:36 +1 17:57:39 +1 17:57:45 +1 17:57:47 +1 17:57:49 RESOLVED: close issue-80 as moot 17:58:01 Topic: Issue 67 17:58:12 zakim, mute me 17:58:12 Carsten should now be muted 17:58:20 IanH: reification in axiom annotation 17:58:21 Thanks michael...I my search didn't find it 17:58:42 proposal is from Alan 17:58:42 I have an action on this topic 17:59:02 q+ to speak against closing this issue, but OK with next 17:59:05 http://www.w3.org/2007/OWL/tracker/actions/129 17:59:17 Q? 17:59:27 q+ 17:59:30 zakim, unmute me 17:59:30 bijan should no longer be muted 17:59:57 zakim, mute me 17:59:57 bijan should now be muted 18:00:02 bijan: I have an action related to this, so we cannot resolve it before I have done this action 18:00:37 JeremyCarroll: at the F2F, alanr said that annotation and reification both are semantically difficult 18:00:47 q? 18:01:08 we were going to wait for Bijan 18:01:11 q? 18:01:19 ack bijan 18:01:27 ack JeremyCarroll 18:01:27 JeremyCarroll, you wanted to speak against closing this issue, but OK with next 18:01:28 ack JeremyCaroll 18:01:29 zakim, mute me 18:01:31 bijan should now be muted 18:01:31 q? 18:01:33 JeremyCarroll: is anxious regarding this issue, especially with negative property assertions 18:01:39 ack pfps 18:01:56 I'm supposed to compare it to other proposals 18:02:09 Isn't it silly to discuss this when I have an action to come up with stuff? 18:02:16 pfps: there is a proposal on the table 18:02:17 on neg prop assertions at f2f some people spoke against alan's proposal, and I found arguments compelling 18:02:28 +1 to wait for bijan 18:02:30 This is why I have *my action*( 18:02:32 I didn't feel my coutnerarguments were as strong 18:02:40 +1 to wait for bijan 18:02:49 +1 to wait for bijan 18:02:58 ha ha ha 18:02:58 IanH: let's move on to an issue we can resolve 18:03:04 This is part of my action :) 18:03:06 Topic: Issue 81 18:03:06 re: neg prop, best argument against was introduction of nominals which raised the expressivity ante unnecessarily 18:03:15 ACTION-129 18:03:15 open 18:03:15 Come up with proposals for ISSUE-67 and ISSUE-81. 18:03:27 Ian: we had a proposal at the F2F 18:03:31 q? 18:03:39 alanr: we need to wait for Bijan for this as well 18:03:46 Topic: Issue 9 18:03:49 The point was that we didn't have agreement on *any* proposal,s o I have action to enumerate and compare them 18:04:11 IanH: this should be easy/resolvable 18:04:41 IanH: the statement/worry this issue refers to is no longer in the document 18:04:48 I am happy 18:04:52 RESOLVED: Issue 9 18:04:58 moot 18:05:02 Topic: Issue 60 18:05:11 also not culturally universal :) 18:05:20 +1 18:05:21 +1 18:05:22 happy families certainly aren't culturally universal :( 18:05:22 We replaced wine with a sterotypical, imperialistic, western 50's style family 18:05:24 +1 18:05:24 IanH: this is no longer an issue since no more wine in primer 18:05:25 +1 18:05:29 +1 very eager 18:05:40 Every happy family is the same. Every unhappy family is unhappy in its own way. 18:05:42 PROPOSAL: close issues 9 and 60 as moot 18:05:42 +1 18:05:43 +1 to moot 9 and 60 18:05:46 +1 18:05:48 +1 18:05:49 +1 18:05:53 +1 18:05:55 +1 18:05:56 +1 18:06:02 +1 18:06:02 so at least unhappy families are interesting 18:06:12 So says tolstoy 18:06:15 RESOLVED: : close issues 9 and 60 as moot 18:06:37 Topic: Other Issue Discussions 18:06:49 if we have time, we should consider talking about f2f3 18:06:59 IanH: these issues have been with us for a while 18:07:05 How about without the static! 18:07:12 not understandable 18:07:37 Much better! 18:08:44 JeremyCarroll: the language tag issue arose from some prior work. When dealing with natural language literals in OWL, we cannot talk about these things 18:08:55 Q? 18:09:07 have to leave, sorry; bye 18:09:10 -Carsten 18:09:30 JeremyCarroll: I would like to add some primitives: language tags and language range 18:09:30 q+ 18:09:44 fwiw, I have recently wanted this in some ontology development 18:09:51 q+ to say why 18:09:54 If we had XML schema lists, couldn't we handle this? 18:10:01 zakim, unmute me 18:10:01 m_schnei should no longer be muted 18:10:03 JeremyCarroll: it would be similar as the literal handling for XSD derived types 18:10:03 Add a bit of syntactic sugar for langed literals 18:10:11 q? 18:10:16 ack m_schnei 18:10:17 q+ 18:10:21 q+ 18:10:32 m_schnei: dislikes this because it is domain-specific knowledge 18:10:39 zakim, mute me 18:10:39 m_schnei should now be muted 18:10:43 q+ to respond 18:11:16 alanr: the use case is to distinguish bar-codes from comments 18:11:20 q- 18:11:22 I dislike it in RDF, too 18:11:32 ack alanr 18:11:32 alanr, you wanted to say why 18:11:45 ack JeremyCarroll 18:11:45 JeremyCarroll, you wanted to respond 18:11:50 q? 18:11:57 JeremyCarroll: it's not domain specific knowledge - it is to relate a language-specific tag to its language 18:12:25 zakim, unmute me 18:12:25 bijan should no longer be muted 18:12:33 q? 18:12:38 bijan: agrees that this is not domain knowledge 18:12:40 ack bijan 18:13:09 bijan: it's a xsd datatype, and this is a sensible proposal to use it 18:13:11 q? 18:13:18 zakim, mute me 18:13:18 bijan should now be muted 18:13:21 ok, then I will wait for a concrete proposal, 18:13:25 q+ 18:13:29 I'd happily work on one with jeremy 18:13:32 IanH: could somebody to come up with a proposal 18:13:43 ack JeremyCarroll 18:13:51 might well be that I misunderstood this issue 18:13:54 JeremyCarroll: I can go back to my previous work and come up with one 18:14:05 jeremy: see my scratch proposal above 18:14:26 ACTION: JeremyCarroll to come up with a proposal to issue 71 18:14:26 Sorry, couldn't find user - JeremyCarroll 18:14:52 Topic: Issue 71 18:14:57 q+ 18:15:02 ISSUE-16 discussion at f2f2 http://www.w3.org/2007/OWL/wiki/F2F2_Minutes#Issue_16_entity_annotations 18:15:06 ACTION: Jeremy to come up with a proposal to issue 71 18:15:06 Created ACTION-138 - Come up with a proposal to issue 71 [on Jeremy Carroll - due 2008-04-23]. 18:15:10 ACTION: jjc to drive this issue forward to resolutio 18:15:10 Sorry, couldn't find user - jjc 18:15:26 sorry, that was me quoting, not assigning new action 18:15:45 q- 18:15:59 didn't peter and boris had proposals for this? 18:16:00 IanH: there was an action generated at the F2F2 on Jeremy, but this was clearly to short a time for this 18:16:13 q+ 18:16:15 Hurray! 18:16:16 easykeys! 18:16:16 IanH: end of agenda 18:16:18 zakim, unmute me 18:16:18 m_schnei should no longer be muted 18:16:24 q? 18:16:27 m_schnei: 18:16:34 q+ 18:16:41 ...we have missed F2F3 meeting on this agenda 18:16:51 zakim, mute me 18:16:51 m_schnei should now be muted 18:17:00 IanH: disagrees - we have agreed that Sandro will put a poll out 18:17:02 zakim, unmute me 18:17:02 m_schnei should no longer be muted 18:17:20 zakim, mute me 18:17:20 m_schnei should now be muted 18:17:45 IanH: would people be willing to discuss easykeys? 18:17:55 q+ to ask about Monday meeting for imports task force 18:17:56 Boris actually 18:18:03 alanr: Peter and Bernardo wanted the more careful semantics 18:18:08 q- 18:18:16 zakim, mute me 18:18:16 m_schnei was already muted, m_schnei 18:18:22 q- 18:18:45 ack pfps 18:18:45 pfps, you wanted to ask about Monday meeting for imports task force 18:18:51 pfps: will we have an imports TF on monday? 18:18:59 That's fine 18:19:10 The proposal is more fleshed out...please reveiw 18:19:35 alanr: we discussed having an imports TF on monday 18:19:39 q? 18:19:56 alanr: has spent some time looking at XML catalogue 18:20:13 alanr: we could meet and discuss Peter's proposal 18:20:19 q+ 18:20:35 alanr: would think that it would be more productive to not have a meeting next week 18:20:40 q? 18:20:49 q- 18:21:13 q? 18:21:19 alanr: we can put it Peter's proposal and discuss it in the WG 18:21:32 ??? 18:21:46 q? 18:21:47 s/it/in 18:22:12 pfps: I cannot put in my proposal because Boris has a lock currently 18:22:13 q? 18:22:37 alanr: why don't we meet for 10min and see where we are at 18:22:44 q? 18:22:50 IanH: suggests to have Boris there as well 18:22:55 +1 to adjourn 18:22:59 IanH: anything else? 18:23:00 +1 18:23:13 claps for Ian! 18:23:15 thanks 18:23:17 bye 18:23:19 -JeremyCarroll 18:23:20 -bijan 18:23:20 -Evan_Wallace 18:23:21 -msmith 18:23:21 -Achille 18:23:21 bye 18:23:22 bye 18:23:22 -Sandro 18:23:23 bye 18:23:23 -Peter_Patel-Schneider 18:23:23 regrets for next week, I am in Beijing... 18:23:24 -ChristineG 18:23:25 bye 18:23:26 -Ratnesh 18:23:26 IanH: wew have resolved many issues and deserve and early evening 18:23:28 -Alan 18:23:28 MarkusK has left #owl 18:23:30 -diegoc 18:23:31 last week was quicker 18:23:32 -IanH 18:23:34 -Rinke 18:23:36 -MarkusK 18:23:40 -Ivan 18:23:41 -baojie 18:23:43 -m_schnei 18:23:44 SW_OWL()12:00PM has ended 18:23:46 Attendees were bijan, IanH, uli, +31.20.525.aaaa, Peter_Patel-Schneider, msmith, Rinke, Sandro, Evan_Wallace, MartinD, Ivan, baojie, m_schnei, diegoc, Ratnesh, MarkusK, Achille, 18:23:46 but we didn't resolve any issues last week! 18:23:49 ... JeremyCarroll, ChristineG, +49.351.463.3.aabb, Alan, Carsten 18:24:46 JeremyCarroll has left #owl 18:24:54 I hope so -- Sandro? 18:25:05 Anyone technically competent? 18:25:26 Let me see if I can figure it out. 18:25:29 ...Sandro is still here 18:25:52 msmith has left #owl 18:25:53 Sandro is omnipresent, but perhaps only in spirit 18:26:47 RRSAgent, make record public 18:27:02 wow - I am impressed, Ian! 18:27:23 I guess this is it? 18:27:26 but now I am in a twisty maze of passages all the same :-( 18:27:40 I hope that is it -- not completely sure. 18:28:05 Anyway, you get on your way and I will take care of it 18:28:08 Thanks! 18:29:19 see you! 18:31:52 RRSAgent, generate minutes 18:31:52 I have made the request to generate http://www.w3.org/2008/04/16-owl-minutes.html IanH 18:33:02 calvanese has joined #owl 18:33:27 RRSAgent, make record public 18:35:17 calvanese has left #owl