16:47:11 RRSAgent has joined #owl 16:47:11 logging to http://www.w3.org/2008/04/23-owl-irc 16:47:28 Zakim, this will be OWLWG 16:47:28 ok, MartinD; I see SW_OWL()12:00PM scheduled to start 47 minutes ago 16:47:49 ScribeNick: MartinD 16:52:13 pfps has joined #owl 16:53:59 SW_OWL()12:00PM has now started 16:54:06 +Peter_Patel-Schneider 16:54:16 -Peter_Patel-Schneider 16:54:17 SW_OWL()12:00PM has ended 16:54:17 Attendees were Peter_Patel-Schneider 16:54:59 SW_OWL()12:00PM has now started 16:55:06 +Peter_Patel-Schneider 16:56:07 zakim, this will be owlwg 16:56:07 ok, pfps; I see SW_OWL()12:00PM scheduled to start 56 minutes ago 16:56:10 msmith has joined #owl 16:56:20 RRSAgent, make records public 16:56:34 I got kicked off a minute ago, so try again 16:56:55 bmotik has joined #owl 16:58:09 not since I turned off my speakers :-) 16:58:18 zakim, who is here 16:58:18 Rinke, you need to end that query with '?' 16:58:22 zakim, who is here? 16:58:22 I notice SW_OWL()12:00PM has restarted 16:58:23 On the phone I see Peter_Patel-Schneider, ??P3, +90827aaaa, ??P6 16:58:24 On IRC I see bmotik, msmith, pfps, RRSAgent, Zakim, Rinke, MartinD, ewallace, trackbot-ng, sandro 16:58:46 Zakim, 908 is me 16:58:47 sorry, MartinD, I do not recognize a party named '908' 16:58:47 Zakim, ??P6 is me 16:58:47 +bmotik; got it 16:58:51 bijan has joined #owl 16:58:52 Zakim, mute me 16:58:52 bmotik should now be muted 16:58:55 Zakim, aaaa is me 16:58:56 +MartinD; got it 16:59:08 Zakim, who is here? 16:59:08 On the phone I see Peter_Patel-Schneider, ??P3, MartinD, bmotik (muted) 16:59:10 On IRC I see bmotik, msmith, pfps, RRSAgent, Zakim, Rinke, MartinD, ewallace, trackbot-ng, sandro 16:59:13 Zakim, ??P3 is me 16:59:13 +Rinke; got it 16:59:16 zakim, mute me 16:59:16 Rinke should now be muted 16:59:17 bijan has joined #owl 16:59:27 alanr has joined #owl 16:59:28 zakimm, mute me 16:59:34 zakim, mute me 16:59:34 MartinD should now be muted 16:59:36 uli has joined #owl 17:00:07 +??P30 17:00:16 +??P35 17:00:16 zakim, ??p30 is me 17:00:17 +bijan; got it 17:00:21 diegoc has joined #owl 17:00:22 zakim, mute me 17:00:22 bijan should now be muted 17:00:28 zakim, ??P35 is me 17:00:28 +uli; got it 17:00:32 IanH has joined #owl 17:00:35 zakim, mute me 17:00:35 uli should now be muted 17:00:41 + +1.617.253.aabb 17:01:23 +diegoc 17:01:41 MarkusK has joined #owl 17:01:45 +IanH 17:01:53 +msmith 17:02:06 +Evan_Wallace 17:02:08 baojie has joined #owl 17:02:10 markus, will you be able to scribe until end of call? 17:02:12 +[IPcaller] 17:02:45 jeremy_ has joined #owl 17:02:49 IanH, I'm going to be a bit late to the meeting, sorry. 17:02:51 I request tha nary-data predicates be put on the General Discussions list 17:03:08 There is quite a worked out proposal: http://www.w3.org/2007/OWL/wiki/N-ary_Data_predicate_proposal 17:03:12 Topic: Roll call 17:03:17 Agenda amendments: I have change the deadline for action 112 so this need not be discussed 17:03:26 noted 17:03:45 And there is an issue: http://www.w3.org/2007/OWL/tracker/issues/5 17:03:46 Great 17:03:50 zakim, unmute me 17:03:50 MartinD should no longer be muted 17:04:10 +??P13 17:04:33 no 17:04:40 alanr, I think so -- is there another scribe before me or am I the only one? 17:04:40 zakim, who is here? 17:04:40 On the phone I see Peter_Patel-Schneider, Rinke (muted), MartinD, bmotik (muted), bijan (muted), uli (muted), +1.617.253.aabb, diegoc (muted), IanH (muted), msmith, Evan_Wallace, 17:04:45 ... MarkusK, jeremy_ 17:04:49 On IRC I see JeremyCarroll, baojie, MarkusK, IanH, diegoc, uli, alanr, bijan, bmotik, msmith, pfps, RRSAgent, Zakim, Rinke, MartinD, ewallace, trackbot-ng, sandro 17:05:01 I am scribing.... no probs... things setup 17:05:23 zakim, who is here? 17:05:23 On the phone I see Peter_Patel-Schneider, Rinke (muted), MartinD, bmotik (muted), bijan (muted), uli (muted), +1.617.253.aabb, diegoc (muted), IanH (muted), msmith, Evan_Wallace, 17:05:27 ... MarkusK, JeremyCarroll 17:05:28 alanr: we're starting 17:05:29 On IRC I see JeremyCarroll, baojie, MarkusK, IanH, diegoc, uli, alanr, bijan, bmotik, msmith, pfps, RRSAgent, Zakim, Rinke, MartinD, ewallace, trackbot-ng, sandro 17:05:44 zakim,aabb is me 17:05:44 +alanr; got it 17:06:00 Topic: Agenda amendments 17:06:19 Alanr: F2F - we're settling 18-29 July at MIT 17:06:28 28-29 17:06:31 + +1.518.276.aacc 17:06:34 a/18/28 17:06:43 Zakim, aacc is baojie 17:06:43 +baojie; got it 17:06:43 q? 17:07:01 zakim, who is talking 17:07:02 I don't understand 'who is talking', alanr 17:07:14 Is it just me or has the line gone dead? 17:07:23 Zakim, who is speaking? 17:07:23 i hear just static 17:07:27 static 17:07:31 here too 17:07:36 JeremyCarroll, listening for 10 seconds I could not identify any sounds 17:07:40 liar 17:07:49 Sound like background noise 17:07:49 mutes baojie 17:07:56 zakim, mute baojie 17:07:56 baojie should now be muted 17:08:00 better! 17:08:20 Alanr: F2F - we're settling 28-29 July at MIT 17:08:35 http://www.w3.org/2002/09/wbs/41712/f2f3_dates/results 17:08:38 alanr: topic on issues raised and how handled 17:09:01 alanr: talking to IanH and things are going to change how issues are handled, raised, 17:09:14 alanr: there was an email about first batch of issues to review 17:09:32 Topic: Pending actions 17:10:13 alanr: four points - update on RDF mapping (ISSUE 115) 17:10:32 alanr: ISSUE 137, ISSUE 120, ISSUE 138 17:10:58 q? 17:11:01 {Action|115} Update the RDF mapping with the accepted resolution of ISSUE-12 as per Peter's suggestion/Boris 17:11:13 PROPOSED: the above issues to be considered done 17:11:26 Zakim, unmute me 17:11:26 bmotik should no longer be muted 17:11:27 My overdue acitions got siderailed by the easyclasskey discussion so remain undone 17:11:31 Should be done in a few days 17:11:37 RESOLVED: SSUE 137, ISSUE 120, ISSUE 138, ISSUE 115 done 17:11:43 Topic: Previous minutes 17:11:52 minimally acceptable - scribes should prefix their comments with their names 17:11:54 alanr: are minutes acceptable? 17:12:13 I will change my comments... 17:12:19 PROPOSED: Accept Previous Minutes (16 April) 17:12:37 RESOLVED: Accept Previous Minutes (16 April) 17:13:04 Action 115 (Update the RDF mapping with the accepted resolution of ISSUE-12 as per Peter's suggestion/Boris) 17:13:06 Zakim, mute me 17:13:06 bmotik should now be muted 17:13:10 Scroll up in the log 17:13:25 bijan : My overdue acitions got siderailed by the easyclasskey discussion so remain undone 17:13:25 bijan : Should be done in a few days 17:13:29 bijan: should be done in a few days 17:14:09 Jeremy: to review doc on OWL compatibility with RIF - prob. mid May 17:14:31 Topic: Raised Issues 17:14:37 alanr: will be timed to 30 mins 17:15:02 alanr: two raised issues 113 (http://www.w3.org/2007/OWL/tracker/issues/113) 17:15:28 alanr: Open/Shut per Jeremy's note (http://lists.w3.org/Archives/Public/public-owl-wg/2008Apr/0198.html) 17:15:39 issue-113: I am OK with this (but still -epsilon vote!) 17:15:40 alanr: Issue 115 Icon needed for the WG pages. 17:15:42 i'll remind him 17:15:49 alanr: minor change, not related to OWL 17:16:05 alanr: Issue 120 Bug fixes to OWL 1 Semantics/Backwards compatibility 17:16:20 alanr: considered editorial, already updated to reflect the issue 17:16:22 q? 17:16:25 alanr: any further issues 17:16:36 alanr: proposals to resolve issues 17:16:59 alanr: {Issue|22} Syntactic sugar for a rule, per email 17:17:05 q+ 17:17:11 +1 17:17:11 alanr: we suggest to close it with no action 17:17:16 q? 17:17:50 q+ to mention possibility of postponement 17:17:55 markusk: ok to close but there are some issues that may violate rules in the future, in theory problematic 17:17:58 q+ to comment 17:18:05 alanr: does this affect spec? 17:18:15 ack Markus 17:18:33 markusk: if you want to express... 17:18:49 ack JeremyCarroll 17:18:49 JeremyCarroll, you wanted to mention possibility of postponement 17:19:12 zakim, unmute me 17:19:12 uli should no longer be muted 17:19:12 Jeremy: maybe we should postpone these issues to future WG-s? 17:19:21 Uli: agrees to close this issue 17:19:33 uli: maybe consider this in the next extensions to OWL 17:19:39 OK, I am fine with that. 17:19:51 uli: might not be right point to talk about this, also late? 17:20:09 alanr: non-structural constraints in the current work? 17:20:11 closed: "no action" sort of postponed. 17:20:23 this email from Carsten just came in, http://www.w3.org/mid/Pine.LNX.4.64.0804231914440.2230%2540frege.inf.tu-dresden.de 17:20:29 q+ to further argue for postponement 17:20:29 uli: some work can be done, but not really to change it all now 17:20:41 alanr: nothing to do on this now... 17:20:52 zakim, unmute me 17:20:52 uli was not muted, uli 17:20:59 me too 17:21:08 zakim, mute me 17:21:08 uli should now be muted 17:21:28 PROPOSED: Consider ISSUE 22 formally postponed 17:21:41 +1 to postpone 17:21:42 +1 17:21:43 +1 17:21:44 +1 17:21:46 +1 17:21:46 +1 17:21:47 +1 17:21:47 +1 17:21:48 +1 17:21:50 +1 17:21:56 +1 17:22:07 RESOLVED: Consider ISSUE 22 formally postponed 17:22:25 Topic: Issue 57 Errata in OWL 1.0 documents, 17:22:48 alanr: some errors spotted in OWL doc, since they are not worked on, we should close or postpone this 17:22:59 q+ 17:23:04 alanr: suggests postponing 17:23:04 q- 17:23:08 ack uli 17:23:20 ack JeremyCarroll 17:23:20 JeremyCarroll, you wanted to further argue for postponement 17:23:24 JeremyCarroll: probably postpone is better 17:23:25 ack pfps 17:23:44 Elisa has joined #owl 17:23:50 postpone is better 17:23:58 None of the erros show up in OWL2 yes? 17:24:01 alanr: strawpoll on postpone vs. close 17:24:01 I will vote 0 but don't wish to argue further 17:24:04 postpone 17:24:06 Close 17:24:06 close 17:24:08 0 (neither postpone nor close) 17:24:11 close, I guess 17:24:13 0 17:24:14 close 17:24:14 close 17:24:16 0 17:24:18 0 17:24:19 0 17:24:23 Close 17:24:25 clsoe 17:24:30 alanr: let's close it then 17:24:39 PROPOSED: Close ISSUE 57 17:24:42 0 17:24:45 0 17:24:58 +Elisa_Kendall 17:24:59 as moot 17:25:21 0 17:25:21 +1 17:25:23 +1 17:25:23 0 17:25:25 +1 to close 17:25:32 +1 17:25:32 +1 17:25:34 +1 to the moot 17:25:35 +1 close 17:25:37 PROPOSED: Issue 57 Errata in OWL 1.0 documents closed as moot (not relevant) 17:25:41 +1 to close 17:25:44 0 17:25:46 +1 17:25:49 +1 17:25:57 RESOLVED: Issue 57 Errata in OWL 1.0 documents closed as moot (not relevant) 17:26:09 Topic: Issue 106 OWL 2 namespace per proposal 17:26:20 q+ 17:26:27 Zakim, unmute me 17:26:27 bmotik should no longer be muted 17:26:30 ack bmotik 17:26:35 alanr: what about namespaces? we keep old one, so OWL2 has the same namespace as the old one 17:26:56 bmotik: are we talking about RDF only or also about XML 17:27:01 alanr: only about RDF 17:27:02 +super1 17:27:02 Zakim, mute me 17:27:04 bmotik should now be muted 17:27:39 PROPOSED Resolve Issue 57 by saying that new OWL 2 vocabulary goes in old OWL 1 namespace 17:27:42 0 (there are differences of opinion in HP) 17:27:42 +100 17:27:44 +1 to make owl2 be the same as owl :-) 17:27:46 +1 17:27:49 0 17:27:52 +1 17:27:53 0 17:27:54 0 17:27:54 +1 17:27:57 +1 17:27:59 +1 17:28:00 +1 17:28:04 0 17:28:11 +1 17:28:11 ACCEPTED Resolve Issue 57 by saying that new OWL 2 vocabulary goes in old OWL 1 namespace 17:28:28 Topic: Issue 63 Defining an RDFS compatible semantics 17:28:37 alanr: not sure if to accept this as a real issue 17:28:40 +1 17:28:45 alanr: should we close it completed 17:29:02 PROPOSED Close Issue 63 as done. 17:29:04 +1 17:29:05 q? 17:29:09 +1 17:29:10 +1 to agree that we're doing what we should 17:29:10 +1 17:29:13 +1 17:29:14 0 17:29:15 +1 to close ISSUE-63 17:29:17 +1 17:29:17 +1 17:29:19 +1 17:29:20 +1 17:29:22 +1 17:29:31 +1 17:29:34 RESOLVED Close Issue 63 as done. 17:29:35 diegoc has left #owl 17:29:54 s/ACCEPTED/RESOLVED 17:30:00 Topic: Issue discussion 17:30:09 Topic: Issue 119 Russel paradox in OWL Full due to self restrictions. 17:30:26 alanr: OWL full comprehension issue 17:30:39 q+ to ask peter about solipism 17:30:47 ack JeremyCarroll 17:30:47 JeremyCarroll, you wanted to ask peter about solipism 17:31:05 diegoc has joined #owl 17:31:12 JeremyCarroll: to members of previous OWLWG, whether there is new evidence to reconsider comprehension principle? 17:31:18 q+ 17:31:23 ack pfps 17:31:45 pfps: relationship between DL and Full needs rethink 17:32:01 pfps: if comprehension principle goes away 17:32:20 q+ 17:32:30 alanr: what do we lose if we go the wway Jeremy proposed 17:33:23 ack pfps 17:33:26 JeremyCarroll: deleting all comprehension principles allows us to rethink all relations, practically that might not be valuable? 17:33:43 pfps: one can do a patch to keep things the same, 17:33:59 pfps: that might be adequate 17:34:03 q+ 17:34:15 ack IanH 17:34:15 Have I seen this patch? 17:34:17 zakim, unmute me 17:34:17 IanH was not muted, IanH 17:34:30 alanr: action on Peter or Ian? 17:34:51 IanH: agrees with Peter, needs convincing that we should completely revise OWL Full semantics 17:35:10 IanH: this might be close to "out of scope" w.r.t. our charter 17:35:35 I wouldn't mind a new owl full, whether we can agree on the new version is a different issue :) 17:35:37 alanr: someone should coordinate, sheperd the patching process 17:35:40 OK 17:36:09 zakim, who is here? 17:36:11 On the phone I see Peter_Patel-Schneider, Rinke (muted), MartinD, bmotik (muted), bijan (muted), uli, alanr, diegoc (muted), IanH (muted), msmith, Evan_Wallace, MarkusK, 17:36:14 ... JeremyCarroll, baojie (muted), Elisa_Kendall 17:36:16 On IRC I see diegoc, Elisa, JeremyCarroll, baojie, MarkusK, IanH, uli, alanr, bijan, bmotik, msmith, pfps, RRSAgent, Zakim, Rinke, MartinD, ewallace, trackbot-ng, sandro 17:36:28 ACTION: IanH to sheperd/coordinate the patching process (per ISSUE 119) 17:36:28 Sorry, couldn't find user - IanH 17:36:49 Topic: Issue 97 Add GRDDL to OWL/XML Syntax 17:36:51 q+ on 97 17:37:02 q+ 17:37:08 ack JeremyCarroll 17:37:14 alanr: anyone willing to take this issue? 17:37:15 ack on 17:37:16 q- on 17:37:20 q- 97 17:37:34 zakim, unmute me 17:37:34 bijan should no longer be muted 17:37:41 q? 17:37:45 ack bijan 17:37:47 bijan: wants to say a thing on GRDDL 17:37:50 ACTION: IanH to sheperd/coordinate the patching process (per ISSUE 119) 17:37:50 Sorry, couldn't find user - IanH 17:38:21 I think we need the XSLT! 17:38:33 RSSAgent claims not to recognise me -- I will do it the old fashioned way! 17:38:40 bijan: this seems to be almost editorial, depends on what level we are looking at this... 17:39:01 bijan: there might be issue with going only for XSLT transformations 17:39:19 That's a real difference of opinion 17:39:33 Think I agree with bijan on this point, esp. since the syntax is still in flux 17:39:49 q+ to respond to Bijan 17:39:59 alanr: new information; why don't we ... 17:40:02 ack JeremyCarroll 17:40:02 JeremyCarroll, you wanted to respond to Bijan 17:40:15 alanr: discuss it later when there are others like Ivan and Sandro 17:40:37 JeremyCarroll: we may get into maintenance problem; can clearly state that text is normative 17:41:27 bijan: with OWL API we already have pretty reliable implementation, no point in preferring one implementation or that it should be part of OWLWG deliverables 17:41:33 OWL API relation to OWL2 spec? 17:41:47 OWL API tracks the OWL2 spec 17:42:05 alanr: my concern was satisfied with GRDDL; the main thing now is an easy, compatible translation 17:42:29 bijan: there was supposed to be spec and then possibly different implementations? 17:42:46 JeremyCarroll: GRDDL addresses how to do transformation from XSLT 1 17:43:01 JeremyCarroll: that was recommended 17:43:58 That's cute! 17:44:02 alanr: there is a trick, if you want to create a transformation into a language, create a trivial XSLT that replaces the output with the translation... can be done 17:44:06 As noted above, each GRDDL transformation specifies a transformation property, a function from XPath document nodes to RDF graphs. This function need not be total; it may have a domain smaller than all XML document nodes. For example, use of xsl:message with terminate="yes" may be used to signal that the input is outside the domain of the transformation. 17:44:25 q? 17:44:34 http://www.w3.org/TR/grddl/#txforms 17:44:34 ACTION: alanr to explore whether a simple transformation via XSLT would work in this case 17:44:34 Sorry, couldn't find user - alanr 17:44:46 Topic: Other issues discussion 17:45:12 Topic: Issue 111 User intent signalling 17:45:17 Jeremy, I don't read the GRDDL spec as you do, afaict 17:45:35 alanr: would be good to allow users to signal, flag that ontology should be interpreted as OWL1, etc. 17:45:49 alanr: in the past MIME type was rejected 17:45:56 q? 17:45:57 q+ 17:46:01 alanr: Sandro put an initial email, any comments? 17:46:01 q+ 17:46:02 ack bmotik 17:46:04 Zakim, unmute me 17:46:04 bmotik was not muted, bmotik 17:46:06 Sorry, but I have to leave now. 17:46:13 -IanH 17:46:37 bmotik: idea was good, we need to include in the doc a switch to use given OWL semantics 17:47:01 bmotik: given RDF doc, we need to see under what OWL it is interpreted (DL, Full,...) 17:47:10 action: alanr to show trick for how to *generate* an xslt to create a grddl transform 17:47:10 Sorry, couldn't find user - alanr 17:47:13 bmotik: maybe we don't need a switch per profile 17:47:16 q+ 17:47:20 Zakim, mute me 17:47:20 bmotik should now be muted 17:47:25 ack JeremyCarroll 17:47:48 JeremyCarroll: correction - MIME wasn't rejected in principle, just because there was no time 17:48:07 alanr: from notes - this was not needed at the time 17:48:16 +Sandro 17:48:20 q? 17:48:29 zakim, unmute me 17:48:29 bijan was not muted, bijan 17:48:44 bijan: one problem with MIME - tends not to work offline 17:48:50 bijan: not robust enough 17:49:03 q? 17:49:12 ack bijan 17:49:15 q+ to ask about what to do about interaction between imports and conflicting user intent 17:49:33 bijan: for profiles - one reason for including is that people may want to signal that a mixed ontology is interpreted in appropriate way (say DL) 17:49:54 Agree with Bijan, but then we might use then a different switch 17:49:55 bijan: not necessary to disambiguate semantics, but good to flag if users want to emphasize 17:50:03 zakim, mute me 17:50:03 bijan should now be muted 17:50:04 ack alanr 17:50:05 alanr, you wanted to ask about what to do about interaction between imports and conflicting user intent 17:50:27 importing file wins 17:50:28 alanr: what happens when doing imports and there are different intents in diff files 17:50:39 sandro: mentioned in email, but no good answer 17:50:56 q? 17:51:00 q+ alanr 17:51:13 sandro: not sure anybody knows how to implement certain combinations = may need to ban certain combinations? 17:51:27 q+ 17:51:31 ack alanr 17:51:47 ack JeremyCarroll 17:51:51 alanr: in solving this issue, we need to discuss and know what is the behavior 17:52:19 JeremyCarroll: maybe we should have no semantics involved here, just graph (?) 17:52:26 -MarkusK 17:52:51 +??P11 17:52:53 JeremyCarroll: to understand triples if we want to have just a graph, you can't use RDF semantics, as graph has no semantics 17:52:56 Ok, in case of incompatible profiles, then a warning to the user SHOULD be signaled and the user offered a choice of which semantics to use 17:53:19 alanr: kind of like intended semantics RDF entailment 17:53:20 Rdf Abstract Syntax semantics, simple interpreation, rdf, rdfs... 17:53:22 q? 17:53:29 er...plus d entailment variants 17:53:57 alanr: specific suggestions from bijan, sandro, jeremy? discuss on email and come back with revised proposal 17:54:08 Alan: Bijan, Jeremy, Sandro, Boris --- you four discuss over e-mail and bring back a revised proposal. 17:54:17 Please no, I'm swamped 17:54:20 I can reply to sandro's email 17:54:28 [I am leaving early, sorry. On EasyKeys it would be good to have some Full semantics] 17:54:47 alanr: out of time... 17:54:47 Alan: okay - let's let this lie for a few weeks. 17:55:19 -JeremyCarroll 17:55:20 Topic: General discussion 17:55:28 Topic: Easy keys 17:55:32 zakim, unmute me 17:55:32 uli was not muted, uli 17:55:34 top property discussion postponed? 17:55:38 http://www.w3.org/2007/OWL/wiki/Easy_Keys 17:55:39 yes 17:55:46 unless we have remaining time today 17:55:57 Rdf mapping: http://www.w3.org/2007/OWL/wiki/Easy_Keys#RDF_Mapping 17:56:02 uli: in the easy keys proposals we described a few things more explicit 17:56:29 uli: semantics more explicit, explained why "easy", why this would cause problems 17:56:34 q? 17:56:34 Zakim, unmute te 17:56:35 sorry, bmotik, I do not know which phone connection belongs to te 17:56:40 Zakim , unmute me 17:56:46 q+ 17:56:51 ack bijan 17:56:54 zakim, unmute me 17:56:54 bijan was not muted, bijan 17:56:56 Zakim, unmute me 17:56:56 bmotik should no longer be muted 17:57:05 Sorry, I had problems unmuting me 17:57:14 zakim, mute me 17:57:14 uli should now be muted 17:57:38 bijan: there is one raised, open issue - depends on what we do about key and b-nodes (?)... if variables can't do with easy keys 17:57:53 q? 17:58:13 alanr: can you collect situations we are trying to accomplish here? 17:58:21 q? 17:58:26 bijan: will be included on easy keys page 17:58:39 zakim, mute me 17:58:39 bijan should now be muted 17:58:50 q? 17:58:53 bmotik: spoke to uli and got explanations, so no more reservations left 17:59:05 Zakim, mute me 17:59:05 bmotik should now be muted 17:59:17 q+ 17:59:21 alanr: we don't have achille and zhe - implementers and their position on this 17:59:26 ack bijan 18:00:23 bijan: the intent of easy keys was to make it easy for implementation; unless they start messing with datatypes 18:00:35 What is meant by mucking around with datatypes? 18:00:37 bijan: should work with anything that follows datalog rules 18:01:00 alanr: bijan can you add a note about the case you worry about or explain it 18:01:41 bijan: when you thing about dl-safe rules and datalog, you may not have some things (e.g. negation) in the right place, maybe boris, uli can tell more 18:01:46 zakim, unmute me 18:01:46 uli should no longer be muted 18:02:12 OK Thanks, looking at that now 18:02:15 bijan: if you have finite datatypes you may have more work to do 18:02:26 zakim, mute me 18:02:26 uli should now be muted 18:02:29 Jeremy left, didn't he? 18:02:34 alanr: Jeremy is also among implementers - any issues? 18:02:41 zakime, who is here? 18:02:47 zakim, who is here? 18:02:47 On the phone I see Peter_Patel-Schneider, Rinke (muted), MartinD, bmotik (muted), bijan, uli (muted), alanr, diegoc (muted), msmith, Evan_Wallace, baojie (muted), Elisa_Kendall, 18:02:50 ... Sandro, MarkusK 18:02:52 On IRC I see diegoc, Elisa, JeremyCarroll, baojie, MarkusK, IanH, uli, alanr, bijan, bmotik, msmith, pfps, RRSAgent, Zakim, Rinke, MartinD, ewallace, trackbot-ng, sandro 18:02:52 JeremyCarroll : [I am leaving early, sorry. On EasyKeys it wo 18:02:52 Zakim : -JeremyCarroll 18:02:53 Jeremy left 18:03:23 alanr: affirmative responses from three implementers so that we can report on this 18:03:28 q+ 18:03:31 alanr: action needed 18:03:33 ack pfps 18:03:34 3 /other/ implementers. bmotik and I both implement reasoners 18:03:50 And me, Ian, and Peter 18:04:22 (at least) 18:04:24 ... getting response from all implementers on the WG 18:04:25 action: alan will get responses from Achille,Zhe, Jeremy as implementors - review of Easy Keys proposal 18:04:25 Created ACTION-140 - Will get responses from Achille,Zhe, Jeremy as implementors - review of Easy Keys proposal [on Alan Ruttenberg - due 2008-04-30]. 18:04:50 alanr: other comments on easy keys or a straw poll? 18:05:00 alanr: should we go ahead and have this feature added? 18:05:16 alanr: strawpoll - are we ready to add this to spec 18:05:18 +1 to proceed on EasyKeys 18:05:19 NONBINDING-PROPOSED: add easykeys to spec 18:05:22 +1 18:05:22 +1 18:05:23 +1 to easy keys, they will be added to Pellet 18:05:23 +1 18:05:24 +1 to adding to spec 18:05:25 +1 18:05:26 +1 18:05:26 +1 18:05:27 +1 18:05:27 +1 18:05:34 +1 18:05:38 +1 to adding EasyKeys with usual qualifications 18:05:42 (and fact++) 18:06:03 alanr: looks good, good work from bijan and uli to have proposal in such a good shape 18:06:14 alanr: back to issue l ist 18:06:25 alanr: more discussion on any previous issues 18:06:46 Topic: Issue 71 Data ranges for literals with Language 18:06:52 q+ 18:07:03 ack Bijan 18:07:09 alanr: Jeremy not here, anybody has opinions on this - should we be handling XML literals as well? 18:07:13 -1 on XML literals 18:07:34 q+ to suggest a facet for this purpose 18:07:41 q+ to ask question about XML Literals 18:07:43 bijan: some variant on extending datatype language is fine, to do it somehow - may be useful 18:08:07 q- alanr 18:08:12 Bijan asked my question 18:08:28 also -1 to XML literals 18:08:36 bijan: XML literals are a bit dodgy - there is some form of inheritance... we should not support this, we don't support many other XML subtyping, because they are a hard problem 18:08:38 .. and not well-formed 18:08:43 ack pfps 18:08:43 pfps, you wanted to suggest a facet for this purpose 18:08:45 bijan: got for a middle ground 18:08:54 +1 to a facet 18:08:58 pfps: suggests facets for this purpose 18:09:17 +1 to adding facets 18:09:17 pfps: you don't to impose syntax... 18:09:19 A facet would be an easy add 18:09:36 alanr: will you write something for spec how this may look 18:09:48 pfps: response sent to jeremy, may contain enough info 18:09:49 How about an action to add this to the spec? 18:10:07 alanr: jeremy was suggesting wildcarding? is that covered? 18:10:12 q+ 18:10:15 en-* 18:10:18 ack bijan 18:10:20 ack bijan 18:10:28 alanr: e.g. EN* not necessarily, EN-GB EN-US 18:11:02 bijan: if we want this from scratch, we can represent this using schema - string + values (facets can go into string part) 18:11:31 bijan: this is not a fundamentally difficult thing, just needs to be in a neat way 18:11:57 q? 18:11:58 bijan: we should be able to search, cluster strings and in principle it's about having pattern facets 18:12:14 pattern facets are in the spec 18:12:17 alanr: what is the status of this right now? 18:12:20 xsd:string, xsd:normalizedString, xsd:anyURI, 18:12:20 xsd:token, xsd:language, xsd:NMTOKEN, 18:12:20 xsd:Name, xsd:NCName, 18:12:20 xsd:hexBinary, xsd:base64Binary 18:12:20 length, minLength, maxLength, pattern 18:12:30 Table 1 18:12:56 http://www.w3.org/2007/OWL/wiki/Syntax#Datatype_Restrictions 18:12:59 alanr: will it be easier to use patterns? bijan, will spec ideas? 18:12:59 am I offering... 18:13:05 I guess 18:13:29 q? 18:13:31 alanr: other comments? 18:13:53 ACTION: Work out syntax for langed literals 18:13:53 Sorry, couldn't find user - Work 18:13:54 Topic: Issue 112 Top property 18:14:09 ACTION on bijan to work out syntax for langed literals 18:14:14 q+ 18:14:19 alanr: someone who understands "top" property to update us 18:14:20 zakim, unmute me 18:14:20 uli should no longer be muted 18:14:48 q- 18:14:52 uli: we were unsure how to call it, but for some reason we needed "bottom" role, there was some discussion on universality 18:14:59 +1 to uli's summary 18:15:05 uli: reasoners can get away with faking this 18:15:09 zakim, mute me 18:15:09 uli should now be muted 18:15:47 zakim, unmute me 18:15:47 uli should no longer be muted 18:16:01 alanr: bottom role - when debugging ontologies, one thing that came with unsatisfiable roles was that it could not have any values - could this be equivalent to a bottom role (e.g. maxCard 0) 18:16:19 uli: might be a way to fake implementing bottom properties 18:16:30 uli: maybe this needs syntactic sugar to name this 18:16:42 alanr: would this add burden to reasoners? 18:16:43 yes please have name for both topProperty and bottomProperty if supported 18:16:57 uli: not really, reasoners can handle this 18:17:05 alanr: what the name should be 18:17:19 alanr: there are few possibilities, anybody? 18:17:30 uli: some in the email posted recently... 18:17:31 The issue lists: "universalProperty", "thingProperty", "relatesTo", "topProperty", "universal" 18:17:35 toAll, toNone 18:17:47 zakim, mute me 18:17:47 uli should now be muted 18:17:48 goodnight to All 18:18:04 goodnight "toAll" 18:18:11 zakim, unmute me 18:18:11 uli should no longer be muted 18:18:16 relatesTo, doesNotRelateTo 18:18:26 uli: should mirror owl:thing 18:18:33 +1 to uli "relates to" implies a meaning 18:18:40 uli: relatesTo implies meaning which it doesn't really have 18:18:41 owl:TopProperty and owl:BottomProperty 18:18:47 +1 to bijan 18:18:50 +1 18:18:56 zakim, mute me 18:18:56 uli should now be muted 18:18:59 let's do Dr Seuss (Thing and Thing2) 18:19:07 owl:BijanProperty and owl:JermeyProperty 18:19:19 zakim, unmute me 18:19:19 uli should no longer be muted 18:19:27 alanr: the usual way to read properties is like a sentence - A topproperty B... sounds like relation between them 18:19:56 uli: topProperty should related every individual with every other individual 18:20:07 owl:isRelatedVacuouslyTo 18:20:13 uli: "relatesTo" may be too ambiguous 18:20:14 +1 to uli again: "topProperty" implies no *relevant* relation whatsoever 18:20:17 there is the expectation that "relates to" has some domain implication 18:20:18 owl:isNotRelatedAtAllNyahNyeahTo 18:20:34 zakim, mute me 18:20:34 uli should now be muted 18:20:46 alanr: no problems with this 18:20:56 alanr: strawpoll on adding top and bottom roles to OWL 2 18:21:04 +1 to add top and bottom roles to OWL2 18:21:04 NONBINDING-PROPOSED: add "top" and "bottom" by some name, to OWL 2 ? 18:21:09 +1 18:21:11 +1 to add them 18:21:14 +1 18:21:15 +1 to adding top and bottom roles 18:21:17 +1 18:21:17 +1 18:21:26 +1 18:21:28 +0 no clueif it's really useful 18:21:29 +top 18:21:57 alanr: we have good sentiment that this is worth adding, let's discuss the actual names on email 18:22:16 alanr: one last thing 18:22:43 separate 18:22:43 alanr: where we are going on whether there should be 1 or 2 OWL semantics documents... 18:22:50 alanr: should there be one or separate 18:23:14 hurray! 18:23:15 alanr: adjourned 18:23:19 5 minutes early! 18:23:20 bye! 18:23:21 bye 18:23:22 -Sandro 18:23:22 bye 18:23:23 -baojie 18:23:23 -bmotik 18:23:24 -Evan_Wallace 18:23:24 -alanr 18:23:25 thanks, bye 18:23:25 -msmith 18:23:26 -MarkusK 18:23:28 -uli 18:23:28 bye 18:23:30 -diegoc 18:23:34 -bijan 18:23:35 -Rinke 18:23:37 -Elisa_Kendall 18:23:43 -MartinD 18:24:10 sandro, you got the notes? 18:24:17 minutes? 18:24:28 how to generate them 18:24:30 > 18:24:32 ? 18:24:42 sandro usuall handles 18:24:50 rrsagent, draft minutes 18:24:50 I have made the request to generate http://www.w3.org/2008/04/23-owl-minutes.html alanr 18:24:58 rrsagent, make log public 18:25:17 MartinD, hold on 5 minutes? 18:25:25 ee, sure 18:26:55 Chair: Alan 18:27:02 Zakim, list attendees 18:27:02 As of this point the attendees have been Peter_Patel-Schneider, +90827aaaa, bmotik, MartinD, Rinke, bijan, uli, +1.617.253.aabb, diegoc, IanH, msmith, Evan_Wallace, MarkusK, 18:27:05 ... JeremyCarroll, alanr, +1.518.276.aacc, baojie, Elisa_Kendall, Sandro 18:27:10 -Peter_Patel-Schneider 18:27:11 SW_OWL()12:00PM has ended 18:27:12 Attendees were Peter_Patel-Schneider, +90827aaaa, bmotik, MartinD, Rinke, bijan, uli, +1.617.253.aabb, diegoc, IanH, msmith, Evan_Wallace, MarkusK, JeremyCarroll, alanr, 18:27:14 ... +1.518.276.aacc, baojie, Elisa_Kendall, Sandro 18:27:41 Present: pfps, bmotik, MartinD, Rinke, bijan, uli, diegoc, IanH, msmith, Evan_Wallace, MarkusK, JeremyCarroll, alanr, baojie, Elisa_Kendall, Sandro 18:29:13 Okay, MartinD, http://www.w3.org/2007/OWL/wiki/Teleconference.2008.04.23/Minutes should be a good starting point. 18:29:29 sandro, trackbot was not recognizing actions on users 18:29:36 sorry - dismissed DCC chat accidentally. 18:30:01 sandro, trackbot was not recognizing actions on users 18:30:02 I'm not surprised. Um, e-mail Alan and ask what he wants done about that...? 18:30:12 so, there might be some mess in recording actions 18:30:17 or e-mail team-owl-chairs@w3.org rather 18:30:30 or I can. never mind -- I'll do it. 18:31:16 ok, thanks... I will look at the minutes later today