17:56:57 RRSAgent has joined #owl 17:56:57 logging to http://www.w3.org/2008/02/20-owl-irc 17:56:57 MichaelSmith has joined #owl 17:57:05 IanH has joined #owl 17:57:48 -??P0 17:57:57 zakim, who is on the phone? 17:57:57 On the phone I see pfps 17:58:41 +[IPcaller] 17:58:44 ivan has joined #owl 17:58:59 zakim, pfps is pfps_work 17:58:59 +pfps_work; got it 17:59:07 zakim, pfps_ is pfps 17:59:07 +pfps; got it 17:59:15 zakim, dial ivan-voip 17:59:15 ok, ivan; the call is being made 17:59:16 +Ivan 17:59:18 + +1.202.408.aaaa 17:59:22 zakim, mute me 17:59:22 sorry, pfps_, I do not know which phone connection belongs to you 17:59:34 zakim, aaaa is me 17:59:34 +MichaelSmith; got it 17:59:41 zakim, who is on the phone? 17:59:41 On the phone I see pfps, [IPcaller] (muted), MichaelSmith, Ivan 17:59:45 + +31.20.525.aabb 17:59:52 zakim, pfps is me 17:59:52 +pfps_; got it 17:59:53 Zakim, aabb is me 17:59:54 +Rinke; got it 17:59:59 + +0186527aacc 18:00:12 bmotik has joined #owl 18:00:26 zakim, aacc is IanH 18:00:26 +IanH; got it 18:00:30 rrsagent, draft minutes 18:00:30 I have made the request to generate http://www.w3.org/2008/02/20-owl-minutes.html ivan 18:00:32 +??P5 18:00:43 zakim, who is on the call 18:00:43 I don't understand 'who is on the call', IanH 18:00:50 uli has joined #owl 18:00:51 zakim, who is here? 18:00:51 On the phone I see pfps_, [IPcaller] (muted), MichaelSmith, Ivan, Rinke, IanH, MarkusK 18:00:54 there was no id shown in IRC after I called in - what to do? 18:00:54 On IRC I see uli, bmotik, ivan, IanH, MichaelSmith, RRSAgent, Zakim, MarkusK, bcuencagrau, m_schnei, Rinke, pfps_, Carsten, sandro, pfps, trackbot-ng 18:00:56 + +1.603.897.aadd 18:01:02 +??P7 18:01:08 zhe has joined #OWL 18:01:08 Zakim, ??P7 is me 18:01:08 +bmotik; got it 18:01:14 Zakim, mute me 18:01:14 bmotik should now be muted 18:01:18 rrsagent, set log public 18:01:43 zakim, who is on the phone? 18:01:43 On the phone I see pfps_, [IPcaller] (muted), MichaelSmith, Ivan, Rinke, IanH, MarkusK, +1.603.897.aadd, bmotik (muted) 18:01:57 zakim, aadd is me 18:01:57 +m_schnei; got it 18:02:01 +??P8 18:02:07 ScribeNick: zhe 18:02:11 zakim, ??P8 is me 18:02:11 +uli; got it 18:02:26 Achille has joined #owl 18:02:36 zakim, who is here? 18:02:36 On the phone I see pfps_, [IPcaller] (muted), MichaelSmith, Ivan, Rinke, IanH, MarkusK, m_schnei, bmotik (muted), uli 18:02:38 zakim, mute me 18:02:38 On IRC I see Achille, zhe, uli, bmotik, ivan, IanH, MichaelSmith, RRSAgent, Zakim, MarkusK, bcuencagrau, m_schnei, Rinke, pfps_, Carsten, sandro, pfps, trackbot-ng 18:02:40 uli should now be muted 18:02:41 +??P9 18:02:56 jjc has joined #owl 18:03:08 +[IBM] 18:03:14 Zakim, ??P9 is me 18:03:14 +jjc; got it 18:03:16 +??P11 18:03:21 q- ??P9 18:03:22 Topic: accept previous minutes 18:03:22 look good 18:03:24 Zakim, IBM is Achille 18:03:24 +Achille; got it 18:03:25 minutes are OK 18:03:32 PROPOSED: accept previous previous minutes 18:03:37 Proposed: accept minutes http://www.w3.org/2007/OWL/wiki/Teleconference.2008.02.13/Minutes 18:03:40 zakim, who is here? 18:03:40 On the phone I see pfps_ (muted), [IPcaller] (muted), MichaelSmith, Ivan, Rinke, IanH, MarkusK, m_schnei, bmotik (muted), uli (muted), jjc, Achille, ??P11 18:03:43 On IRC I see jjc, Achille, zhe, uli, bmotik, ivan, IanH, MichaelSmith, RRSAgent, Zakim, MarkusK, bcuencagrau, m_schnei, Rinke, pfps_, Carsten, sandro, pfps, trackbot-ng 18:03:43 +1 18:03:48 +1 18:03:51 Zakim, ??P11 is me 18:03:51 +bcuencagrau; got it 18:04:00 + +49.351.463.3.aaee 18:04:03 RESOLVED: accept minutes of http://www.w3.org/2007/OWL/wiki/Teleconference.2008.02.13/Minutes 18:04:05 +Sandro 18:04:11 Zakim, mute me 18:04:11 bcuencagrau should now be muted 18:04:13 zakim, aaee is me 18:04:13 +Carsten; got it 18:04:27 Zakim, who is speaking? 18:04:44 jjc, listening for 16 seconds I heard sound from the following: IanH (15%) 18:04:47 zakim, drop sandro 18:04:47 Sandro is being disconnected 18:04:49 strange phone call ... 18:04:49 -Sandro 18:05:07 Will the whole telecon fit on that answering machine? 18:05:09 I'm trying to have Zakim call me, since I don't seem to be able to enter DTMF on this system. :-( 18:05:25 But it didn't ring through here, either. :-( 18:05:37 Topic: pending actions review 18:06:15 action 87 completed. 18:06:26 +Sandro 18:06:47 Zakim, who is speaking? 18:06:52 action 88 completed (punning and owl lite) 18:07:06 jjc, listening for 10 seconds I heard sound from the following: IanH (90%) 18:07:23 action 89 completed--Investigate QA group advised recently to have "as few parts as possible" 18:07:33 Topic: Due and overdue actions 18:07:51 action 43 unlikely to happen soon 18:07:56 zakim, unmute me 18:07:56 Sandro should no longer be muted 18:08:17 IanH: update due date? 18:08:36 IanH: action 43 Develop scripts to extract test cases from wiki 18:08:40 zakim, mute me 18:08:40 Sandro should now be muted 18:08:55 no action on sandro to update 18:09:01 Zakim, unmute me 18:09:01 jjc should no longer be muted 18:09:02 action 43 - move due date to three weeks from now 18:09:03 +Alan_Ruttenberg 18:09:08 action 86 Send proposal for issue-91 ontology property 18:09:26 we are talking about 91 today anyway 18:09:30 IanH: jjc to update due date 18:09:41 IanH: general dicussions 18:09:54 Topic: Fragments and Conformance (Continued) 18:10:04 IanH: can we get a working agreement 18:10:31 IanH: Jim is not here. 18:10:57 alanr has joined #owl 18:10:58 IanH: everyone see the email from Alan? 18:11:03 yes 18:11:04 +1 18:11:04 yes 18:11:05 yes 18:11:07 yes 18:11:09 yes 18:11:09 yes 18:11:18 http://lists.w3.org/Archives/Public/public-owl-wg/2008Feb/0120.html 18:11:26 ivan will post emails 18:11:53 -> http://www.w3.org/mid/CEFF86FB-D70A-4DC4-9D14-627841E3644B@gmail.com Alan's last email on the topic 18:11:55 IanH: common understanding of fragmetns 18:12:12 IanH: too many fragments is not a good idea 18:12:39 IanH: Alan's original email: OWLPrime, EL++, DL Lite 18:12:41 q? 18:12:46 ... for rec track 18:12:46 I like the suggestion 18:12:48 q? 18:12:53 zakim, unmute me 18:12:53 pfps_ should no longer be muted 18:12:55 q+ 18:12:55 q+ 18:13:04 q? 18:13:34 Achille: just sent an email. IBM's position is have limited # of fragments. 18:13:44 ... not proposing a new one. 18:13:58 -> http://www.w3.org/mid/OF8A909D25.D5959144-ON852573F5.0062248F-852573F5.00623812@us.ibm.com Achille's answer email 18:14:01 ... need something that suits customer's needs 18:14:14 ... EL like seems to be nice 18:14:14 q+ to ask about IBM and rec-track status 18:14:20 ... like OWLPrime rule based approach 18:14:27 ack Achille 18:14:30 ... not sure if it will scale though 18:14:37 Zakim, unmute me 18:14:37 jjc was not muted, jjc 18:15:18 Achille: like OWLPrime because it is simple, 18:15:34 also care about Alan's 3 point for real scalability 18:15:50 ... DL Lite + transitivity 18:16:07 ... translate to pure sql queries 18:16:12 ... close to Alan's position 18:16:14 q+ 18:16:19 q? 18:16:31 bijan has joined #owl 18:16:37 ack jjc 18:16:45 jjc: consider tradeoffs 18:16:57 jjc: A Box scaliblity is a good measure 18:17:31 +??P15 18:17:37 zakim, ??P15 is me 18:17:37 +bijan; got it 18:17:46 zakim, mute me 18:17:46 bijan should now be muted 18:17:49 q- 18:17:54 q? 18:18:15 jjc: rationale is limit # of fragments. should have clear commercial interests 18:18:21 ack me 18:18:21 pfps_, you wanted to ask about IBM and rec-track status 18:18:24 q? 18:18:28 Zakim, mute me 18:18:28 jjc should now be muted 18:18:32 Substitute "community" interest for "commercial"....commerical viability is one measure of community interest 18:18:46 pfps: to HP, whether REC-ness is vital part for way forward? 18:18:48 Zakim, unmute me 18:18:48 jjc should no longer be muted 18:18:56 ... and to IBM 18:18:59 yes I think it does 18:19:02 matter 18:19:09 IanH: does it really matter for a fragment to be in rec or note 18:19:11 I think it does 18:19:14 jjc: not sure. 18:19:41 q+ to answer a bit better 18:19:48 Achille: does matter. encourage tool and people to adopt 18:19:50 q? 18:20:04 Uli has joined #owl 18:20:15 users often ask for Rec things; govt agencies sometimes are required to use rec things (as opposed to non-rec things); ISO/ANSI is even stronger 18:20:22 q+ 18:20:42 OWL Lite's being rec track *did* help it...people who wouldn't otherwise have used OWL Lite used it because it was a rec. 18:21:10 jjc: a rec should focus on interoperability 18:21:13 q+ 18:21:21 q? 18:21:44 ack jjc 18:21:44 jjc, you wanted to answer a bit better 18:21:56 I wonder if jjc really meand "Commercial" rather than "production quality" implementation 18:21:58 +1 to go forward, but adjust if necessary 18:22:18 IanH: commerical support on DL fragments is tricky 18:22:23 q? 18:22:41 IanH: do we count implementation of DL as implementation for fragments? 18:22:42 My threshold is available, correct implementation with correct complexity. Ideal is open source. 18:22:54 ack zhe 18:22:57 q? 18:23:24 owlprime scales, but is incomplete 18:23:44 Zakim, unmute me 18:23:44 bmotik should no longer be muted 18:23:48 q? 18:24:04 owlprime scales really well. we have tested 1 billion triples 18:24:04 q+ 18:24:16 depends on how you define the semantics, I guess 18:24:22 q? 18:24:25 alanr: owlprime complements DL lite 18:24:33 Zhe, could you please also send a pointer to paper or a document about your scalability results 18:24:50 q? 18:24:50 alanr: important to have one ties closely to completeness 18:25:03 ==> Achille, sure. 18:25:08 thanks! 18:25:14 ack bmotik 18:25:21 q+ 18:25:23 q? 18:25:25 bmotik: requirement on at least 2 interoperable implementations 18:25:43 bmotik: not sure if owlprime has 2 (or if they interoperate) 18:25:52 q? 18:26:11 zakim, unmute me 18:26:11 uli should no longer be muted 18:26:12 Zakim, mute me 18:26:13 bmotik should now be muted 18:26:14 bmotik: even entire OWL FULL does not have such implementations 18:26:19 q+ 18:26:24 q? 18:26:28 ack Uli 18:26:43 uli: can we postpone rec track decision. 18:26:55 q? 18:26:58 +1 for Uli's proposal 18:27:01 ... rather, make clear what exactly is scalability 18:27:15 We seem to have agreement at the moment; should we really defer and wait until agreement vanishes? :-) 18:27:18 ... and how incomplete 18:27:20 +1 to explain "scalable+incomplete" better 18:27:28 ... be happy to study owlprime for example 18:27:40 IanH: is the decision to postpone all fragments? 18:27:55 IanH: or just the one (or ones) that is not totally clear 18:28:03 q+ to respond to Uli 18:28:13 q? 18:28:16 There is possibly another prior discussion, namely which fragments will at least be included in a note 18:28:24 zakim, mute me 18:28:24 uli should now be muted 18:28:24 doubtlessly, each rec-track fragment will require a lot of work from us! 18:28:34 those are likely candidates to go rec-track 18:28:50 Elisa has joined #owl 18:28:57 q? 18:28:58 q+ 18:29:02 +1 to jeremy 18:29:04 q+ 18:29:13 ack jjc 18:29:55 need scribe help on jjc's comments 18:30:06 q+ 18:30:27 ack Achille 18:30:41 Achille: second Uli's suggestion 18:31:11 q? 18:31:40 q? 18:31:42 Achille: no rush here. Different levels of conformance, completeness, not totally clear 18:31:56 q? 18:32:13 ack alanr 18:32:13 alanr, you wanted to respond to Uli 18:32:18 alanr: comment on Uli's suggestion. concern about timeline 18:32:59 ... owlprime fits into two spots: 1) rule based owl. need to specifiy clearly; 2) scalable 18:33:06 q? 18:33:12 ... hard to imagine to have a second fragment like this. 18:33:27 alanr, I see the motivation and highlevel description, I simply want to see some more precise descriptions 18:33:39 q? 18:33:43 ack Carsten 18:33:46 ... timeline is a factor to be considered. 18:33:53 q? 18:34:19 Carsten: if we rec track something, we should do a good job 18:34:34 ... try to have maximal DL fragment and FULL fragment 18:34:40 q? 18:34:45 uli: me too. Worried that time spent deciding takes time from figuring out things. 18:34:51 ... for DL Lite, authors don't know current shape of OWL 1.1 18:35:02 +1 18:35:03 +1 18:35:07 +Elisa_Kendall 18:35:21 ... should invest in DL Lite if we want to put it on rec track 18:35:23 +1 to Carsten: DL Lite before Rec needs to be checked for extensibility with OWL1.1 features 18:35:28 q+ to suggest Carsten adds new issue to issue list 18:35:37 ... OWLPrime, the benefit seems to be scalability 18:35:44 +1 with Carsten's aiming at "optimal compromises" re. performance & expressiveness 18:35:45 ... hard to maximize it 18:35:52 q? 18:35:55 Zakim, unmute me 18:35:55 bmotik should no longer be muted 18:36:09 IanH: I don't think that WG can do a lot of research 18:36:28 q+ 18:36:29 ... fragments have to be based on what we know, instead of more research 18:36:33 ack bmotik 18:36:37 but more power to you, Carsten, if you want to try 18:36:56 bmotik: 1) a strong case for rule bases OWL reasoning. 18:37:06 Note that we decided to *remove* dlp from the fragments document eariler. 18:37:07 q? 18:37:15 seems to be DLP anyway 18:37:47 q? 18:37:57 ... Achille's requirement should be accormodated by DLP 18:38:14 q? 18:38:25 ... believe we should go to maximal subset 18:38:38 ... if vendors think it is hard to implement, we should not woory much. 18:38:40 Zakim, mute me 18:38:40 bmotik should now be muted 18:38:42 alanr, IIRC, *we* didn't decide to remove dlp - the removal was unilateral and reverted. 18:38:42 q? 18:38:45 zakim, unmute me 18:38:45 bijan should no longer be muted 18:38:45 ivan: we should worry 18:38:46 +1 to ivan. At least for part of the spec 18:38:50 ack bijan 18:39:13 +1 to bijan 18:39:26 I agree with Bijan 18:39:31 yup 18:39:32 +1 to bijan 18:39:34 +1 for Bijan 18:39:35 grist for owl 1.2 18:39:35 But we should make *some* attempt 18:39:39 this is what we are doing now isnt it? 18:39:57 with OWL 1.1 I mean 18:40:09 bijan: production quality implementation. 18:40:14 q? 18:40:15 +1 to bijan 18:40:20 ... more importantly, interoperable implementations. 18:40:22 q- 18:40:23 resource bound attempt 18:40:28 ack jjc 18:40:28 jjc, you wanted to suggest Carsten adds new issue to issue list 18:40:30 q? 18:40:31 zakim, mute me 18:40:31 bijan should now be muted 18:40:38 jjc: agree with bijan totally 18:40:40 q? 18:40:55 DLP?? 18:41:04 That's trivial jeremy. 18:41:07 I think he mispoke. Dl-lite 18:41:12 jjc: maybe not research, but some quick check 18:41:19 jjc: on DL Lite fragment 18:41:24 I don't understand it 18:41:28 Sorry jeremy -- I thought you meant DLP. 18:41:38 IanH: I did not mean not to do any investigation 18:41:46 we basically all seem to agree 18:41:47 IanH: do not want lengthy research 18:42:00 jjc: sanity chek DL Lite in the context of OWL 1.1 18:42:01 q+ 18:42:07 ack Uli 18:42:07 IanH: anybody? 18:42:09 What does sanity check mean? 18:42:27 is afraid that this might be true 18:42:29 Uli: don't think a simple sanity on DL Lite is sufficient 18:42:29 +1 to Uli 18:42:52 IanH: it could be that we cannot add anything. 18:42:52 +1 to Uli, DLP is much easier to extend 18:42:53 And we can always ask the DL Lite community to do a sanity check 18:42:53 q? 18:43:20 zakim, mute me 18:43:20 uli should now be muted 18:43:38 jjc is happy if this idea of sanity check is withdrawn 18:43:45 In fact, DLP already contains the maximal set of OWL 1.1 features that obeys the "no existentials and no disjunctions" principle 18:44:11 IanH: do we think it makes sense now to make decisions on fragments? 18:44:24 +1 18:44:24 +1 18:44:25 +1 18:44:26 +1 18:44:28 +1 18:44:28 +1 18:44:28 +1 18:44:29 +1 18:44:29 +1 18:44:30 +1 18:44:31 +1 18:44:31 +1 18:44:31 + 18:44:34 +1 18:44:34 IanH: make some provisional decision on which fragments 18:44:35 Ian: Do we think it makes sense, now, to decide about fragments now? Before asking which fragments.... Is it sensible to make some decision about rec track fragments now? 18:44:36 +1 18:45:16 Ian: Okay, so which fragments, in Alan's order, should be provisionally rec-track? 18:45:22 yes 18:45:27 Ian: (btw we need a name other than "OWL Prime", I think!) 18:45:30 RDFS3.0 18:45:38 -1 18:45:39 we should do a second run to give fragments marketable names 18:45:41 -1 18:45:42 -2 18:45:42 IanH: first one OWLPrime. maybe we want to rename? 18:45:44 forget about names right now 18:45:48 RDFS Deluxe ;-) 18:45:51 Ian: (Since OWL Prime is the name of Oracle's product) 18:45:52 +1 18:45:53 rOWL 18:45:55 +1 18:45:58 OWL Pro 18:45:59 grOWL? 18:46:05 IanH: don't worry about names for now 18:46:07 0 18:46:10 0 18:46:11 +1 18:46:11 +1 18:46:12 0 18:46:13 +1 18:46:13 +1 18:46:15 0 18:46:15 0 18:46:16 0 18:46:16 0 18:46:17 IanH: do we think it is a good candiate for rec track 18:46:17 +1 18:46:18 +1 18:46:19 +1 18:46:21 0 18:46:26 Ian: Is "OWL Prime" a sensible candidate for a rec track fragment. 18:46:27 +1 18:46:38 +1 18:46:41 q+ 18:46:44 0 - needs definition 18:46:45 q? 18:46:50 ack bijan 18:46:50 zakim, unmute me 18:46:52 sensible there is more work to do for OWL Prime 18:46:53 bijan was not muted, bijan 18:46:56 IanH: OWLPrime folks need to do more convince work 18:46:58 (Um - NO. A 0 doesn't need convincing.) 18:47:07 bijan: need a proposal before make a decision 18:47:30 (There were a lot of 0s, that does suggest there is a need for convincing) 18:47:39 ian: Me too -- I want to see a worked-out proposal in the owl-prime space. 18:47:41 this is straw poll - non binding. So say "ok, as long as ....." is perfect 18:47:43 IanH: want to see a proposal for rule based fragment like OWLPrime before go forward 18:47:47 IanH: EL++ 18:47:49 +1 18:47:50 +1 18:47:51 +1 18:47:51 +1 on EL++ 18:47:52 +1 18:47:52 +1 18:47:53 +1 18:47:53 +1 18:47:53 +1 (surprise) 18:47:55 +1 18:47:57 +0 18:47:57 +1 18:47:58 +1 18:48:00 +0 18:48:07 +0 18:48:08 zakim, mute me 18:48:08 bijan should now be muted 18:48:14 +1 18:48:28 +1 18:48:34 IanH: DL Lite kind of fragment? Scalable Abox space? 18:48:35 Ian: DL-Lite (Scalable A-box) 18:48:36 +1 18:48:37 +1 on DL-Lite or very similar 18:48:38 scalable *complete* 18:48:38 0 18:48:40 +1 18:48:41 +0 18:48:42 +1 18:48:42 +0 18:48:42 +0.5 18:48:43 +0 18:48:45 +1 18:48:46 0 to DL-lite as such 18:48:49 +1 18:48:49 +1 18:48:52 +0 18:48:57 +1 18:48:58 +1/2 - the target is not quite defined 18:49:02 bit better than owlprim 18:49:26 or even HornShiq? 18:49:30 Should we call it OWL Peime/DLP? 18:49:34 I think the characterization is *rule based* however it turns out 18:49:36 s/Peime/Prime 18:49:37 q+ 18:49:37 IanH: what about DLP? 18:49:39 -1 18:49:45 q? 18:49:49 DLP, Horn-SHIQ and OWL Prime should ''merge'' 18:49:53 ack ivan 18:50:11 Not much. 18:50:12 0 unless it turns out equivalent to OWL Prime 18:50:13 +1 to bcuencagrau if this should work out ... 18:50:16 ivan: how much additional to merge DLP and OWLPrime 18:50:24 And how comprehensible will our documents be? 18:50:31 q+ to answer to Ivan 18:50:47 0 because I am not sure that DLP or HornSHIQ could be defined in a simple way (i.e. non dl-expert can easily understand the restrictions). 18:50:48 I would rather spend time for the relationship between OWL-Prime and pD* 18:51:00 wondering about the relation between LP and DLP, and eg RIF... or is that silly? 18:51:08 IanH: yes it involves quite some work. 18:51:25 IanH: it was an important link to make 18:51:41 It can have a corresponding fragment, but do *we* have to make that explicit on rec? 18:52:05 It would be *nice* 18:52:09 q? 18:52:10 IanH: who think it is important to have a correspondance between rule based fragment 18:52:11 +1 to bijan 18:52:14 imo, not important. nice to have. 18:52:15 and DL fragment 18:52:18 +0 18:52:20 +x, where x is more than 0 but less than 1 18:52:21 Zakim, unmute me 18:52:21 bmotik should no longer be muted 18:52:23 ack bmotik 18:52:23 bmotik, you wanted to answer to Ivan 18:52:27 q? 18:52:29 ian: Is it important to have a DL fragment which corresponds roughly to whatever we have on the rules side (NOT rec-track) ? 18:52:47 q+ 18:52:54 q? 18:53:07 bmotik: to answer ivan, with minor work, we ccan come up with a clear definition when these two fragments coincide 18:53:15 ... this is something we really should look into 18:53:23 ... don't believe it is a lot of work. 18:53:26 q? 18:53:30 ack bijan 18:53:30 Zakim, mute me 18:53:31 zakim, unmute me 18:53:33 bmotik should now be muted 18:53:34 bijan was not muted, bijan 18:53:35 ... pD* is not that far away from DLP anyway 18:53:37 q? 18:53:44 ack bmotik 18:53:47 q? 18:53:50 Zakim, mute me 18:53:50 bmotik should now be muted 18:53:52 bijan: is the correspondence a requirement? 18:53:56 +1 to bijan, this is a goal, not a rqmt 18:54:07 for fragments: objective 18:54:07 +1 18:54:10 IanH: it is an objective 18:54:12 +0 18:54:14 +1 18:54:14 +1 18:54:15 +1 18:54:15 +1 18:54:15 0 18:54:17 -0 18:54:19 0 18:54:19 +0 18:54:19 +1 18:54:21 +0 18:54:21 +1 to establishing a link between OWL Prime and DLP 18:54:26 -0 (depends very much on where it goes and in which form) 18:54:26 +1 (if put it that way) 18:54:34 zakim, mute me 18:54:34 bijan should now be muted 18:54:40 +1 (sorry, typo) 18:55:09 Why should we restrict the future? 18:55:11 Ian: Are these mentioned fragments ALL the ones we should consider? 18:55:11 q? 18:55:16 IanH: do we cover all fragments (for rec track candidates)? 18:55:17 +1 18:55:21 Was OWL Full considered? 18:55:24 that's it for now. Barring new information. 18:55:28 OWL Full isn't a fragment 18:55:31 not a DL fragment 18:55:35 and DL? 18:55:48 Ian: No, OWL Full wasn't considered but it's not a fragment, so the question doesn't apply. 18:55:58 -0, there could be some reason to add something, but I don't see it now 18:55:58 +1 18:55:58 q? 18:55:59 Dl not considered a fragment either 18:55:59 1.0-DL is a fragment, yes! :) 18:55:59 do we need to *rule* others out now? 18:56:00 +1 18:56:00 +1 with maybe some minor modifications 18:56:02 +1 18:56:02 +0.5 18:56:04 +1 to *focusing our energy* on these fragments 18:56:07 +1 18:56:11 +1 18:56:12 +1 18:56:14 +1 to Mike! 18:56:14 +1 to michael 18:56:18 I think what we have is a starting point, but feel no need to rule stuff out 18:56:20 +1 to michael 18:56:21 +1 to michael 18:56:22 +1 michael 18:56:23 +1 to mike 18:56:24 +1 to Michael 18:56:27 +1 to michael 18:56:33 +1 to michael 18:56:37 IanH: time is up. follow up with emails 18:56:39 q+ 18:56:59 to ask - target date for vote? 18:57:01 ... in particular, we need specification for rule based fragment 18:57:07 Names for ALL the fragments, please. :-) 18:57:11 ... suggestion for a new name :) 18:57:17 zakim, unmute me 18:57:17 pfps_ should no longer be muted 18:57:17 peter 18:57:28 there is loud music here :( 18:57:32 IanH: hand over chair to pfps 18:57:34 not here 18:57:50 -IanH 18:57:54 bye 18:57:57 bye 18:58:19 pfps: go over issues list 18:58:28 alanr has changed the topic to: http://www.w3.org/2007/OWL/wiki/Teleconference.2008.02.20/Agenda 18:58:32 Zakim, unmute me 18:58:32 bmotik should no longer be muted 18:58:32 issue 3: two proposals. most current one from bmotik 18:58:52 bmotik: allow bnode in funtional spec 18:59:03 ... could use freely just like in rdf 18:59:14 -> http://www.w3.org/mid/006201c86e7b$1cd19870$d012a8c0@wolf Boris' proposal 18:59:38 "distinct" not "unique" 18:59:39 ... regarding semantics. could interpret them as unique, or through existential 19:00:14 need help with scribe ... 19:00:29 q+ 19:00:49 ack alanr 19:00:50 alanr: isn't this what we had before? 19:01:07 ... what is the difference 19:01:59 q+ to articulate some difficulties 19:02:24 but not wrt anonymous individuals? 19:02:48 ack jjc 19:02:48 jjc, you wanted to articulate some difficulties 19:02:51 I understand Boris as saying that the "skolem" proposal is far better than people might have thought... 19:03:00 boris: divergence between DL and Full 19:03:43 q+ 19:03:49 q? 19:04:05 zakim, unmute me 19:04:05 bijan should no longer be muted 19:04:06 jjc, can you please put a summary in IRC? 19:04:23 jjc: syntax bnodes are existentials, object bnodes are skolems? 19:04:49 ACTION: jjc send out email clarify 19:04:49 Sorry, couldn't find user - jjc 19:04:50 +1 to Boris, Skolmes just are a weakened semantic way for DL-tools to work on it 19:05:02 zakim, mute me 19:05:02 bijan should now be muted 19:05:19 action: jeremy to summarise problem with bnodes in ISSUE-3 vs bnodes in OWL list 19:05:19 Created ACTION-90 - Summarise problem with bnodes in ISSUE-3 vs bnodes in OWL list [on Jeremy Carroll - due 2008-02-27]. 19:05:20 issue 91 19:05:32 want to defer because of the action item? 19:05:39 Could Jeremy actually summarize whast the problem is/ 19:05:42 Can michael take either of these? 19:05:46 schneider 19:05:53 issue 95 19:06:04 i will think about this... later :) 19:06:14 issue 95 No compatibility restrictions between the datatype being restricted and the facets in the DatatypeRestriction construct 19:06:21 +1 to boris's suggestion restricting datarange to just datatypeURIs 19:06:23 +1 19:06:27 bmotik: DatatypeRestriction takes data types 19:06:52 bmotik: change synatx a little bit 19:06:54 +1 19:07:16 pfps: looks like this can be resolved next week. 19:07:28 ACTION: bmotik2 to Update the spec to resolve ISSUE-95 19:07:28 Created ACTION-91 - Update the spec to resolve ISSUE-95 [on Boris Motik - due 2008-02-27]. 19:07:31 bmotik: can I update it now and send out an email for the resolution 19:07:44 issue 68 19:07:55 issue 68: mapping rules are non-monotonic 19:08:10 : 19:08:15 :) good 19:08:15 pfps: I don't quite understand. 19:08:25 I also thought it was not being understood 19:08:31 q+ 19:08:33 have to leave, sorry. bye 19:08:37 and for me 19:08:38 bye 19:08:40 -Carsten 19:08:41 and for owl-full 19:08:45 zakim, unmute me 19:08:45 bijan should no longer be muted 19:08:50 problem for monotonicity principle 19:08:54 jjc: is a problem for Jena 19:09:05 Jeremy, what is the problem due to? 19:09:07 ack bijan 19:09:09 bijan: a proposal may solve the problem 19:09:39 pfps: this is not about QCR, 19:09:48 q+ to clarify what the problem is in owl-full 19:09:54 +1 property punning is the issue 19:10:22 Could Jeremy explain why this is a problem for Jena? 19:10:33 a solution that works is extremely acceptable :) 19:10:41 write it up? 19:11:10 q? 19:11:39 motivation was backwards compatibility, as I understand it 19:11:42 zakim, unmute me 19:11:42 m_schnei was not muted, m_schnei 19:12:01 lost m_schnei? 19:12:05 zakim, unmute me 19:12:05 m_schnei was not muted, m_schnei 19:12:05 m_schnei, try pressing 41# 19:12:25 Zakim, unmute [IPCaller] 19:12:25 [IPcaller] should no longer be muted 19:12:26 okay try pressing 61# 19:12:26 Is the relevant jeremey email linked from the tracker page? 19:12:34 zakim, mute me 19:12:34 bijan should now be muted 19:12:41 zakim, who is on the call? 19:12:41 On the phone I see pfps_, [IPcaller], MichaelSmith, Ivan, Rinke, MarkusK, m_schnei, bmotik, uli (muted), jjc, Achille, bcuencagrau (muted), Sandro (muted), Alan_Ruttenberg, bijan 19:12:42 Zakim, IPCaller is m_schnei 19:12:44 ... (muted), Elisa_Kendall 19:12:45 +m_schnei; got it 19:12:54 This one? http://lists.w3.org/Archives/Public/public-owl-wg/2008Jan/0262.html 19:13:27 zakim, who is on the call? 19:13:27 On the phone I see pfps_, m_schnei.a, MichaelSmith, Ivan, Rinke, MarkusK, m_schnei, bmotik, uli (muted), jjc, Achille, bcuencagrau (muted), Sandro (muted), Alan_Ruttenberg, bijan 19:13:28 pfps: to m_schnei, this is a different issue 19:13:33 ... (muted), Elisa_Kendall 19:13:43 effectively dropping triples 19:13:44 q+ to try and explain why this is a problem for Jena 19:13:45 q? 19:13:45 zakim, mute me 19:13:46 m_schnei should now be muted 19:13:50 pfps: QCR is a separate issue 19:13:54 ack m_schnei 19:13:55 m_schnei, you wanted to clarify what the problem is in owl-full 19:14:01 ack [IPcaller] 19:14:02 jjc: why it is a problem for Jena 19:14:03 Present: pfps_, m_schnei.a, MichaelSmith, Ivan, Rinke, MarkusK, m_schnei, bmotik, uli, jjc, Achille, bcuencagrau, Sandro, Alan_Ruttenberg, bijan, IanH 19:14:07 zakim, mute me 19:14:07 m_schnei should now be muted 19:14:08 ack jjc 19:14:09 jjc, you wanted to try and explain why this is a problem for Jena 19:14:11 jjc: knowledge is stored in triples 19:14:13 q? 19:14:22 q+ 19:14:27 q+ 19:14:31 It must! Or editors can't be based on Jena! 19:14:39 jjc: as you add more knowledge to Jena model, you don't retract triples 19:14:43 JJC: the problem here is that as you add triples, some of the old triples are supposed to be changed -- and that's not how Jena wants things to work. 19:14:50 ... it is a fundamental design 19:14:51 ack bmotik 19:14:53 reasoning != editing 19:15:09 bmotik: if Jena is a triple based, do we really need to retract triples? 19:15:26 ... I don't see why these mapping rules will require you to retract triples? 19:15:29 q- 19:15:29 jjc: not clear 19:15:30 alanr... I don't understand the relevance of that comment 19:15:40 zakim, unmute me 19:15:40 bijan should no longer be muted 19:15:43 zakim, who is talking? 19:15:44 pfps: bijan proposed to do something? 19:15:48 I was going to agree with Bijan, which is what I understand boris to have done as well 19:15:52 can answer bijan, if necessary 19:16:05 pfps_, listening for 11 seconds I heard sound from the following: pfps_ (9%), jjc (4%), Alan_Ruttenberg (4%), bijan (100%) 19:16:09 bijan: has no clue about the problem. not sure which email is relevant. 19:16:15 great! 19:16:16 zakim, mute me 19:16:16 bijan should now be muted 19:16:22 pfps: take an action to write up an email summarizing 19:16:28 I also don't understand the assertion that Jena can't delete 19:16:40 ... my understanding of this problem 19:16:48 topic: action 16 19:16:52 ACTION: pfps to Write up his understanding of ISSUE-68 (nonmonotonic mapping rules) 19:16:52 Sorry, couldn't find user - pfps 19:17:07 trackbot-ng, list users? 19:17:10 ACTION: patelschneider to Write up his understanding of ISSUE-68 (nonmonotonic mapping rules) 19:17:10 Sorry, couldn't find user - patelschneider 19:17:14 trackbot-ng, list users 19:17:15 in the sense that pellet (used to?) be unable to retract without doing a lot of work 19:17:15 TopQuadrent is based on Jena and handles OWL 1.1 (by extending Jena)...isn't this an existence counterproof? 19:17:25 ACTION: peter to Write up his understanding of ISSUE-68 (nonmonotonic mapping rules) 19:17:25 Sorry, amibiguous username (more than one match) - peter 19:17:25 Try using a different identifier, such as family name or username (eg. ppatelsc, phaase) 19:17:31 pre: incremental reasoning 19:17:32 ACTION: patel-schneider to Write up his understanding of ISSUE-68 (nonmonotonic mapping rules) 19:17:32 Created ACTION-92 - Write up his understanding of ISSUE-68 (nonmonotonic mapping rules) [on Peter Patel-Schneider - due 2008-02-27]. 19:17:36 pfps: defer it 19:17:40 Topic: issue 69 19:17:48 issue 69 punning is incompatible with OWL Full 19:17:53 how so? 19:18:02 q+ 19:18:08 And: http://jena.sourceforge.net/javadoc/index.html 19:18:25 I meant: http://jena.sourceforge.net/javadoc/com/hp/hpl/jena/rdf/model/Model.html#remove(com.hp.hpl.jena.rdf.model.Statement) 19:18:40 I do 19:18:42 How is it that Jena can't delete triples? 19:18:44 q? 19:18:46 q+ 19:19:03 ack bmotik 19:19:07 Jena can delete triples, but not as part of the process of adding other triples 19:19:18 bmotik: it is incompatible with owl full semantics. 19:19:33 ... in owl 1.0, DL and FULL are not completely aligned. 19:19:46 property punning is the only issue that I see 19:19:48 note for scribe - the IRC messages should be moved into the previous topic 19:19:51 cardinality 19:19:59 I really don't understand why that does... 19:20:03 er...matters 19:20:15 Chair: IanH, pfps 19:20:19 q? 19:20:29 q+ 19:20:42 ack alanr 19:20:45 bmotik: don't see it as a showstopper 19:21:08 Alan, this issue is much more than about cardinality. 19:21:17 also, since punning makes more ontologies falls into OWL 1.1/DL, we might also lose some more theorems? 19:21:21 Present: pfps_, unknown, MichaelSmith, Ivan, Rinke, MarkusK, m_schnei, bmotik, uli, jjc, Achille, bcuencagrau, Sandro, Alan_Ruttenberg, bijan, IanH 19:21:34 q+ 19:21:47 zakim, unmute me 19:21:47 bijan should no longer be muted 19:21:50 ack bijan 19:22:00 Alan, can you write this comment into IRC? 19:22:11 bijan: have all sorts of punning in pellet 19:22:14 alanr: property punning causes more problems than other punning 19:22:20 ... encountered no problems so far 19:22:39 that's a nice point 19:22:41 ok, but what was the point about cardinality? 19:22:46 I've used pellet a lot. I would be surprised about cardinality issues. ymmv. 19:23:00 + +0789107aaff 19:23:01 q? 19:23:12 bijan: able to handle more graphs is really important 19:23:14 zakim, mute aaff 19:23:14 +0789107aaff should now be muted 19:23:20 -jjc 19:23:27 ... don't think punning is a really issue 19:23:28 zakim aaff -s me 19:23:31 zakim aaff is me 19:23:35 zakim, aaff is me 19:23:35 +jjc; got it 19:23:40 as boris said: there is only one "compatibility" aspect in 1.0, and this will be maintained in 1.1 with punning: 1.1-Full will have every 1.1-DL entailment (for legal 1.1-DL onts) 19:24:09 alanr: change the way owl dl works. 19:24:11 see sec 5.4 in AS&S 19:24:31 zakim, mute me 19:24:31 bijan should now be muted 19:24:38 +1 to close/rejected 19:24:45 +1 19:24:48 q+ 19:24:48 +1 19:24:51 +1 19:24:53 pfps: close to our time 19:24:54 pfps: I don't know the way forward on this. I leave it to the chairs to make a decision. 19:25:09 ack bmotik 19:25:11 I wanted to say something as well about punning. 19:25:12 ack jjc 19:25:20 ack jjc 19:25:47 jjc: bijan's comments about different compatability useful, sill consult 19:25:54 s/sill/will/ 19:25:55 thanks peter 19:25:55 s/sill/will 19:26:16 I'll have to miss that 19:26:24 because I'm teaching all day long 19:26:27 ok 19:26:30 After that I'm free 19:26:45 pfps: defer that UFD meeting. 19:27:13 hooray 19:27:17 Bye 19:27:18 -bijan 19:27:20 ok, thanks 19:27:20 bye everyone 19:27:21 bye 19:27:21 bye 19:27:26 bye 19:27:28 bye 19:27:29 bye 19:27:29 zhe, hold on just a moment and I'll have the wiki minutes ready 19:27:30 -jjc 19:27:30 rrsagent, draft minutes 19:27:30 I have made the request to generate http://www.w3.org/2008/02/20-owl-minutes.html ivan 19:27:32 NEITHER 19:27:34 -MarkusK 19:27:35 -bmotik 19:27:35 -Rinke 19:27:37 -Achille 19:27:39 -Elisa_Kendall 19:27:46 bye all 19:27:47 YES, just a second. 19:27:49 -MichaelSmith 19:27:55 -uli 19:27:57 I'll tell you on IRC in 45 seconds. 19:28:50 zhe, http://www.w3.org/2007/OWL/wiki/Teleconference.2008.02.20/Minutes is ready for you now. 19:29:01 thanks 19:29:01 bye 19:29:07 ciao, all! 19:29:08 bye 19:29:09 -Alan_Ruttenberg 19:29:11 -pfps_ 19:29:13 -Ivan 19:29:15 -Sandro 19:29:16 -m_schnei 19:29:34 -m_schnei.a 19:32:37 MichaelSmith has left #owl 19:35:01 disconnecting the lone participant, bcuencagrau, in SW_OWL()12:00PM 19:35:04 SW_OWL()12:00PM has ended 19:35:06 Attendees were pfps_work, Ivan, +1.202.408.aaaa, MichaelSmith, +31.20.525.aabb, pfps_, Rinke, +0186527aacc, IanH, MarkusK, +1.603.897.aadd, bmotik, m_schnei, uli, jjc, Achille, 19:35:09 ... bcuencagrau, +49.351.463.3.aaee, Sandro, Carsten, Alan_Ruttenberg, bijan, Elisa_Kendall, +0789107aaff 21:29:00 Zakim has left #owl 22:02:19 sandro has joined #owl