16:54:29 RRSAgent has joined #owl 16:54:29 logging to http://www.w3.org/2009/03/25-owl-irc 16:54:35 Zakim has joined #owl 16:54:59 pfps has joined #owl 16:55:13 pfps has changed the topic to: http://www.w3.org/2007/OWL/wiki/Teleconference.2009.03.25/Agenda 16:56:44 schneid has joined #owl 16:58:01 bmotik has joined #owl 16:58:07 Zakim, this will be owl 16:58:07 ok, bmotik, I see SW_OWL()1:00PM already started 16:58:09 bcuencag2 has joined #owl 16:58:35 +bmotik 16:58:40 Zakim, mute me 16:58:40 bmotik should now be muted 16:58:56 +bmotik.a 16:59:02 uli has joined #owl 16:59:10 Zakim, bmotik.a is bcuencagrau 16:59:10 +bcuencagrau; got it 16:59:12 Zakim bmotik.a is becuencag2 16:59:32 Zakim, bcuencagrau is becuencag2 16:59:33 +becuencag2; got it 16:59:36 IanH has changed the topic to: http://www.w3.org/2007/OWL/wiki/Teleconference.2009.03.25/Agenda 16:59:52 Zhe has joined #owl 16:59:53 Rinke has joined #owl 16:59:58 +IanH 17:00:02 + +0161868aaaa 17:00:03 +Zhe 17:00:03 +Sandro 17:00:05 zakim, dial ivan-voip 17:00:05 ok, ivan; the call is being made 17:00:06 +Ivan 17:00:12 +??P10 17:00:17 RRSAgent, make records public 17:00:19 zakim, ??P10 is me 17:00:19 +uli; got it 17:00:24 zakim, 0161868aaaa is me 17:00:24 sorry, bparsia, I do not recognize a party named '0161868aaaa' 17:00:30 zakim, who is on the phone? 17:00:30 On the phone I see Peter_Patel-Schneider, bmotik (muted), becuencag2, IanH, +0161868aaaa, Sandro, Zhe, Ivan, uli 17:00:33 zakim, + 0161868aaaa is me 17:00:33 I don't understand '+ 0161868aaaa is me', bparsia 17:00:37 are we starting now? 17:00:43 zakim, mute me 17:00:43 uli should now be muted 17:00:44 zakim, aaaa is me 17:00:44 +bparsia; got it 17:00:49 +??P25 17:00:52 zakim, mut me 17:00:52 I don't understand 'mut me', bparsia 17:00:56 zakim, ??P25 is me 17:00:56 +Rinke; got it 17:00:57 zakim, mute me 17:00:58 bparsia should now be muted 17:01:01 zakim, mute me 17:01:01 Rinke should now be muted 17:01:13 MarkusK_ has joined #owl 17:01:23 zakim doesn't seem to tbe very understanding today, doesn't he? 17:01:35 time is a-wasting 17:01:35 Zakim, mute me 17:01:35 sorry, bcuencag2, I do not know which phone connection belongs to you 17:01:38 zakim, who is here? 17:01:38 On the phone I see Peter_Patel-Schneider, bmotik (muted), becuencag2, IanH, bparsia (muted), Sandro, Zhe, Ivan, uli (muted), Rinke (muted) 17:01:41 On IRC I see MarkusK_, Rinke, Zhe, uli, bcuencag2, bmotik, schneid, pfps, Zakim, RRSAgent, alanr, bparsia, ivan, IanH, sandro, trackbot 17:01:53 Zakim, bcuencagrau is bcunecag2 17:01:53 sorry, bcuencag2, I do not recognize a party named 'bcuencagrau' 17:01:58 Alan seems to be in the irc 17:02:04 I'm here 17:02:04 -becuencag2 17:02:08 Calling in now 17:02:15 me? 17:02:21 scribenick: Zhe 17:02:23 yes 17:02:27 zakim, who is here? 17:02:27 On the phone I see Peter_Patel-Schneider, bmotik (muted), IanH, bparsia (muted), Sandro, Zhe, Ivan, uli (muted), Rinke (muted) 17:02:30 On IRC I see MarkusK_, Rinke, Zhe, uli, bcuencag2, bmotik, schneid, pfps, Zakim, RRSAgent, alanr, bparsia, ivan, IanH, sandro, trackbot 17:02:38 +Jonathan_Rees 17:02:45 zakim, Jonathan_Rees is alanr 17:02:45 +becuencag2 17:02:48 Topic: Admin 17:02:51 +alanr; got it 17:02:53 Zakim, mute me 17:02:55 zakim, mute me 17:03:04 sorry, bcuencag2, I do not know which phone connection belongs to you 17:03:07 msmith has joined #owl 17:03:09 Ivan should now be muted 17:03:09 what is this "five past"? 17:03:18 q+ 17:03:24 zimmer has joined #owl 17:03:33 ack pfps 17:03:40 +msmith 17:03:41 Zakim, bmotik.a is bcuencag2 17:03:43 sorry, bcuencag2, I do not recognize a party named 'bmotik.a' 17:03:50 zakim, who is here 17:03:50 alanr, you need to end that query with '?' 17:03:55 zakim, who is here? 17:03:55 On the phone I see Peter_Patel-Schneider, bmotik (muted), IanH, bparsia (muted), Sandro, Zhe, Ivan (muted), uli (muted), Rinke (muted), alanr, becuencag2, msmith 17:03:55 Zakim, mute me 17:04:01 sorry, bcuencag2, I do not know which phone connection belongs to you 17:04:04 On IRC I see zimmer, msmith, MarkusK_, Rinke, Zhe, uli, bcuencag2, bmotik, schneid, pfps, Zakim, RRSAgent, alanr, bparsia, ivan, IanH, sandro, trackbot 17:04:21 Zakim becuencag2 is bcuencag2 17:04:25 PROPOSED: accept previous minutes http://www.w3.org/2007/OWL/meeting/2009-03-18 17:04:34 minutes are minimally acceptable 17:04:40 +1 17:04:41 sorry, possibly only on IRC today 17:04:42 Zakim, becuencag2 is bcuencag2 17:04:42 +bcuencag2; got it 17:04:48 Zakim, mute me 17:04:48 bcuencag2 should now be muted 17:04:51 RESOLVED: accept minutes of http://www.w3.org/2007/OWL/meeting/2009-03-18 17:04:58 jar has joined #owl 17:05:00 actually they look much better than when I looked at them last time. 17:05:06 Topic: Action items status 17:05:22 +??P9 17:05:34 it appears to me that some of these were approved as done last week 17:05:37 alanr: any comments? 17:05:37 Zakim, ??P9 is me 17:05:37 +zimmer; got it 17:05:41 yes, I thought 283 was already closed 17:05:43 bijan did his review on the quick ref guide 17:05:47 ... one question to Jie. wasn't clear on 301 status 17:05:51 so did christine 17:06:09 no one is updating the status 17:06:18 301 was approved as done last week 17:06:31 action-301 done 17:06:39 action-301? 17:06:39 ACTION-301 -- Jie Bao to contact Andy Seaborn and try to make sure he's happy with our work on rdf:text, and will talk to use about any remaining issues. -- due 2009-03-03 -- PENDINGREVIEW 17:06:39 http://www.w3.org/2007/OWL/tracker/actions/301 17:06:58 Topic: Due and Overdue actions 17:07:22 action 309 done 17:07:22 Sorry, couldn't find user - 309 17:07:29 action-292 closed 17:07:29 ACTION-292 Talk to RIF to see what datatypes in OWL must not be in OWL-RL. closed 17:07:34 action-299? 17:07:34 ACTION-299 -- Sandro Hawke to find and fix the to-wiki-links Jeremy complains about -- due 2009-03-03 -- OPEN 17:07:34 http://www.w3.org/2007/OWL/tracker/actions/299 17:07:48 last week Sandro said that this would happen at pub time 17:07:53 action 310? 17:07:53 Sorry, bad ACTION syntax 17:07:59 action-310? 17:07:59 ACTION-310 -- Peter Patel-Schneider to review rdf:text document http://www.w3.org/2007/OWL/wiki/InternationalizedStringSpec -- due 2009-03-25 -- OPEN 17:07:59 http://www.w3.org/2007/OWL/tracker/actions/310 17:08:40 action-307? 17:08:40 ACTION-307 -- Christine Golbreich to review QRG -- due 2009-03-25 -- PENDINGREVIEW 17:08:40 http://www.w3.org/2007/OWL/tracker/actions/307 17:08:42 Zhe has joined #owl 17:08:48 scribenick: Zhe 17:09:03 zakim, who is here? 17:09:03 On the phone I see Peter_Patel-Schneider, bmotik (muted), IanH, bparsia (muted), Sandro, Zhe, Ivan (muted), uli (muted), Rinke (muted), alanr, bcuencag2 (muted), msmith, zimmer 17:09:06 On IRC I see Zhe, jar, zimmer, msmith, Rinke, uli, bcuencag2, bmotik, schneid, pfps, Zakim, RRSAgent, alanr, bparsia, ivan, IanH, sandro, trackbot 17:09:09 alanr: action-321 postponed 17:09:11 the due date should have been later - I'll move it 17:09:16 Topic: Document and Reviewing 17:09:29 alanr: the only one not ready is rdf text 17:09:52 is the rdf semantics ready for review? I am not sure 17:09:59 ... there is one involves our group. 17:10:21 q+ 17:10:23 Zakim, unmute me 17:10:23 bmotik should no longer be muted 17:10:34 I am! 17:10:36 why are we hearing this at TC time? 17:10:38 bmotik: who is arguing against making it infinite 17:10:39 q+ 17:10:43 ... RDF or RIF foks? 17:10:45 ack bmotik 17:10:48 addison 17:11:02 It is the i18n folks 17:11:02 zakim, unmute me 17:11:02 bparsia should no longer be muted 17:11:03 q+ 17:11:07 ack bparsia 17:11:12 ack bparsia 17:11:36 bparsia: want to reuse existing regular expression libraries 17:11:54 I'm confused, why can't regular regexp libraries be used? 17:11:58 ... allow people to indicate which unicode version 17:12:07 q? 17:12:30 +[IPcaller] 17:12:49 zakim, [IPcaller] is me 17:12:49 +schneid; got it 17:12:54 zakim, mute me 17:12:54 schneid should now be muted 17:12:55 MarkusK_ has joined #owl 17:13:01 zakim, mute me 17:13:01 bparsia should now be muted 17:13:21 +??P1 17:13:27 alanr: goal is that we want to move forward with rdf text... not a tech discussion 17:13:28 ack bmotik 17:13:33 ... how to resolve it asap 17:13:39 Toolkit I want to use: http://www.brics.dk/automaton/ 17:13:40 bmotik: a few tech questions 17:13:57 I meant in OWL 17:14:05 rdf:text:unicode3.1 17:14:10 ... did not understand bijan, what is the semantics if you indicate unicode version 17:14:12 Oh! Nice! 17:14:35 q+ 17:14:39 ... if we go with finite alphabet, 17:14:46 q+ 17:14:48 ack ivan 17:14:54 ... do we really know how many is in the unicode version. 17:15:10 ivan: there is an upper limit for unicode characters 17:15:24 ... some of those are not properly defined. 17:15:25 q+ 17:15:27 "The largest Unicode code point is 0x10FFFF. Period. There is not an infinity of Unicode code points. " 17:15:33 ack bparsia 17:15:40 zakim, mute me 17:15:40 Ivan should now be muted 17:15:51 bparsia: it is nice to know about the libraries. makes me happy 17:15:59 -- from Addison Phillips, Chair -- W3C Internationalization WG 17:16:16 ... my proposal is that in the ontology, when I define a class, I am using a particular unicode version 17:16:23 q? 17:16:27 ack bmotik 17:16:34 ... however, if it is finite, then all problems are solved 17:17:12 We need to know the number 17:17:15 An ecstatic Boris -- scary prospect 17:17:16 q? 17:17:28 alanr: bmotik communicate with Jie to get the issue resolved 17:17:33 Pointer to that rdf:text emial? 17:17:49 zakim, unmute me 17:17:49 schneid should no longer be muted 17:17:53 alanr: RDF semantics 17:18:09 schneid: 3 or 4 more days 17:18:20 ... should be done by end of this week 17:18:31 ... (weekend) 17:18:44 alanr: will you notify your reviewers 17:18:55 schneid: will send out email once it is done 17:19:00 q? 17:19:03 zakim, mute me 17:19:03 schneid should now be muted 17:19:18 Topic: Changes since last call 17:19:24 http://www.w3.org/2007/OWL/wiki/Reviewing#Documents_and_Reviewers 17:19:46 sandro: does not show correct deadline 17:19:54 n-ary is not ready right now 17:19:57 ... about n-ary 17:20:02 Probablynext week 17:20:07 alanr: can we talk about n-ary 17:20:10 I couldn't last week 17:20:17 But I can do it for next week 17:20:20 ... bjian mentioned that we can put in a small example 17:20:32 ... when is it going to be ready? 17:20:37 q? 17:20:38 ... next meeting or weekend? 17:20:38 zakim, unmute me 17:20:38 bparsia was not muted, bparsia 17:20:55 bparsia: not sure. 17:21:09 q+ 17:21:18 ack ivan 17:21:18 zakim, mute me 17:21:19 alanr: I will update that page with right due dates 17:21:20 bparsia should now be muted 17:21:53 Zakim, mute me 17:21:53 bmotik should now be muted 17:22:05 sandro: it will be published Friday. 17:22:31 ivan: this means we do have something that we want to change on that document 17:22:37 q? 17:22:48 ... until that is done, the document is not ready for reviewing 17:23:08 Anticipated changes vis a vis naming should be very small 17:23:31 ivan: the bottom line is that that document is not ready for reviewing 17:23:51 alanr: hopefully it is a small change 17:24:01 ... any more for document set? 17:24:12 Topic: Last Call Comments 17:24:41 alanr: AR1 is delegated to Jonathan 17:25:03 BTW: http://www.unicode.org/versions/Unicode5.0.0/ch01.pdf 17:25:05 page 2 17:25:15 Isn't this the sort of thing that should be done by email? 17:25:19 "The Unicode Standard contains 1,114,112 code points," 17:25:36 I'm doing it now 17:25:39 q+ 17:25:44 ack uli 17:26:06 uli: a few changes have been made 17:26:11 I looked -- looks fine to me 17:26:15 ... I can post the diff I have made 17:26:24 alanr: these are ready to go 17:26:26 zakim, mute me 17:26:26 uli should now be muted 17:26:52 alanr: one more related to this. Ivan suggested that we add some text to the intro in profiles document 17:27:09 ivan: it is all in the email 17:27:10 http://www.w3.org/mid/49C350F4.6000200@w3.org 17:27:25 ... the intro to QL is very tech oritented... 17:27:52 ... need to have more understandable rationale in profiles 17:27:55 Document editor discretion seems to cover this point. 17:27:57 q? 17:27:59 alanr: any objection? 17:28:05 i think i added a bit 17:28:20 alanr: Ivan can communicate with editors to get it done 17:28:42 -> Ian 17:28:43 ... can one editor stand up 17:28:58 I'm 17:28:59 ... zhe, can you do it? 17:29:01 ok 17:29:06 I'm willing to help 17:29:06 q? 17:29:17 thanks Ian 17:29:25 +1 17:29:26 alanr: comment on XML syntax, 17:29:31 ... looks ready to me 17:29:37 q+ 17:29:53 q+ 17:29:54 alanr: one on rdf semantics, one on OWL DL the language. 17:29:54 q- 17:29:57 q? 17:30:11 JR6a should be checked by people 17:30:15 ivan: on the rdf semantics, michael did more than required 17:30:29 ... it is not even last call 17:30:34 q? 17:30:39 ack ivan 17:30:41 the response is fine - ship it 17:30:48 +1 17:30:53 ivan: I think Michael's reponse is great and ready to go 17:30:55 ah, I understand! ok 17:31:09 alanr: not hearing object to sending out these two responses 17:31:18 ... JR6a, 6b can be sent as is 17:31:33 q? 17:31:40 zakim, who is here? 17:31:40 On the phone I see Peter_Patel-Schneider, bmotik (muted), IanH, bparsia (muted), Sandro, Zhe, Ivan, uli (muted), Rinke (muted), alanr, bcuencag2 (muted), msmith, zimmer, schneid 17:31:40 Jonathan: regarding AR1 17:31:43 ... (muted), MarkusK_ 17:31:44 On IRC I see MarkusK_, Zhe, jar, zimmer, msmith, Rinke, uli, bcuencag2, bmotik, schneid, pfps, Zakim, RRSAgent, alanr, bparsia, ivan, IanH, sandro, trackbot 17:31:51 ... looks like there are some extension point 17:31:54 zakim, alanr has jonathan 17:31:54 +jonathan; got it 17:32:04 ... to define new data types in new namespaces as long as they are 17:32:14 q+ 17:32:16 q+ 17:32:17 ... compatible with other SPECs 17:32:18 q+ 17:32:31 (Aside: Bijan and I managed to convince ourselves that Unicode indeed has 1,114,112 code points) 17:32:49 :-) bmotik 17:32:51 zakim, mute me 17:32:53 ... question is if there are some risk, you will get incompatibility 17:32:54 (Aside: For all I care, we can have a vote right now to change the value sopace of rdf:text) 17:32:58 Ivan should now be muted 17:33:07 ... XML try to address it through namespaces. 17:33:31 q? 17:33:34 zakim, unmute me 17:33:34 bparsia should no longer be muted 17:33:35 ... here it seems that we are reusing an existing namespace 17:33:56 bparsia: we should not worry about the "risk" 17:33:58 I will nevertheless wait another 24 hours with sending 52a, so people can check 17:34:17 ... dont' think there is a real risk that people stepping into OWL namespace 17:34:24 q? 17:34:27 ack bparsia 17:34:48 ... given that the community has matured, there should not be a problem 17:35:13 q? 17:35:17 ack pfps 17:35:21 zakim, mute me 17:35:21 bparsia should now be muted 17:35:23 Ivan, to make "a mountain out of a mole hole"? 17:35:26 pfps: I agree with bijan on this. 17:35:27 ack sandro 17:35:32 sandro: I see two questions 17:35:35 q+ 17:35:46 ... 1) on the issue that bijan addressed. 17:36:07 ... I think extensibility point is properly architected 17:36:19 ... 2) interop problem 17:36:27 ... 10 well defined datatypes 17:36:35 ... 5 are required by OWL 17:37:04 ... I suspect users will find their tool support mroe datatypes 17:37:11 s/mroe/more 17:37:16 ? 17:37:22 q? 17:37:22 ... which creates interop problem 17:37:30 q+ 17:37:39 Zakim, unmute me 17:37:39 bmotik should no longer be muted 17:37:42 ack bmotik 17:37:45 q+ 17:37:46 ... Tools use extension should get user attention/ok 17:37:58 bmotik: a bit lost. is this about xml schema datatypes 17:38:26 q? 17:38:27 q- 17:38:37 ... you cannot define new datatypes in XML schema namespace anyway 17:38:40 ack bparsia 17:38:42 ... don't see any issue 17:38:47 q? 17:38:52 bparsia: agree with boris 17:38:58 ... it is clearly SPECed 17:39:46 ... don't feel the need as a tool vendor that we need user permission to extend. 17:39:49 q? 17:39:55 ... haven't seen troubles in the past 17:40:52 sandro: you don't think WG should give this advice 17:41:11 bparsia: not sure it is a good advice 17:41:43 +1` 17:41:48 ... tool vendors should decide by themselves 17:42:08 sandro: I am persuaded by bijan 17:42:15 In many cases there may be *no* user to warn. 17:42:27 ... the worst case is that extension is used unexpectedly 17:42:45 q= 17:42:48 q+ 17:42:49 Jonathan: it affects ontology consistency 17:42:57 q+ 17:43:13 sandro: tool can tell you that this part is not OWL, it is extension 17:43:36 ... it is not our job to tell tools to pop up warnings 17:43:42 q? 17:44:11 bparsia: Pellet has a mode that approximates things that it cannot handle 17:44:25 q+ jar 17:44:41 ack bparsia 17:44:49 ... we define what is mandatory, and what will happen given an OWL ontology 17:44:53 ack bmotik 17:45:02 ... for things beyond, it is not our job to define behavior 17:45:14 q+ 17:45:30 bmotik: in non-default mode, HermiT can approximate and does it best 17:45:31 ack jar 17:45:32 And, if the spec told me not to do that? I would ignore that spec 17:45:32 sandro: I'm okay with the situation where a consumer system simply detects the situation where an extension is used and either gives a clear error message or (as per Bijan) offers to try some approximations. The right social/market forces are in play to avoid fragmenting the market, I think. 17:45:47 Jonathan: looking at conformance doc 17:45:58 The question at hand is how to answer AR66, which states: I believe that it is our intention that implementation specific datatype maps don't define behavior for, e.g. future datatypes added to XML Schema (or datatypes we have rejected). AFAIK, there is no proscription against this and I would like to have there be. 17:46:03 pfps: I don't see how the current discussion is relevant to the Agenda 17:46:04 Zakim, mute me 17:46:04 bmotik should now be muted 17:46:11 zakim, mute me 17:46:11 bparsia should now be muted 17:46:47 http://www.w3.org/2007/OWL/wiki/Conformance_and_Test_Cases#Datatype_Map_Conformance 17:47:05 sandro: I pointed out that was in error, 17:47:33 alanr: Jonathan do you have more comments? 17:47:54 FWIW I think it was real error to every accept "comments" from WG members... :-/ They should be issues instead. 17:48:03 GRDDL TM1 17 GRDDL 17:48:07 ship it 17:48:11 ship it 17:48:14 +1 17:48:14 alanr: everyone comfortable? 17:48:22 +1 17:48:46 alanr: RM1 17:48:52 zakim, unmute me 17:48:52 schneid should no longer be muted 17:48:54 ... michael, have you sent the response out? 17:49:15 schneid: the second was drafted by peter, I am out of it 17:49:20 zakim, mute me 17:49:20 schneid should now be muted 17:49:29 http://www.w3.org/2007/OWL/wiki/Responses_to_Last_Call_Comments clearly indicates that a 2nd response has been sent 17:49:48 Topic: Technical Issues 17:50:07 alanr: xsd:dateTimeStamp, shall we follow XML schema 17:50:20 ? 17:50:26 Zaakim, unmute me 17:50:30 Zakim, unmute me 17:50:30 bmotik should no longer be muted 17:50:30 ack bmotik 17:50:41 q? 17:50:50 ack pfps 17:50:57 +1 to my other self 17:51:02 +1 to boris 17:51:06 bmotik: the issue is that the current SPEC use a prioteray handling of dataTime, 17:51:12 ... we should align with XML schema 17:51:13 q+ to ask why timezone but not the other elements of the 7 tuple 17:51:28 ... change is not that big. the only thing is that timezone is disjoint 17:51:30 q+ 17:51:39 Zakim, mute me 17:51:39 bmotik should now be muted 17:51:43 ... don't think users will get lots of problems 17:51:51 ack alanr 17:51:51 alanr, you wanted to ask why timezone but not the other elements of the 7 tuple 17:52:00 Zakim, unmute me 17:52:00 bmotik should no longer be muted 17:52:02 alanr: I have a question, XML schema has 7 tuple, 17:52:06 q? 17:52:07 ... how is that aligned 17:52:32 bmotik: the 7 tuple can map to a particular time 17:52:38 q+ to clarify that this means we can't have functional properties with dateTimeStamps as values? 17:52:43 boris: you can map 7-tuple to time-on-timeline, with different time line for each time zone. 17:52:45 ... you cannot tell the difference 17:52:52 ack sandro 17:53:00 sandro: this is sounding like a bug in XML schema 17:53:04 q+ 17:53:08 q+ 17:53:18 I recommend avoiding timezones in ontologies ;) 17:53:22 Preprocess! 17:53:24 ... the point is to reason different times in different zones 17:53:28 q? 17:53:36 the are equal, just not identical 17:53:37 ack alanr 17:53:37 alanr, you wanted to clarify that this means we can't have functional properties with dateTimeStamps as values? 17:53:40 ... not what I want as a user 17:53:54 nope 17:54:04 ack bmotik 17:54:08 alanr: so the consequence is that we cannot have a functional property with a dateTime as its range? 17:54:35 bmotik: if you have a FP p, two values pointing to the same time point in two zones, 17:54:39 Discussion of identity vs. equality I just wrote: 17:54:43 ... they violate the constraint 17:55:13 q- 17:55:24 ... XML schema wants to keep this time zone information in the value space 17:55:33 q+ to propose at riskiness 17:55:43 q+ to ask one last question - why con consider this extralogical and answer queries against syntax 17:55:52 ... because they have functions to compare, it is not a bug in my opinion 17:55:55 ack bparsia 17:55:56 bparsia, you wanted to propose at riskiness 17:56:02 sandro: I agree now it is not a bug 17:56:10 (in xml schema) 17:56:16 bparsia: two principles, 1) to align with XML schema 17:56:17 sandro: but it's a pain for users. 17:57:24 +1 to bijan, make the choices clear and put it into the document as a feedback request from the community 17:57:28 Seems similar to the numerics: could imagine arguments on both sides but being consistent with XML schema sounds like the winning argument. 17:57:31 ack alanr 17:57:31 alanr, you wanted to ask one last question - why con consider this extralogical and answer queries against syntax 17:57:31 +1 to bparsia 17:57:35 And +1 to Bijan 17:57:36 ... it is always possible to normalize all timestamp values with respect to timezones 17:57:40 zakim, mute me 17:57:40 bparsia should now be muted 17:58:04 alanr: boris, why do we need to put it in the valuespace? 17:58:39 bmotik: for the case RIF wants to implement some functions (give back timezones) 17:59:03 One can do that as a preprocessing phase..if you wanted that 17:59:09 q? 17:59:17 ... anyone use XQuery with OWL will find it difficult 17:59:37 q+ 17:59:37 q+ 17:59:45 zakim, unmute me 17:59:45 bparsia should no longer be muted 17:59:46 sandro: RIF is struggling with this and will have identity operator and equality operator 17:59:47 ack bparsia 17:59:53 ack bparsia 18:00:02 s/will/will probably/ 18:00:13 q+ to ask why we couldn't use equality across OWL 18:00:16 bparsia: unlike RIF, we don't have luxury to have two operators because counting defines on top of identity 18:00:24 bparsia: OWL doesn't have the luxury of two operators, since counting works with identity. 18:00:34 ... am scared to use equality 18:00:45 q? 18:00:58 ack bmotik 18:00:59 ack bmotik 18:01:00 zakim, mute me 18:01:01 bparsia should now be muted 18:01:16 bmotik: don't think this is crucial for users 18:01:27 I agree with boris to some extent 18:01:38 q? 18:01:39 It's work aroundable 18:01:52 q+ jar to wonder about calendar merging 18:02:03 ... it is not that often that two (same) values use different zones 18:02:09 boris: Come on -- how many users will actually want to use a use functional properties to say there is one time, and then provide the time in multiple time zones? 18:02:12 q? 18:02:20 ack alanr 18:02:20 alanr, you wanted to ask why we couldn't use equality across OWL 18:02:38 Let's vote now! 18:02:39 zakim, unmute me 18:02:39 bparsia should no longer be muted 18:02:41 sandro: I think it'll a real problem, boris, but I think it's a very small issue and I'd like to move on? 18:03:38 bparsia: we cannot put this under user control with respect to counting 18:03:51 q- jar 18:04:02 alanr: why cannot we use equality in OWL as the single choice 18:04:45 bparsia: we discussed and decided to go with XML schema identity 18:05:07 bparsia: This all comes back to us having to chose between XS Identity and XS Equality as our Identity, and the compelling evidence is on the side of XS Identity. 18:05:31 ... tools can normalize xsd:dateTimeStamp values in different zones 18:05:32 PROPOSED: OWL will use the standard XML Schema definition of xsd:dateTimeStamp (i.e., time zones are carried into the semantics of OWL). We will mark this "at risk" and solicit feedback on the choice. 18:05:35 bparsia: Tools can route around this, by comparing them as identiical if they need to -- let's be conservative and consistent. 18:05:48 zakim, mute me 18:05:48 bparsia should now be muted 18:06:17 bmotik: dateTime should be the same 18:06:37 we need to resolve the "at risk" later 18:06:37 I don't care 18:06:38 +1 18:06:38 Minimising "at risk" has to be good. 18:06:40 I'm fine not 18:06:48 0 18:06:51 0 18:06:54 0 18:06:55 Are we voting? 18:06:55 I'd prefer just being done with this. 18:06:56 0 18:07:02 I.e., no at risk. 18:07:04 -1 18:07:07 no at risk 18:07:08 0 18:07:10 0 18:07:11 0 18:07:20 PROPOSED: OWL will use the standard XML Schema definition of xsd:dateTimeStamp (i.e., time zones are carried into the semantics of OWL). 18:07:23 +1 18:07:24 +1 18:07:24 +1 ALU 18:07:25 +1 18:07:25 +1 18:07:27 0 18:07:31 +1 18:07:32 +1 18:07:39 0 18:07:42 +1 18:07:45 0 (no opinion) 18:07:49 +1 18:08:03 +1 18:08:06 RESOLVED: OWL will use the standard XML Schema definition of xsd:dateTimeStamp (i.e., time zones are carried into the semantics of OWL). 18:08:22 alanr: boris, we can discuss dateTime next week 18:08:27 alanr: CURIEs 18:08:40 zakim, unmute me 18:08:40 bparsia should no longer be muted 18:09:00 q+ on question about relevance for RDF-Based Semantics 18:09:01 q+ 18:09:09 ack schneid 18:09:10 zakim, unmute me 18:09:11 schneid, you wanted to comment on question about relevance for RDF-Based Semantics 18:09:13 schneid was not muted, schneid 18:09:30 none 18:09:30 q+ 18:09:38 schneid: point from me is that what is the relevance to us 18:09:48 RDF-semantics should not be affected 18:09:49 ... CURIE is used only for representation purpose 18:10:01 ekw has joined #owl 18:10:02 ack bparsia 18:10:04 schneid: do not worry! Nothing 18:10:09 ... wonder what is the implication 18:10:23 ack sandro 18:10:24 bparsia: we just change the references of CURIE. 18:10:27 q? 18:10:48 sandro: this change does not affect RDF/XML 18:10:49 exactly 18:10:52 +1 18:10:53 zakim, mute me 18:10:53 schneid should now be muted 18:11:00 +q 18:11:10 ack bmotik 18:11:48 +1 to Boris 18:11:54 are we allowing abbreviations without namespace 18:11:55 +1 18:11:57 schneid: RDF-Based Semantics refers to CURIE spec, but only uses CURIEs for presentational reasons, to have the particular IRIs in the document being presented in an abbreviated form 18:11:58 q? 18:12:34 q+ 18:12:37 + +1.301.351.aabb 18:12:37 alanr: are we allowing no colon 18:12:40 q+ 18:12:54 ack sandro 18:12:56 bparsia: we can choose to enforce it. will check with SPARQL 18:13:10 ack ivan 18:13:12 ack ivan 18:13:14 sandro: having a no colon name is bad because it is hard to evolve 18:13:19 zakim, ++1.301.351.aabb is me 18:13:19 sorry, ekw, I do not recognize a party named '++1.301.351.aabb' 18:13:21 ivan: we should not have that 18:13:38 q+ 18:13:40 alanr: do we want to wait for SPARQL comment? 18:13:41 q- 18:13:49 bmotik: SPARQL mandates it 18:14:02 calvanese has joined #owl 18:14:10 let's go for PREFIX, just like SPARQL 18:14:17 +1 18:14:17 q+ 18:14:19 ship it:-) 18:14:24 ack bmotik 18:14:31 zakim, 1.301.351.aabb is me 18:14:31 sorry, ekw, I do not recognize a party named '1.301.351.aabb' 18:14:35 eliminate 18:14:35 bmotik: final question, do we still call it CURIEs, 18:14:38 use prefixed name, just like SPARQL 18:14:48 +1 to pfps 18:14:49 alanr: I suggest not 18:14:52 bmotic: agree 18:14:58 +calvanese 18:15:00 bparsia: agree as well 18:15:01 "abbreviated IRIs" 18:15:08 SPARQL syntax says IRIref ::= IRI_REF | PrefixedName 18:15:13 bparia: don't know CURIE will continue 18:15:23 PROPOSED: OWL will not rely on CURIEs spec but will define it's own IRI abbreviation mechanism compatible with the one used by SPARQL 18:15:38 +1 ALU 18:15:39 +1 18:15:39 +1 18:15:40 +1 18:15:41 +1 18:15:43 +1 18:15:43 +1 18:15:44 +1 18:15:46 +1 18:15:47 +1 18:15:48 0 18:15:49 +1 18:15:52 +0 (haven't studied it enough) 18:15:55 +0 18:16:00 RESOLVED: OWL will not rely on CURIEs spec but will define it's own IRI abbreviation mechanism compatible with the one used by SPARQL 18:16:06 +1 18:16:32 http://www.w3.org/2007/OWL/wiki/Naming 18:16:36 scribe: sandro 18:16:48 alan: Ian has written up how he understand we use Names 18:17:03 zakim, mute me 18:17:03 calvanese should now be muted 18:17:08 alan: Question 1 -- does thiis match your sense of the names 18:17:15 Zhe has joined #owl 18:17:17 alan: Question 2 -- where and how should we document this. 18:17:18 q? 18:17:27 I am back. thanks sandro! 18:17:29 q+ 18:17:33 ack ivan 18:17:55 circular: OWL 2 ontology - any OWL 2 ontology 18:18:03 ivan: When the conf. document talks about "OWL 2 Full", it speaks of RDF graphs in general. 18:18:21 "# OWL 2 ontology - any OWL 2 ontology " 18:18:29 Works for me 18:18:37 q? 18:18:38 As in, without qualification! 18:18:47 works fine for me "OWL 2 ontology" is any OWL 2 ontology 18:18:53 That's big enough! 18:18:57 me too 18:19:03 q+ 18:19:14 q+ jar 18:19:18 ack sandro 18:19:27 sandro: don't have a concrete proposal, 18:19:28 noooo:-( 18:19:45 why? 18:19:55 q+ 18:20:06 ack jar 18:20:19 +1 to sandro. the two of us can agree to not use the informal terminology :) 18:20:48 ack IanH 18:21:21 q+ 18:21:56 IanH: could you please put what you said in IRC? 18:22:12 +1 18:22:16 q+ to propose we explain the informal extended terminology, labeling it as "legacy" 18:22:35 ack alanr 18:22:39 ian: And we agree in the spec to minimize the use of the the informal tech. 18:22:51 q+ 18:22:58 ack sandro 18:22:58 sandro, you wanted to propose we explain the informal extended terminology, labeling it as "legacy" 18:22:59 alan: OWL 2 ontology == OWL 2 structure or RDF graph 18:23:17 sandro: what about "legacy", deprecation is too strong 18:23:34 +1 18:23:38 alanr: we agree that we will minimize in the spec 18:24:29 q+ to advocate that we explain these terms in the document overview 18:24:32 ack IanH 18:24:48 IanH: we are consistent when using the term 18:25:03 q? 18:25:13 sandro: I understand we should not say it. maybe we should imply 18:25:15 tender sensibilities will be bruised by Sandro's proposal 18:25:23 :-) 18:25:26 IanH: won't be hostile to some wordsmithing 18:25:30 ack alanr 18:25:30 alanr, you wanted to advocate that we explain these terms in the document overview 18:25:37 never tickle sleeping dragons? 18:25:59 q+ 18:26:10 ack ivaan 18:26:16 alanr: I like to see this in the document overview 18:26:23 +1 to Ivan 18:26:40 "We have avoided use of the term "OWL 2 Full", which is sometimes used to mean, ..., favoring separate terms for RDF Graph and RDF-Based Semantics" 18:26:44 ivan: the current introduction is clear and the conformance is very clear 18:27:18 Sandro is again underestimating the tenderness of sensibilities 18:27:33 It's possible, but still suggest to take this off line 18:27:50 alanr: haven't heard any objection, 18:28:04 ... make sure our usage in the document set follows this 18:28:10 Peter (very kindly) check schema conformance already 18:28:20 s/check/checked/ 18:28:35 -Ivan 18:28:53 bye 18:28:56 bye 18:28:57 -bcuencag2 18:28:58 -msmith 18:28:59 bye 18:28:59 -alanr 18:29:01 -bparsia 18:29:02 bye 18:29:03 - +1.301.351.aabb 18:29:03 bye 18:29:04 -Sandro 18:29:04 -Rinke 18:29:10 -bmotik 18:29:13 -schneid 18:29:14 bye 18:29:15 -uli 18:29:16 bye 18:29:18 -MarkusK_ 18:29:19 -IanH 18:29:22 -Peter_Patel-Schneider 18:29:26 -Zhe 18:29:31 -calvanese 18:29:39 calvanese has left #owl 18:29:53 -zimmer 18:29:55 SW_OWL()1:00PM has ended 18:29:56 Attendees were Peter_Patel-Schneider, bmotik, IanH, +0161868aaaa, Zhe, Sandro, Ivan, uli, bparsia, Rinke, msmith, bcuencag2, zimmer, schneid, MarkusK_, jonathan, +1.301.351.aabb, 18:29:59 ... calvanese 18:38:33 msmith has left #owl 19:55:37 ekw has joined #owl 20:51:32 Zakim has left #owl 22:21:34 ekw has joined #owl 22:49:00 sandro has joined #owl 23:01:45 IanH has joined #owl 23:20:54 IanH_ has joined #owl