16:57:52 RRSAgent has joined #owl 16:57:52 logging to http://www.w3.org/2008/09/24-owl-irc 16:57:58 zakim, this will be owl 16:57:58 ok, Rinke, I see SW_OWL()1:00PM already started 16:58:15 zakim, this is owl 16:58:15 Rinke, this was already SW_OWL()1:00PM 16:58:16 ok, Rinke; that matches SW_OWL()1:00PM 16:58:26 + +49.351.463.3.aaaa 16:58:30 rrsagent, make records public 16:58:40 zakim, +aaaa is me 16:58:40 sorry, clu, I do not recognize a party named '+aaaa' 16:58:47 zakim, aaaa is me 16:58:47 +clu; got it 16:59:18 Rinke, do you know how to make me scribe? (your chatting with zakim looked so professional that I though you might :) 16:59:21 + +31.20.525.aabb 16:59:25 zakim, aabb is me 16:59:25 +Rinke; got it 16:59:30 thanks 16:59:34 scribenick: clu 16:59:35 alanr has joined #owl 16:59:49 zakim, mute me 16:59:49 Rinke should now be muted 17:00:35 alanr has changed the topic to: http://www.w3.org/2007/OWL/wiki/Teleconference.2008.09.24/Agenda 17:00:53 bmotik has joined #owl 17:00:58 zakim, unmute me 17:00:58 Rinke should no longer be muted 17:01:06 +Alan_Ruttenberg 17:01:16 +??P11 17:01:20 ZAkim, ??P11 is me 17:01:20 +bmotik; got it 17:01:24 Zakim, mute me 17:01:25 bmotik should now be muted 17:01:35 ScribeNick: Carsten 17:01:36 scribenick: Carsten 17:01:38 si 17:01:51 msmith has joined #owl 17:01:52 zakim, unmute me 17:01:52 sorry, Carsten, I do not know which phone connection belongs to you 17:02:27 +??P12 17:02:41 zakim, mute me 17:02:41 sorry, Carsten, I do not know which phone connection belongs to you 17:02:45 zakim, bugger off 17:02:45 + +1.202.408.aacc 17:02:46 I don't understand 'bugger off', Carsten 17:02:52 zakim, ??P12 is me 17:02:52 +pha; got it 17:03:00 zakim, clu is carsten 17:03:00 +carsten; got it 17:03:04 zakim, mute me 17:03:04 carsten should now be muted 17:03:04 zakim, mute me 17:03:05 pha should now be muted 17:03:16 + +1.518.276.aadd 17:03:22 - +1.518.276.aadd 17:03:54 +[IBM] 17:03:59 JeffP has joined #owl 17:04:12 + +1.518.276.aaee 17:04:24 Zakim, aaee is baojie 17:04:24 +baojie; got it 17:04:43 Achille has joined #owl 17:05:01 zakim, who is here? 17:05:01 On the phone I see Peter_Patel-Schneider, carsten (muted), Rinke, Alan_Ruttenberg, bmotik (muted), pha (muted), msmith, [IBM], baojie 17:05:03 On IRC I see Achille, JeffP, msmith, bmotik, alanr, RRSAgent, Zakim, baojie, pfps, Rinke, pha, Carsten, sandro, trackbot 17:05:20 q+ 17:05:23 + +0122427aaff 17:05:26 ack pfps 17:05:29 zakim, aaff is me 17:05:29 +JeffP; got it 17:05:33 alan: agenda amendments? 17:05:50 Zakim, IBM is me 17:05:50 +Achille; got it 17:05:54 pfps: discuss Manchester syntax next steps along with other next steps 17:07:01 q? 17:07:36 the minutes look like they have not been edited at all 17:07:40 +Sandro 17:08:39 they are draft minutes 17:09:09 ? 17:09:51 can someone scribe assist? The complaint was about *what*? 17:11:00 ok 17:11:15 Alan: Minutes not accepted, have to be completed and will be reviewed again next week 17:11:21 Action Item Status 17:11:21 Sorry, couldn't find user - Item 17:12:17 action smith to edit previous minutes to reflect michael sch's complaint 17:12:18 Created ACTION-214 - Edit previous minutes to reflect michael sch's complaint [on Michael Smith - due 2008-10-01]. 17:12:28 Alan: Actions 211, 205, 213, 212, 210, 209 completed 17:13:13 Action 188 completed 17:13:13 Sorry, couldn't find user - 188 17:14:12 Reviewing: all requested reviews were received 17:14:30 sandro has joined #owl 17:14:42 Elisa has joined #owl 17:15:15 +??P16 17:15:15 Alan: still not very many participants for next F2F, please try to participate 17:15:18 cgolbrei has joined #owl 17:15:38 Proposal to publish working drafts 17:16:06 +Elisa_Kendall 17:16:30 http://www.w3.org/mid/938DA7C9-4926-4D21-B7D2-F5A26D7EDDCE@cs.rpi.edu 17:17:35 q+ to ask why 17:17:38 as far as I could tell almost all of Jim's comments are minor, and many are editorial 17:17:47 alan: are the comments of the reviewers of profile document of a kind that allows us to publish soon, say within a week? 17:17:47 ack rinke 17:17:47 Rinke, you wanted to ask why 17:18:14 alan, please answer Rinke's question 17:18:16 q+ 17:18:29 q? 17:18:32 ack bmotik 17:18:36 Zakim, unmute me 17:18:36 bmotik was not muted, bmotik 17:18:40 alan: should be up to the editors 17:19:03 s/alan/rinke 17:19:14 boris: will go through them this weekend and address them; there seems nothing special about them. 17:20:04 +q 17:20:07 as an editor of the profiles document, I agree with Boris and Rinke. 17:20:17 q+ to ask about process/timing here 17:20:25 Boris: when will the actual documents be generated for publication 17:20:36 Jie is in the queue too 17:20:42 ack Jie 17:20:48 ack baojie 17:20:51 q- 17:20:52 ack sandro 17:21:04 Jie: Jim's review is mostly editorial, can be easily addressed 17:21:26 Zakim, mute me 17:21:26 bmotik should now be muted 17:21:29 -??P16 17:21:33 Ian's is definitely mainly editoral, just read it 17:22:09 Jeff: regarding my review, it may also be helpful if Boris goes through it and responds 17:22:27 +??P0 17:22:35 +christine 17:22:46 q+ 17:23:08 Zakim, unmute me 17:23:08 bmotik should no longer be muted 17:23:09 ack bmotik 17:23:12 Jeff: how to draw the line between comments that have to be addressed before publication and those that don't 17:23:32 zakim, ??P0 is christine 17:23:32 +christine; got it 17:24:01 boris: no showstopper in any of the reviews. I'll respond. 17:24:03 zakim, christine is cgolbrei 17:24:03 +cgolbrei; got it 17:24:12 q+ 17:24:17 Zakim, mute me 17:24:17 bmotik should now be muted 17:24:19 ack JeffP 17:25:54 Yes 17:26:12 Alan: since Jeff seems uncomfortable, please process his review first 17:26:19 q? 17:26:40 Alan: Reviews of tests and conformance 17:27:42 mike: my review doesn't need to be processed before publication 17:27:55 q+ 17:28:13 s/my review/the reviews/ 17:29:33 ack pfps 17:29:53 I don't see any show-stoppers in Michael's review (but he should be able to speak for himself) 17:30:32 sandro: awkward to manage to publish in a few week rather than next week with the other documents 17:31:28 alan: will contact Ian and Michael and produce a version until Sunday that people can look at on Monday 17:31:39 I'm fine with publishing 17:32:46 discussion of "unknown" 17:33:09 alan: distinguish minimally conforming vs conforming 17:33:15 versus "complete" 17:33:22 pfps: first is trivial, second close to impossible 17:33:50 pfps: minimally conforming can return unknown, but should not; conforming must not return unknown 17:34:12 alan: how can anything be conforming with OWL Full? 17:35:05 ??? 17:35:33 Peter: it's perfectly okay for an OWL Full reasoner to return Unknown -- there are various times it's fine, like it's been 5 days, or it's hit a known incompleteness, etc. 17:36:02 q? 17:36:04 zakim, unmute me 17:36:04 carsten should no longer be muted 17:36:38 sandro: how do distinguish in the marketplace a trivial from a "hard working" reasoner trying to avoid unknown? 17:36:57 pfps: you could have an OWL Full reasoner complete for OWL DL 17:36:59 q+ 17:37:20 = bade 17:37:21 ??? 17:37:24 = v. bad 17:37:58 pfps: difficult to distinguish different degrees of completeness 17:38:35 Sandro: It's sounds like there's no way -- in the OWL-Full-By-Itself market -- to use Conformance to segment the market, to have different classes of power of Reasoners 17:39:08 pfps: message of recursion theory that the boundary is messy 17:39:12 some rationales for should not are in the email I sent out, for OWL Full there can be others, including known incompleteness (actually it would be possible for an OWL 2 DL tool to return unknown and say that it just doesn't implement everything) 17:40:30 pfps: too many possibilities, often unreasonable assumptions 17:40:56 ack Carsten 17:41:31 Sandro: What I'm hearing, and sounds right to me: OWL Full is left without useful distinctions inside it, because all the useful distinctions have been pulled out as other profiles. 17:41:34 my initial response (minimally conforming) was a reducto ad absurdum 17:42:02 sandro: if as soon as something is complete we pull it out as a profile, owl full will necessarily remain in a not-very-useful condition 17:43:01 sandro: I suggest to take out "should not" and use another phrasing 17:43:07 zakim, mute me 17:43:07 carsten should now be muted 17:43:47 this could be a *addition* instead of a *replacement* 17:43:49 sandro: owl full reasoner may be distinguished by the number of cases for which they return unknown; better reasoners will return unknown very rarely 17:43:59 Replacein "It SHOULD NOT return Unknown." with "We expect OWL Full reasoners to be characterized and distriinguished in the market by which situations they can handle without returning unknown." 17:44:53 Sandro: This isn't a blocker; it's just editorial. 17:45:19 alan: anybody wants to fight for removing "should not"? 17:46:34 PROPOSED: Publish OWL 2 Profiles and Test+Conformance as WDs, with editorial changes, subject to approval by Michael Schneider, Peter, and Alan. 17:47:37 PROPOSED: Publish OWL 2 Profiles with Boris' editorial changes, and Test+Conformance as WDs, with editorial changes subject to approval by Michael Schneider, Peter, and Alan. 17:47:51 +1 to publish Profiles and T&C as suggested 17:47:53 PROPOSED: Publish OWL 2 Profiles as WD with Boris' editorial changes, and Test+Conformance as PFWD, with editorial changes subject to approval by Michael Schneider, Peter, and Alan. 17:48:01 +1 (Oxford) 17:48:03 +1 17:48:04 +1 to publish Profiles and T&C as suggested (ALU) 17:48:05 PROPOSED: Publish OWL 2 Profiles as WD with Boris' editorial changes, and Test+Conformance as FPWD, with editorial changes subject to approval by Michael Schneider, Peter, and Alan. 17:48:10 +1 (IBM) 17:48:11 +1 (C&P) 17:48:12 +1 (W3C) 17:48:15 +1 (Amsterdam) 17:48:16 +1 to all four proposals 17:48:21 +1 (sciencecommons) 17:48:33 -0 (need to check the changes) 17:49:03 +1 Sandpiper 17:49:15 +1 (RPI) 17:49:30 +1 (versailles) 17:49:34 dlm has joined #owl 17:49:36 RESOLVED: Publish OWL 2 Profiles as WD with Boris' editorial changes, and Test+Conformance as FPWD, with editorial changes subject to approval by Michael Schneider, Peter, and Alan. 17:50:53 sandro: need to know more details; when to publish 17:50:55 I'll do stuff over the weekend. 17:50:59 As much as I can do 17:51:11 It's all yours on Monday. 17:51:14 The resolution does not seem to match precisely what Alan said 17:51:37 sandro: last minute scrambling on monday, publish on tuesday 17:51:46 Alan: Editors and Constributors will need to be updated, too. 17:52:43 alan: editor order will be in order of how much was done; contributors alphabetically 17:53:03 as I hope I had indicated earlier, I am uneasy about this assignment of editorship 17:54:11 pfps: alternative is negotiation with the involved people 17:54:37 alan: we will contact people if anything is unclear, there will be a chance to object 17:55:32 http://www.w3.org/2002/09/wbs/41712/semantics_titles/results 17:55:50 q+ to say something about the number of votes 17:56:00 winner on survey is: LATE ADDITION: "Standard First Order Semantics" and "RDF-Based Semantics" 17:56:18 ack Rinke 17:56:18 Rinke, you wanted to say something about the number of votes 17:56:40 rinke: number of votes casts on different proposals differ 17:56:47 some of them are negative votes 17:57:30 NOT clear winner: "Direct Semantics" and "RDF-Based Semantics" -- also has strong showing. 17:58:00 1 = Direct Semantics 17:58:24 2= Standard First Order Semantics 17:58:28 PROPOSED: 1="Direct Semantics" 2 ="Standard First-Order Semantics" . Pick one. 17:58:43 2 (Oxford) 17:58:45 1 (ALU) - I picked "one" :-) 17:58:46 1 (Amsterdam) 17:58:52 1 (Aberdeen) 17:58:52 2 (IBM) 17:58:56 1 (RPI) 17:58:59 1 (Sandpiper) 17:59:13 0 (sciencecommons) 17:59:22 0 (W3C) 17:59:33 (which option is "0"?) 17:59:34 winner - Direct Semantics 17:59:36 q+ 17:59:38 0 == abstain 17:59:40 Zakim unmute me 17:59:45 Zakim, unmute me 17:59:45 bmotik should no longer be muted 17:59:46 ack bmotik 17:59:47 1 (C&P) 17:59:55 RESOLVED: "Direct Semantics" and "RDF-Based Semantics" 18:00:05 Zakim, mute me 18:00:05 bmotik should now be muted 18:00:23 Zakim, unmute me 18:00:23 bmotik should no longer be muted 18:01:33 Status reports: Other documents 18:01:34 Zakim, mute me 18:01:34 bmotik should now be muted 18:02:44 jie: made some reorganizations addressing Uli's concerned; added some new terms; still incomplete 18:02:57 (Quick reference guide status update) 18:03:10 Requirements document 18:03:12 s/concerned/concerns 18:03:32 sandro has changed the topic to: http://www.w3.org/2007/OWL/wiki/Teleconference.2008.09.24/Agenda 18:04:32 Christine: we need to complete some subsections in section 5, some other questions need to be decided, most pressing to know if there is agreement with the structure 18:06:45 christine: missing mainly implementation stuff and features still under discussion 18:07:49 elisa: can look at it, ask Evan to also do that 18:08:05 evan knows it 18:08:28 alan: more (informal) reviews would be good. anyone? 18:09:35 Manchester Syntax 18:10:37 alan: document looks in good formal shape, but I suggest a change: 18:10:52 didn't get it 18:12:12 display labels instead of URIs unless label empty 18:12:22 or ambiguou 18:12:23 s 18:12:25 :) 18:12:28 display label where? 18:13:49 http://lists.w3.org/Archives/Public/public-owl-wg/2008Sep/0248.html 18:16:51 q+ 18:16:55 ack pfps 18:17:56 pfps: I have prepared the document for review; we should know assign reviewers so that, after the reviews, a public working draft can be published. I am disappointed that this didn't happen. 18:18:09 q+ 18:18:14 ack msmith 18:18:48 msmith: there are benefits other than accessibility 18:18:50 q+ 18:19:20 sandro: let's publish as soon as we can; I don't see any reason not to publish 18:19:28 sandro: put an issue in there and move on 18:19:52 I wasn't asking for a decision to publish - I was only asking for assignment of reviewers. 18:19:56 alan: any volunteers for reviews? 18:19:57 when would the review be due? 18:20:20 The "usual" timing is two or three weeks. 18:20:20 I am willing to review 18:20:28 that sounds reasonable 18:20:30 I will review. due Oct 8? 18:20:37 i am too 18:20:56 think so 18:20:57 action smith to review manchester syntax doc by oct 8 18:20:58 Created ACTION-215 - Review manchester syntax doc by oct 8 [on Michael Smith - due 2008-10-01]. 18:21:09 action hoekstra to review manchester syntax doc by oct 8 18:21:10 Created ACTION-216 - Review manchester syntax doc by oct 8 [on Rinke Hoekstra - due 2008-10-01]. 18:21:35 ISSUE DISCUSSION 18:21:42 ISSUE 138 18:22:20 q? 18:22:25 ack sandro 18:22:49 no comments 18:23:16 q+ 18:23:27 sandro: what was response from xml schema WG 18:23:33 pfps: thanks for sending in a comment 18:23:56 q+ 18:24:29 q- 18:24:39 q? 18:24:44 q- 18:26:09 http://lists.w3.org/Archives/Public/public-owl-comments/2008Jul/0002.html 18:27:17 q+ 18:27:20 Zakim, unmute me 18:27:20 bmotik should no longer be muted 18:27:22 ack bmotik 18:27:30 ISSUE 144 18:27:42 q+ 18:27:58 ack pfps 18:28:02 boris: If we include the base triple, we don't know when an axiom has an annotation and when not, etc. It's so much cleaner the way it is now. 18:28:26 Zakim, mute me 18:28:26 bmotik should now be muted 18:28:27 boris: easier to parse, what do you do if you only find the reified triples? 18:28:45 dlm has left #owl 18:28:57 pfps: this asks to make a technical change to our system in response to a misconception by somebody else 18:29:03 q+ 18:29:13 alan: there are different views on how OWL is used 18:29:39 Zakim, unmute me 18:29:39 bmotik should no longer be muted 18:30:07 rdf users are free to also have the base triple if they so desire 18:30:21 q+ 18:30:23 boris: nobody said that the RDF user has to retract the existing triple; there is just some redundancy 18:30:34 this doesn't even change the DL status of the ontology 18:30:41 Zakim, mute me 18:30:42 bmotik should now be muted 18:30:54 thanks, bye 18:30:56 -msmith 18:30:57 thanks, bye 18:30:58 Short answer to Boris: 18:30:58 -bmotik 18:30:59 -Achille 18:30:59 -JeffP 18:31:01 -Elisa_Kendall 18:31:02 msmith has left #owl 18:31:02 zakim, unmute me 18:31:03 carsten should no longer be muted 18:31:05 -Rinke 18:31:11 -pha 18:31:12 -Peter_Patel-Schneider 18:31:14 -Alan_Ruttenberg 18:31:58 -Sandro 18:31:59 Short answer to Boris: it's about the RDF user and the OWL user interacting.... 18:32:01 -carsten 18:32:02 -baojie 18:32:25 -cgolbrei 18:32:26 SW_OWL()1:00PM has ended 18:32:27 Attendees were Peter_Patel-Schneider, +49.351.463.3.aaaa, +31.20.525.aabb, Rinke, Alan_Ruttenberg, bmotik, +1.202.408.aacc, pha, msmith, carsten, +1.518.276.aadd, +1.518.276.aaee, 18:32:29 ... baojie, +0122427aaff, JeffP, Achille, Sandro, Elisa_Kendall, cgolbrei 18:56:17 RRSAgent, pointer? 18:56:17 See http://www.w3.org/2008/09/24-owl-irc#T18-56-17 20:51:03 Zakim has left #owl 22:58:31 sandro has joined #owl