17:27:15 RRSAgent has joined #owl 17:27:15 logging to http://www.w3.org/2007/11/07-owl-irc 17:28:40 Zakim, this is SW_OWL 17:28:40 JeremyCarroll, I see SW_OWL()12:00PM in the schedule but not yet started. Perhaps you mean "this will be SW_OWL". 17:28:51 alanr has joined #owl 17:28:54 Zakim, this will be SW_OWL 17:28:54 ok, JeremyCarroll; I see SW_OWL()12:00PM scheduled to start 28 minutes ago 17:28:58 jjc has joined #owl 17:28:59 jjc has joined #owl 17:29:30 SW_OWL()12:00PM has now started 17:29:37 + +1.301.975.aaaa 17:30:38 +Alan 17:30:56 +??P4 17:31:02 +??P5 17:31:03 zakim, aaaa is Conrad 17:31:04 +Conrad; got it 17:31:06 Zakim, ?P4 is me 17:31:06 sorry, jjc, I do not recognize a party named '?P4' 17:31:13 Zakim, ??P4 is me 17:31:13 +jjc; got it 17:31:25 zakim, ??p5 is me 17:31:25 +bijan; got it 17:31:31 zakim, mute me 17:31:31 bijan should now be muted 17:31:34 zakim, who is on the line 17:31:34 I don't understand 'who is on the line', alanr 17:31:37 can yu hear me now? 17:31:38 ew has joined #owl 17:31:45 zakim, who is here? 17:31:45 On the phone I see Conrad, Alan, jjc, bijan (muted) 17:31:46 On IRC I see ew, jjc, alanr, RRSAgent, Zakim, JeremyCarroll, MartinD, CarstenLutz, ivan, bijan, trackbot-ng 17:31:51 I'm testing muting 17:31:56 jjc2 has joined #owl 17:31:57 jjc2 has joined #owl 17:31:57 Excellent 17:32:07 +??P6 17:32:09 zakim, ??p6 is me 17:32:09 +MartinD; got it 17:32:47 jjc2 has left #owl 17:32:51 jjc2 has joined #owl 17:33:26 +Evan_Wallace 17:33:52 cgi-irc has joined #owl 17:33:53 pfps has joined #owl 17:33:53 zakim, unmute me 17:33:53 bijan should no longer be muted 17:34:17 jjc has joined #owl 17:34:18 jjc has joined #owl 17:34:46 zakim, mute me 17:34:46 bijan should now be muted 17:35:44 +??P8 17:35:53 zakim, ??P8 is me 17:35:53 +pfps; got it 17:35:57 zakim, mute me 17:35:57 pfps should now be muted 17:36:05 jjc2 has joined #owl 17:36:06 jjc2 has joined #owl 17:36:42 zakim, unmute me 17:36:42 bijan should no longer be muted 17:37:00 Thursday 15th 17:37:00 Rome 18:30 17:37:00 London 17:30 17:37:00 New York 12:30 17:37:00 Silicon Valley 09:30 17:37:01 Korea (fri) 02:30 17:37:10 conrad has joined #owl 17:38:20 i'm here 17:38:39 Elisa has joined #owl 17:38:41 well, sud tirol, technically italy 17:38:44 whine whine 17:38:48 difficuklt for Bijan, but will try 17:38:50 ditto 17:38:55 jjc has joined #owl 17:38:56 jjc has joined #owl 17:38:59 dead silence :-) 17:39:00 Oh, that was "difficult for alan" not bijan 17:39:05 I'm not 17:39:15 zakim, unmute me 17:39:15 bijan was not muted, bijan 17:39:28 +Elisa_Kendall 17:40:53 +1 17:41:14 Jeremy + Vipul happy to start on UCR 17:41:22 without blanque cheque for publication 17:41:34 http://www.w3.org/2007/OWL/wiki/Table_of_Examples 17:41:41 no objections heard 17:41:51 jjc2 has joined #owl 17:41:51 ok by me, but I'm not keen on the current format 17:41:52 jjc2 has joined #owl 17:42:22 what is the format for this doc? I'm assuming Features 17:42:29 item: what are the goals of UFD? 17:42:42 Alan kicks off ... 17:43:00 Alan: I would like statements of what people agree about in documentation 17:43:28 brevity is the soul of documents? 17:43:28 Alan: Bijan said documents that are likely to go stale might be not good 17:43:45 someone: disagreed with staleness crtiteria 17:43:57 documents may be useful in the short term and not have life term 17:44:10 Evan disagreed with staleness criteria 17:44:18 Bijan: I care most about formal deliverables 17:44:43 jjc has joined #owl 17:44:44 jjc has joined #owl 17:44:49 Bijan: a table created by the WG may be useful into the future 17:45:08 old WebOnt OWL 1.0 pages are stale, e.g. which systems pass which tests 17:45:57 evan: yes this material could move later 17:46:19 bijan and evan agree that they may or may not end up in WG document 17:47:23 jjc2 has joined #owl 17:47:24 jjc2 has joined #owl 17:48:02 q? 17:48:11 Rinke has joined #owl 17:48:12 q+ 17:48:27 Bijan cares most about formal deliverables 17:48:43 (aside on temrinology WG Submission or WG Note) 17:48:47 hmm. it was called a note...maybe they changed it back: http://www.w3.org/TR/2005/NOTE-wsdl20-altschemalangs-20050817/ 17:49:00 Wsdl had a lot of them: http://www.w3.org/TR/2005/NOTE-wsdl20-altschemalangs-20050817/ 17:49:11 http://www.w3.org/2002/ws/desc/ 17:49:20 jjc has joined #owl 17:49:20 +Rinke 17:49:21 jjc has joined #owl 17:49:42 that's funny - I think that formal docs are the only way to determine how a language works 17:49:50 +Carsten 17:49:53 alan: some documents that people might read to learn about the technology produced by this WG 17:50:11 bijan: I don't like W3C producing tutorial stsyle material 17:50:19 zakim, mute me 17:50:19 sorry, CarstenLutz, I do not know which phone connection belongs to you 17:50:26 because it detracts from the key mission of the WG 17:50:39 q? 17:50:43 ack alanr 17:50:56 zakim, mute me 17:50:56 Carsten should now be muted 17:50:56 and because I produce my own tutorial style material, and I don't like helping the competition 17:51:09 Ivan, are you there? 17:51:22 I think that Alan is making Bijan's point for him. 17:51:37 alan: I've seen tutorials scattered over the Web, and I would like to see better materials at W3C, because that's where people go first 17:51:48 jjc2 has joined #owl 17:51:49 jjc2 has joined #owl 17:52:03 alan: have you seen evidence that W3C efforts stifle 3rd party work 17:52:27 q+ to put my case 17:52:34 carsten, sorry, I just took a dinner 17:52:37 but I am back 17:52:38 q+ 17:52:39 zakim, mute me 17:52:40 Rinke should now be muted 17:52:45 and dialing in a minute 17:53:08 zakim, dial ivan-voip 17:53:08 ok, ivan; the call is being made 17:53:09 +Ivan 17:54:18 I'm having trouble hearing most people 17:54:28 q+ 17:54:35 q- alanr 17:54:42 uli has joined #owl 17:54:48 jjc has joined #owl 17:54:48 jjc has joined #owl 17:54:56 q+ alanr to talk about people wanting cookbooks/examples of interesting forms 17:55:31 Ivan: now I was away, sorry; what I wanted to say: I am still not on the WG mailing list. 17:55:32 Can you put me on? 17:55:34 q+ 17:55:39 bmotik has joined #owl 17:55:43 Ratnesh has joined #owl 17:55:52 q+ 17:56:05 ack jjc 17:56:05 jjc, you wanted to put my case 17:56:09 ack bijan 17:56:11 carsten, unfortunately, Sandro has the control of the mailing list 17:56:11 Ratnesh from DERI Galway 17:56:22 jeremy: i think its good for all WG participants to be to do things in WG, such as taking the technical stuff 17:56:25 MikeSmith_ has joined #owl 17:56:27 MarkusK has joined #owl 17:56:41 could you send him a mail again? hopefully the bug he was referring to is gone 17:56:51 and making it more accessible 17:56:51 ivan; ok, then I'll remind him. Ian had already sent him a mail asking to add me, but I guess he overlooked it. 17:57:02 ivan, which bug? 17:57:02 +??P12 17:57:04 jjc2 has joined #owl 17:57:05 jjc2 has joined #owl 17:57:15 Zakim, ??p12 is bmotik 17:57:15 +bmotik; got it 17:57:19 Zakim, mute me 17:57:19 bmotik should now be muted 17:57:26 I think he said that there was a bug in the mailing list control, that is why he could not put you on the list 17:57:27 +[IBM] 17:57:38 +Fabien 17:57:41 ivan: ok, I missed that. Will remind him, thanks. 17:57:44 bernardo has joined #owl 17:57:52 achille has joined #owl 17:57:59 +??P16 17:58:08 yes 17:58:15 TIME please on UFDTF 17:58:15 User facing people on the WG have an advantage over those who aren't. 17:58:16 zakim, [IBM] is Achille 17:58:16 +Achille; got it 17:58:26 +MikeSmith 17:58:39 +??P17 17:58:42 zakim, who is here? 17:58:42 On the phone I see Conrad, Alan, jjc, bijan, MartinD, Evan_Wallace, pfps (muted), Elisa_Kendall, Rinke (muted), Carsten (muted), Ivan, bmotik (muted), Achille, Fabien, ??P16, 17:58:45 ScribeNick: achille 17:58:46 ... MikeSmith, ??P17 17:58:47 On IRC I see achille, bernardo, jjc2, MarkusK, MikeSmith_, Ratnesh, bmotik, jjc, uli, Rinke, Elisa, conrad, pfps, ew, alanr, RRSAgent, Zakim, MartinD, Carsten, ivan, bijan, 17:58:49 ... trackbot-ng 17:58:54 +??P18 17:59:00 (I appreciate Bijan's openness) 17:59:01 zakim, ??p17 is me 17:59:01 +uli; got it 17:59:03 IanH has joined #owl 17:59:29 zakim, who is here? 17:59:29 On the phone I see Conrad, Alan, jjc, bijan, MartinD, Evan_Wallace, pfps (muted), Elisa_Kendall, Rinke (muted), Carsten (muted), Ivan, bmotik (muted), Achille, Fabien, ??P16, 17:59:32 ... MikeSmith, uli, MarkusK 17:59:33 On IRC I see IanH, achille, bernardo, jjc2, MarkusK, MikeSmith_, Ratnesh, bmotik, jjc, uli, Rinke, Elisa, conrad, pfps, ew, alanr, RRSAgent, Zakim, MartinD, Carsten, ivan, bijan, 17:59:36 ... trackbot-ng 17:59:41 q? 17:59:44 ack alanr 17:59:45 alanr, you wanted to talk about people wanting cookbooks/examples of interesting forms 17:59:48 ack conrad 17:59:54 jjc has joined #owl 17:59:54 jjc has joined #owl 17:59:58 Bijan has already been blocking 18:00:14 +??P19 18:00:18 zakim, mute me 18:00:18 bijan should now be muted 18:00:20 +IanH 18:00:31 zakim, mute me 18:00:31 pfps was already muted, pfps 18:00:34 zakim, who is here? 18:00:34 On the phone I see Conrad, Alan, jjc, bijan (muted), MartinD, Evan_Wallace, pfps (muted), Elisa_Kendall, Rinke (muted), Carsten (muted), Ivan, bmotik (muted), Achille, Fabien, 18:00:37 ... ??P16, MikeSmith, uli, MarkusK (muted), ??P19, IanH 18:00:38 On IRC I see jjc, IanH, achille, bernardo, jjc2, MarkusK, MikeSmith_, Ratnesh, bmotik, uli, Rinke, Elisa, conrad, pfps, ew, alanr, RRSAgent, Zakim, MartinD, Carsten, ivan, bijan, 18:00:40 zhe has joined #owl 18:00:41 ... trackbot-ng 18:00:52 I agree 18:01:00 q? 18:01:04 ack ew 18:02:03 jjc2 has joined #owl 18:02:04 jjc2 has joined #owl 18:02:13 zakim, ??P16 is Fabian 18:02:13 +Fabian; got it 18:02:34 zakim, who is here? 18:02:34 On the phone I see Conrad, Alan, jjc, bijan (muted), MartinD, Evan_Wallace, pfps (muted), Elisa_Kendall, Rinke (muted), Carsten (muted), Ivan, bmotik (muted), Achille, Fabien, 18:02:37 ... Fabian, MikeSmith, uli (muted), MarkusK (muted), ??P19, IanH 18:02:39 On IRC I see jjc2, zhe, jjc, IanH, achille, bernardo, MarkusK, MikeSmith_, Ratnesh, bmotik, uli, Rinke, Elisa, conrad, pfps, ew, alanr, RRSAgent, Zakim, MartinD, Carsten, ivan, 18:02:42 ... bijan, trackbot-ng 18:02:44 Evan, I'm not saying I would block this work...or indeed any work. But a standards group involves negotiation. I've not heard a lot of negotitation. 18:02:52 bernardo? 18:02:59 zakim ??p21 is bernardo 18:03:18 zakim, who is here? 18:03:18 On the phone I see Conrad, Alan, jjc, bijan (muted), MartinD, Evan_Wallace, pfps (muted), Elisa_Kendall, Rinke (muted), Carsten (muted), Ivan, bmotik (muted), Achille, Fabien, 18:03:21 ... Fabian, MikeSmith, uli (muted), MarkusK (muted), ??P19, IanH 18:03:22 On IRC I see jjc2, zhe, jjc, IanH, achille, bernardo, MarkusK, MikeSmith_, Ratnesh, bmotik, uli, Rinke, Elisa, conrad, pfps, ew, alanr, RRSAgent, Zakim, MartinD, Carsten, ivan, 18:03:25 ... bijan, trackbot-ng 18:03:26 P19 = Ratnesh 18:03:48 -Conrad 18:03:51 unmute me 18:03:51 zakim, mute me 18:03:51 Ivan should now be muted 18:03:57 +Zhe_Wu 18:04:00 ScribeNick: achille 18:04:13 zakim, mute me 18:04:13 bijan was already muted, bijan 18:04:29 jjc has joined #owl 18:04:30 jjc has joined #owl 18:05:10 My phone just went dead! 18:05:15 i don't hear anyone 18:05:21 Me neither 18:05:45 unmute me 18:06:00 I could hear a child just now 18:06:11 unmute me 18:06:18 I am! 18:06:19 Zakim, unmute IanH 18:06:19 IanH should no longer be muted 18:06:51 DougL has joined #owl 18:07:20 PROPOSED: Accept the previous minutes 18:07:22 +Doug 18:07:26 jjc2 has joined #owl 18:07:27 jjc2 has joined #owl 18:07:52 +1 to accept minutes 18:07:56 +1 18:07:57 +1 18:08:02 +1 18:08:03 +1 18:08:11 RESOLVED: minutes accepted 18:08:51 Zakim, who is on the phone 18:08:51 I don't understand 'who is on the phone', DougL 18:08:57 NONONONON 18:09:01 except for the images 18:09:03 zakim, unmute me 18:09:03 pfps should no longer be muted 18:09:09 ACTION Send email reminding people to make wiki account 18:09:20 jjc has joined #owl 18:09:21 jjc has joined #owl 18:09:24 POSTPONE 18:09:30 zakim, mute me 18:09:30 pfps should now be muted 18:09:55 ACTION Sandro: migration of documents 18:09:56 sandro sent out a message concerning where to put the images 18:10:02 Postponed 18:10:12 there are *two* documents 18:10:13 alan said avout reminder email that the naming conventions were unclear, and Sandro is clarifying 18:10:26 ACTION 6: Done 18:10:39 should the link to the duplicate page be removed? 18:10:45 Topic: Issues 18:11:30 +1 to removing the (link to the) duplicate page 18:11:42 Topic : Issue 2 18:11:54 both http://www.w3.org/2007/OWL/wiki/Issues and http://www.w3.org/2007/OWL/wiki/HowIssuesAreProcessed tell how issues are processed 18:11:58 zakim, unmute me 18:11:58 bijan should no longer be muted 18:12:02 jjc2 has joined #owl 18:12:03 jjc2 has joined #owl 18:12:04 Zakim, who is on the phone? 18:12:04 On the phone I see Alan, jjc (muted), bijan, MartinD, Evan_Wallace, pfps (muted), Elisa_Kendall, Rinke (muted), Carsten (muted), Ivan (muted), bmotik (muted), Achille, Fabien 18:12:04 zakim, unmute me 18:12:07 ... (muted), Fabian, MikeSmith, uli (muted), MarkusK (muted), ??P19, IanH, Zhe_Wu, Doug 18:12:09 pfps should no longer be muted 18:12:26 perhaps turn HowIssuesAreProcessed into a redirect to Issues 18:12:41 +1 to Bijan's viewpoint on this 18:12:50 q+ 18:12:52 ian: does new properties affect backward compatibility 18:13:08 P19 = Ratnesh 18:13:09 s/does/ do 18:13:21 zakim, mute me 18:13:21 bijan should now be muted 18:13:35 Cardinality Q was also turned down 18:13:46 ooo, excellent point ew 18:14:02 q+ 18:14:08 ack pfps 18:14:11 Zakim, ?P19 is Ratnesh 18:14:11 sorry, jjc2, I do not recognize a party named '?P19' 18:14:20 Zakim, ??P19 is Ratnesh 18:14:20 +Ratnesh; got it 18:14:21 q? 18:14:33 Does peter actually object? Can't we just disagree with the old group? 18:14:47 GiorgosStoilos has joined #OWL 18:14:52 jjc has joined #owl 18:15:11 I disagree. There are usually *many* disjoint classes. Only ontology designers overlook that and 18:15:13 usually fail to state it. 18:15:15 q? 18:15:20 ack 18:15:28 q? 18:15:32 I see peter's point...this is a owl full thing 18:15:52 many large disjointness sets (a disjointness set with thousands of elements) 18:15:58 +[IVML] 18:16:02 FabianNeuhaus has joined #owl 18:16:04 there can be lots of small disjointness sets 18:16:04 How do I ack someone else? 18:16:10 alanr : the assumption that there will not be a lot of disjoint is not correct 18:16:19 ack alanr 18:16:21 +1 to alan 18:16:24 peter: if you have thousands of classes, why not? 18:16:30 if your disjointness sets are small then you don't get many extra triples 18:16:31 we get this request all the time 18:16:37 NO NO NO NO 18:16:41 zakim, unmute me 18:16:41 bijan should no longer be muted 18:16:43 q? 18:17:07 q+ 18:17:12 It is not just the disjointness. In the functional spec, you can have equivalences between n classes, but in RDF you can have only pair-wise equivalences. This is inherited from OWL 1.0 RDF mapping. 18:17:23 jjc2 has joined #owl 18:17:24 jjc2 has joined #owl 18:17:29 zakim, mute me 18:17:29 bijan should now be muted 18:17:30 zakim, [IVML] is me 18:17:31 +GiorgosStoilos; got it 18:18:06 q? 18:18:17 but it is easy and direct to put a large equivalence set into RDF with no size increase 18:18:22 q? 18:18:27 ack ew 18:18:55 zakim, unmute me 18:18:55 bijan should no longer be muted 18:19:05 The same thing also holds for properties (disjointness and equivalences). It is probably a good idea to come up with the same solution for all of these constructs, not just for disjointness. 18:19:16 +1 to bmotik 18:19:23 disagree with bmotik 18:19:27 jjc has joined #owl 18:19:28 jjc has joined #owl 18:19:33 And there are also sameAs and differentFrom on individuals. 18:19:33 +p 18:19:34 q? 18:19:46 +q 18:19:55 Alan's case seems to be quite compelling 18:20:18 q? 18:20:33 ianh: AllDisjoint does not necessary have a negative impact on implementations 18:20:40 ?q 18:20:44 zakim, mute me 18:20:44 bijan should now be muted 18:21:17 who is speaking? 18:21:35 zakim, mute me 18:21:35 pfps should now be muted 18:21:42 that was me, achille 18:21:50 OK, I'll just add this to the issue. 18:21:53 q? 18:21:59 i never had an objection, just a caution 18:21:59 ?q 18:22:00 ack DougL 18:22:09 q+ on back chat 18:22:09 zakim, unmute me 18:22:11 pfps should no longer be muted 18:22:12 PhD has joined #owl 18:22:20 q+ to mention back chat 18:22:25 jjc2 has joined #owl 18:22:26 jjc2 has joined #owl 18:22:28 zakim, mute me 18:22:28 pfps should now be muted 18:22:30 q? 18:22:41 ack jjc 18:22:41 jjc, you wanted to mention back chat 18:22:52 +1 18:22:59 ok by me 18:23:02 PhD has left #owl 18:23:02 +1 18:23:05 sounds good to me 18:23:05 ianh: should we make the change in the docs for AllDisjoint 18:23:06 +1 18:23:08 not against 18:23:08 +1 18:23:11 +1 18:23:14 +1 18:23:14 +1 18:23:15 +1 18:23:15 +1 18:23:23 +1 for AllDisjoint 18:23:30 +1 for AllDisjoint 18:23:46 RESOLVED: Issue 2 AllDisjoint will be added in the docs 18:24:10 ? 18:24:13 do it the same way that allDifferent is handled in OWL 1.0 18:24:16 q? 18:24:41 presume that the rdf mapping will be O(n) 18:24:44 it is in the FS already, right? 18:24:59 pfps, no! it seems! 18:25:00 q? 18:25:10 ah it is 18:25:14 disjointClasses 18:25:34 Here: http://www.w3.org/2007/OWL/wiki/Syntax#Class_or_Description_Axioms 18:25:35 how about: treat DisjointClasses like DifferentIndividuals? 18:25:36 RESOLVED: AllDisjoint will be added to the functional syntax and the RDF mapping 18:25:40 jjc has joined #owl 18:25:48 """The disjointClasses axiom takes a set of descriptions and states that all descriptions from the set are pair-wise disjoint.""" 18:25:50 It is in 18:26:13 RESOLVED: Issue 2 A O(n) rdf mapping of disjointClasses will be added 18:26:36 votes? 18:27:02 we changed the resolution, so it is probably best to confirm the change 18:27:08 +1 18:27:16 +1 18:27:16 +1 for current resolution 18:27:17 +1 18:27:22 +1 18:27:23 +1 18:27:23 +1 for current resolution 18:27:24 +1 18:27:25 +1 18:27:25 zakim, draft minutes 18:27:25 I don't understand 'draft minutes', ivan 18:27:25 +1 18:27:25 +1 18:27:26 +1 18:27:37 +1 18:27:44 jjc2 has joined #owl 18:27:45 jjc2 has joined #owl 18:27:55 it taeks an arbitrary number 18:28:00 disjointClasses := 'DisjointClasses' '(' { annotation } description description { description } ')' 18:28:07 Brackets! 18:28:19 Topic: Issue 3 (anonymous individuals) 18:28:48 q? 18:29:06 q+ 18:29:12 Individual(type(owl:Thing)) legal in 1.0 18:29:40 but this doesn't help us to refer to it? 18:29:47 zakim, unmute me 18:29:47 bijan should no longer be muted 18:29:49 q+ 18:29:51 "overzealous" 18:29:58 zakim, unmute me 18:29:58 pfps should no longer be muted 18:30:05 Jeremy: was the lack of this a bug? or deliberate? 18:30:07 jeremy: no anonymous individual in owl 1.1. Is it a bug? 18:30:25 Q? 18:30:27 jjc has joined #owl 18:30:27 jjc has joined #owl 18:30:28 Zakim, unmute me. 18:30:29 pfps: is a bug 18:30:33 bmotik should no longer be muted 18:30:34 +q bmotik 18:30:37 Q? 18:30:45 ack bijan 18:30:53 tree-like 18:31:06 Q? 18:31:14 q? 18:31:43 also see http://www.w3.org/2007/OWL/tracker/issues/23 18:32:00 I would like to see a proposal 18:32:00 zakim, unmute me 18:32:00 Carsten should no longer be muted 18:32:03 zakim, mute me 18:32:03 bijan should now be muted 18:32:03 q? 18:32:12 ack carsten 18:32:19 zakim, mute me 18:32:19 pfps should now be muted 18:32:34 Ooo, interesting! 18:33:08 jjc2 has joined #owl 18:33:09 jjc2 has joined #owl 18:33:10 we don't have the universal role in Owl 1.1 18:33:14 Carsten: related to having a universal property. should we consider adding universal property? 18:33:26 but, it was included in SROIQ 18:33:48 which is why we mention this here 18:33:54 Carsten: it will allow anonymous individuals 18:34:18 q? 18:34:46 zakim, mute me 18:34:46 Carsten should now be muted 18:35:06 zakim, unmute me 18:35:06 Carsten should no longer be muted 18:35:12 [I would like non-tree like stuff, as well as tree stuff, and this issue is only the first step but ...] 18:35:36 zakim, mute me 18:35:36 Carsten should now be muted 18:35:43 jjc has joined #owl 18:35:43 jjc has joined #owl 18:35:46 Carsten: Universal property is more general. It will make anonymous individuals a special case 18:35:49 q? 18:35:58 correct 18:35:59 yes 18:36:38 in above we are talking about "tree-like" networks of anonymous individuals 18:36:43 q+ to propose resolution Issue 3 is a bug report. Action pfps to fix 18:36:58 ack bmotik 18:37:13 q? 18:37:29 bmotik: arbitrary anonymous individuals could yield to undecideability 18:37:30 Zakim, mute me 18:37:30 bmotik should now be muted 18:37:45 How about close this with tree ones and opening a new issue 18:37:46 but there aren't any anon. inds. in the owl1.1? Can you clarify, Boris? 18:38:00 To be more precise: nontree like anonymous individuals (in an ABox) easily make ontology entailment undecidable 18:38:02 Ian and I had a discussion about this a while ago concerning when we could distinguish skolems from bnodes 18:38:05 ack jjc 18:38:05 jjc, you wanted to propose resolution Issue 3 is a bug report. Action pfps to fix 18:38:07 I will look it up 18:38:11 jeremy bows to the chair 18:38:14 jjc2 has joined #owl 18:38:15 jjc2 has joined #owl 18:38:19 negated property values 1 issue 18:38:25 Action to boris to start the discussion? 18:38:31 Or someone? 18:38:36 ianh: we will not be able to resolve it now 18:38:40 zhe has joined #owl 18:38:47 zakim, unmute me 18:38:47 bijan should no longer be muted 18:38:49 ianh: we should continue on emails 18:38:51 make sure the emails include ISSUE-3 or ISSUE-23 18:39:07 +1 to bijan 18:39:14 zakim, mute me 18:39:14 bijan should now be muted 18:39:15 I am not on the mailinglist 18:39:31 zakim, unmute me 18:39:31 bijan should no longer be muted 18:39:35 But working on it :) 18:39:41 (neither am I, but can partifcipate nevertheless 18:39:50 zkaim, mute me 18:40:05 YEs! 18:40:09 Sire 18:40:10 +1 to boris starting it 18:40:11 Sure 18:40:26 ACTION Boris: send an email on issue 3 18:40:27 uli has left #owl 18:40:39 uli has joined #owl 18:40:56 zakim, unmute me 18:40:56 Rinke should no longer be muted 18:40:57 Topic : Issue 11 and 28 (datatype facets) 18:41:09 q? 18:41:12 jjc has joined #owl 18:41:13 jjc has joined #owl 18:41:49 Is this only for hte XML sytnax? 18:42:09 If so, shouldn'tw e defer until we've decided about the XML sytnax? 18:42:12 zakim, unmute me 18:42:12 bijan was not muted, bijan 18:42:20 q? 18:42:53 Its part of the structural spec 18:43:00 q? 18:43:09 http://lists.w3.org/Archives/Public/public-owl-dev/2007JanMar/0127.html 18:43:22 zakim, mute me 18:43:22 Rinke should now be muted 18:43:29 jjc2 has joined #owl 18:43:54 zakim, unmute me 18:43:54 pfps should no longer be muted 18:43:54 q? 18:43:55 q? 18:43:57 zakim, mute me 18:43:57 bijan should now be muted 18:43:59 The reason why we have no several facts is rather arbitrary: we just didn't think of it. I believe we can easily extend the language to be more practicable. 18:44:04 I don't undersatnd this issue ;) 18:44:31 Why can't we use user names in this syntax ? 18:44:35 pfps: I thought the issue was about the XML serialization 18:44:45 We could ask evren to come on 18:44:48 next week 18:44:49 ianh: let's move on since we do not understand it 18:45:06 The XML schema is now different from what is reporeted in the issue. It was likely a bug that I just fixed later. 18:45:17 I was talking about issue 11 18:45:21 They both go back to evren's email 18:45:23 q? 18:45:27 Both 28 and 11 18:45:30 -Alan 18:45:48 ianh: Let's nominate someone to start an email discussion 18:45:53 +q 18:45:54 jjc has joined #owl 18:46:00 q? 18:46:02 Zakim, unmute me 18:46:02 bmotik should no longer be muted 18:46:03 ack bmotik 18:46:30 bmotik: it is about having multiple facets. 18:46:38 That sounds promising! 18:46:56 suggest sending a message to Evrin to ask him if he thinks 11 is resolved 18:47:03 move to email 18:47:04 bmotik: we should add them it was a bug in the XML Schema 18:47:11 +Alan 18:47:20 q? 18:47:29 q+ 18:47:35 jjc2 has joined #owl 18:47:35 bmotik: no problem either for issue 28 18:47:36 jjc2 has joined #owl 18:47:42 close 11 and resolut 28 with action to liberalize the syntax 18:48:43 ACTION Boris: send an email about issue 11 fixed and how to fix issue 28 18:49:35 q? 18:49:42 ack ivan 18:49:53 Topic: Issue 13 and 14 (quotation and CURIES) 18:50:08 jjc has joined #owl 18:50:08 jjc has joined #owl 18:50:31 see http://www.w3.org/2007/OWL/tracker/issues/28 notes 18:50:35 This relates to whether we can use the XML Schema syntax 18:50:37 zakim, mute me 18:50:37 Ivan should now be muted 18:50:42 q+ 18:51:00 I can stay 18:51:08 (I would like to go on the hour) 18:51:09 q- 18:51:26 ianh: let's talk about the second f2f 18:51:29 pfps has joined #owl 18:51:32 q+ to talk about first f2f 18:51:33 q? 18:51:34 browser bombed 18:51:40 zakim, unmute me 18:51:40 pfps was not muted, pfps 18:51:47 Topic: second f2f 18:51:47 q? 18:52:09 jjc2 has joined #owl 18:52:10 jjc2 has joined #owl 18:52:16 q? 18:52:21 peter: thje second f2f seems a long way away but it's not - Jeremy wonders whether it's on the moon. 18:52:33 pfps: collocate the 2nd f2f with OWLED 18:52:55 +1 18:52:59 is OWLED collocated with any conference? 18:53:07 Carsten, no 18:53:09 dates of OWLED again? 18:53:31 q? 18:53:41 dates: 1-4 April 2 days 18:53:43 pfps: Proposed date 1,2,3 of April 2008 18:53:49 zakim, unmute me 18:53:49 bijan should no longer be muted 18:53:50 this is "interim" OWLED which will not be colocated 18:54:09 Zakim, mute me 18:54:09 bmotik should now be muted 18:54:15 jjc has joined #owl 18:54:29 ianh: online poll should be done 18:54:29 ianh: online poll should be done 18:54:45 pfps: any objections for the date? 18:54:51 q? 18:54:54 q+ to www2008 18:55:13 Who would host? 18:55:17 for info: april 21-25 are the dates for WWW2008 18:55:39 possibly 18:55:40 i will be in china 18:55:41 +1 18:55:42 possibly 18:55:42 possibly 18:55:43 -1 18:55:45 possibly 18:55:46 maybe me, but not too likely 18:55:48 possibly 18:55:49 -1 18:55:49 -1 18:55:49 possible 18:55:52 -1 18:55:52 -1 18:56:00 maybe 18:56:02 -1 18:56:03 -1 to www2008 18:56:04 -1 18:56:13 ack ivan 18:56:31 So, w3c would host? 18:56:39 ivan: w3c china could help host 18:56:43 jjc2 has joined #owl 18:56:44 jjc2 has joined #owl 18:56:53 Where is the XML Schema stored in the working drafts? I see the XML Ser. document, but it has no pointer to the actual schema. 18:57:20 ivan: would be happy to help with hosting it in China 18:58:07 ivan: if the group decides to do it in China, we can do it 18:58:30 pfps: we also need time to do publicity 18:59:38 ACTION pfps: send an email about your proposal collocated with OWLED 18:59:38 bmotik, I don't think they are there...I suppose you could upload it ot the wiki and attach it to the page 18:59:42 jjc has joined #owl 18:59:42 jjc has joined #owl 19:00:02 sorry I send the action to pfps 19:00:06 bijan, how do I do that? I don't know much about Wikis... 19:00:22 ivan, how do I change it to Ianh? 19:00:33 good question:-) 19:00:49 hmm. Not obvious to me, boris 19:00:51 ACTION ianh: send an email about your proposal collocated with OWLED 19:01:03 sorry pfps 19:01:12 the wiki needs to accept uploads of that type: it usually only accepts jpg's etc 19:01:16 Oh! look in teh sidebar 19:01:20 There's an "upload file" 19:01:24 thanks pfps 19:01:26 jjc2 has joined #owl 19:01:29 q? 19:01:31 -jjc 19:02:08 -> http://www.w3.org/2007/OWL/wiki/Manchester_F2F f2f meeting page 19:02:13 have Ian send out an email about this 19:02:37 bijan: please add your name in http://www.w3.org/2007/OWL/wiki/Manchester_F2F f2f if you are coming to the first f2f 19:02:55 zakim, mute me 19:02:55 bijan should now be muted 19:03:00 q? 19:03:09 ack bijan 19:03:09 Topic: additional other business? 19:03:10 q- 19:03:11 bijan, you wanted to talk about first f2f 19:03:13 yes 19:03:17 \I'm done 19:03:26 ack jjc 19:03:26 jjc, you wanted to www2008 19:03:54 yes 19:03:59 close as manya s possible 19:04:06 let's knock off the editorial ones 19:04:07 for cca. 10-15 minutes 19:04:16 jjc has joined #owl 19:04:16 jjc has joined #owl 19:04:34 Topic: Issue 13 and 14 19:04:41 I tried uploading the XML schema, but the system said that .xsd is not a supported extension 19:04:47 -Fabien 19:04:59 Ok, send an email to sandro 19:05:12 q? 19:05:22 jeremy is probably the closest thing we have to an expert here 19:05:38 I propose to reuse the Turtle string quoting conventions 19:05:44 which are? 19:05:44 Common, comprehensive, easy to lift 19:06:03 jjc2 has joined #owl 19:06:04 jjc2 has joined #owl 19:06:09 http://www.dajobe.org/2004/01/turtle/#sec-strings 19:06:54 I feel pretty sure that the Turtle spec covers everything RDF can handle 19:07:00 these are roughly the same as RDF quoting 19:07:01 Wait! are we resolving on taht? 19:07:07 Yes, wait. 19:07:09 q+ 19:07:15 q? 19:07:32 Yes, alanr, curies can represent properites that rdf/xml cannot 19:07:37 ack ivan 19:07:47 so can abstract syntax 19:08:02 So can turtle 19:08:37 pointer to rdfa? 19:08:45 -IanH 19:08:50 q+ 19:08:56 jjc has joined #owl 19:08:58 http://www.w3.org/TR/xhtml-rdfa-primer/ 19:09:10 ack bijan 19:09:11 Sorry, but I have to run off 19:09:20 zakim, unmute me 19:09:20 bijan was not muted, bijan 19:10:12 zakim, mute me 19:10:19 bijan should now be muted 19:10:38 jjc2 has joined #owl 19:10:39 jjc2 has joined #owl 19:10:58 http://www.w3.org/TR/rdfa-syntax/ 19:11:43 We'd need that for more arbitrary patterns of bnodes 19:11:51 But that's delegated to email discussion 19:13:04 PROPOSED: Resolved issue 13 by adopting quotation from turtle (\). Resolve 14 by adopting SPARQL syntax for extended qnames. 19:13:09 +1 19:13:10 +1 19:13:11 +1 19:13:12 +1 19:13:15 +1 19:13:16 +1 19:13:16 +1 resolution for issue 13 19:13:17 +1 19:13:26 +1 to resolution for issue 14 19:13:29 +1 19:13:31 +1 on the straw poll, but I would like to take a look to finalize 19:13:37 +1 19:13:38 jjc has joined #owl 19:13:53 +1 19:13:59 I guess that we can invoke the one week rule if necessary 19:14:03 RESOLVED: Resolved issue 13 by adopting quotation from turtle (\). Resolve 14 by adopting SPARQL syntax for extended qnames. (with checkin one written into the spec) 19:14:48 -Evan_Wallace 19:14:49 bye 19:14:50 -Doug 19:14:51 bye 19:14:51 -MikeSmith_ 19:14:52 bye 19:14:52 -Zhe_Wu 19:14:53 -Alan 19:14:54 -Elisa_Kendall 19:14:54 -Ratnesh 19:14:54 uli has left #owl 19:14:55 rrsagent, draft minutes 19:14:55 I have made the request to generate http://www.w3.org/2007/11/07-owl-minutes.html ivan 19:14:56 -bijan 19:14:56 bye 19:14:57 -bmotik 19:14:57 bye 19:14:58 -pfps 19:14:59 -Rinke 19:15:01 -Fabian 19:15:02 bye 19:15:03 -MarkusK 19:15:05 -Ivan 19:15:05 ivan, do I need to do something special as the scribe 19:15:07 -Carsten 19:15:11 -MartinD 19:15:17 zakim, drop GiorgosStoilos 19:15:17 GiorgosStoilos is being disconnected 19:15:18 -GiorgosStoilos 19:15:19 -Achille 19:15:27 Zakim, disconnect me 19:15:27 sorry, bernardo, I do not see a party named 'bernardo' 19:15:42 MartinD has left #OWL 19:15:46 bernardo, just hang up :) 19:16:21 rrsagent, bye 19:16:30 rrsagent, set log public 19:16:35 rrsagent, bye 19:16:35 I see 6 open action items saved in http://www.w3.org/2007/11/07-owl-actions.rdf : 19:16:35 ACTION: Sandro to migration of documents [1] 19:16:35 recorded in http://www.w3.org/2007/11/07-owl-irc#T18-09-55 19:16:35 ACTION: 6 to Done [2] 19:16:35 recorded in http://www.w3.org/2007/11/07-owl-irc#T18-10-26 19:16:35 ACTION: Boris to send an email on issue 3 [3] 19:16:35 recorded in http://www.w3.org/2007/11/07-owl-irc#T18-40-26 19:16:35 ACTION: Boris to send an email about issue 11 fixed and how to fix issue 28 [4] 19:16:35 recorded in http://www.w3.org/2007/11/07-owl-irc#T18-48-43 19:16:35 ACTION: pfps to send an email about your proposal collocated with OWLED [5] 19:16:35 recorded in http://www.w3.org/2007/11/07-owl-irc#T18-59-38 19:16:35 ACTION: ianh to send an email about your proposal collocated with OWLED [6] 19:16:35 recorded in http://www.w3.org/2007/11/07-owl-irc#T19-00-51