15:10:30 RRSAgent has joined #webont 15:37:25 DanCon has changed the topic to: WebOnt WG http://www.w3.org/2001/sw/WebOnt/ 2May telcon 15:57:14 SW_WebOnt()12:00PM has now started 15:57:20 +??P22 15:58:19 jhendler has joined #webont 15:58:57 Massimo has joined #webont 15:59:05 +MDean 15:59:07 +??P28 15:59:09 +SDecker 15:59:31 Dan - thanks for catch on UML agenda item 15:59:36 sure 15:59:37 +??P40 15:59:50 +??P42 16:00:04 +??P44 16:00:05 +DanC 16:00:30 Zakim, ??P44 is maybe TimFinin 16:00:31 I don't understand '??P44 is maybe TimFinin', DanCon. Try /msg Zakim help 16:00:33 + +1.301.871.aaaa 16:00:42 +??P46 16:00:44 pfps has joined #webont 16:00:47 Zakim, ??P44 is perhaps TimFinin 16:00:49 +TimFinin?; got it 16:00:50 timfinin has joined #webont 16:00:51 +Massimo 16:00:55 +??P48 16:00:55 +Ian.Horrocks 16:01:01 zakim, 1.301.871.aaaa is JimH 16:01:02 sorry, jhendler, I do not recognize a party named '1.301.871.aaaa' 16:01:05 +??P51 16:01:27 Zakim, who's here? 16:01:28 I see ??P22, MDean (muted), ??P28, SDecker, ??P40, ??P42, DanC, TimFinin?, +1.301.871.aaaa, Massimo, ??P46, Ian.Horrocks, ??P48, ??P51 16:01:33 +Evan.Wallace 16:01:53 Zakim, aaaa is JimH 16:01:54 +JimH; got it 16:01:58 frankh has joined #webont 16:02:03 regrets from Stanton, Lassila, Stein, 16:02:04 IanH has joined #webont 16:02:05 libby has joined #webont 16:02:10 Zakim, ??P28 is perhaps FrankH 16:02:11 +FrankH?; got it 16:02:12 +??P53 16:02:22 Zakim, ??P53 is perhaps Rudiger 16:02:23 +Rudiger?; got it 16:02:27 Zakim, who's here? 16:02:28 I see ??P22, MDean (muted), FrankH?, SDecker, ??P40, ??P42, DanC, TimFinin?, JimH, Massimo, ??P46, Ian.Horrocks, ??P48, ??P51, Evan.Wallace, Rudiger? 16:02:31 I joined a minute ago 16:02:36 regrets Motto 16:02:39 +??P52 16:02:43 +??P21 16:02:47 Zakim, ??P40 is perhaps LarryE 16:02:48 +LarryE?; got it 16:03:08 Zakim, ??P21 is perhaps HermanTerHorst 16:03:10 +HermanTerHorst?; got it 16:03:24 +??P54 16:03:27 +??P55 16:03:32 Horrocks points out that the buzz is a mobile phone too close to a land line. 16:03:40 by demonstration 16:03:42 +NickG 16:03:50 Zakim, who's here? 16:03:51 I see ??P22, MDean (muted), FrankH?, SDecker, LarryE?, ??P42, DanC, TimFinin?, JimH, Massimo (muted), ??P46, Ian.Horrocks, ??P48, ??P51, Evan.Wallace, Rudiger?, ??P52, 16:03:54 ... HermanTerHorst?, ??P54, ??P55, NickG 16:03:57 schreiber has joined #webont 16:04:24 Da, the one you have as FrankH? is me 16:04:40 Zakim, ??P46 is perhaps McGuinnes 16:04:41 +McGuinnes?; got it 16:04:55 Zakim, ??P22 is perhaps PeterPS 16:04:57 +PeterPS?; got it 16:05:05 zakim, FrankH is Guus 16:05:06 +Guus; got it 16:05:10 Zakim, ??P42 is perhaps ZivH 16:05:11 +ZivH?; got it 16:05:17 Zakim, who's here? 16:05:20 I see PeterPS?, MDean (muted), Guus, SDecker, LarryE?, ZivH?, DanC, TimFinin?, JimH, Massimo (muted), McGuinnes?, Ian.Horrocks, ??P48, ??P51, Evan.Wallace, Rudiger?, ??P52, 16:05:21 ... HermanTerHorst?, ??P54, ??P55, NickG 16:05:34 +??P57 16:05:43 Zakim, ??P57 is perhaps DavidT 16:05:44 +DavidT?; got it 16:05:53 mdean has joined #WebOnt 16:05:59 Zakim, ??P54 is JosD 16:06:00 +JosD; got it 16:06:00 I'm here 16:06:06 zakim ??P48 is perhaps FrankvH 16:06:07 Zakim, who's here? 16:06:08 I see PeterPS?, MDean (muted), Guus, SDecker, LarryE?, ZivH?, DanC, TimFinin?, JimH, Massimo (muted), McGuinnes?, Ian.Horrocks, ??P48, ??P51, Evan.Wallace, Rudiger?, ??P52, 16:06:10 ... HermanTerHorst?, JosD, ??P55, NickG, DavidT? 16:06:29 zakim, ??P48 is perhaps FrankvH 16:06:31 +FrankvH?; got it 16:06:40 JeffH, LeoO 16:06:57 LibbyM 16:07:09 Zakim, ??p48 is perhaps LibbyM 16:07:10 sorry, DanCon, I do not understand your question 16:07:16 Zakim, ??P48 is perhaps LibbyM 16:07:18 sorry, DanCon, I do not understand your question 16:07:28 Zakim, P48 is perhaps LibbyM 16:07:29 sorry, DanCon, I do not understand your question 16:07:48 zakim, ??P51 is Libby 16:07:50 +Libby; got it 16:07:53 DeborahMc has joined #webont 16:07:58 Zakim, who's here? 16:07:59 I see PeterPS?, MDean (muted), Guus, SDecker, LarryE?, ZivH?, DanC, TimFinin?, JimH, Massimo (muted), McGuinnes?, Ian.Horrocks, FrankvH?, Libby, Evan.Wallace, Rudiger?, ??P52, 16:08:01 ... HermanTerHorst?, JosD, ??P55, NickG, DavidT? 16:08:20 agenda http://lists.w3.org/Archives/Public/www-webont-wg/2002May/0001.html 16:08:47 +??P7 16:08:51 timfinin will scribe until he has to leave around 12:45, danc after that 16:08:55 Zakim, ??P7 is ChrisW 16:08:56 +ChrisW; got it 16:09:21 ACTION (Mar 28) Chairs to clarify OWL naming problem 16:09:21 DONE - (Dan C.reported to telecon) 16:09:25 jimh: action 1 -- we are OWL 16:12:28 timfinin, can you see this? 16:12:31 yes 16:12:38 er.. you missed a few actions, no? 16:12:42 yes 16:12:45 sorry 16:13:03 ACTION (Mar 28) Dan Connolly, Lynn Stein (prov.), Jos De Roo, to 16:13:04 participate in RDF core discussions on construct for closed lists 16:13:04 Committee formation - DONE 16:13:04 Committee discussion - ONGOING (See Agenda item 4) 16:13:06 Action2: rdf core discussion 16:13:13 DONE: ACTION (Apr 9): Frank van Harmelen with Deborah McGuinness, 16:13:14 Mike Dean, Enrico Motta, Ziv Hellman, Raphael Volz, Ian Horrocks 16:13:14 Following polls on separation of language features between 16:13:14 level 1 (OWL-lite) and level 2 (OWL-full), a group was constituted to 16:13:14 revisit the level 1/2 conformance issue: 16:13:14 http://www.w3.org/2002/04/09-webont-irc#T14-08-19 16:13:28 +Marwan.Sabbouh 16:13:28 ACTION ChrisW: review OWL stuff continues. 16:13:35 ACTION PatH: review OWL stuff continues. 16:13:39 ACTION Evan: review OWL stuff continues. 16:14:10 action: compliance level discussion -- frank rporting on what's been done 16:14:25 re closed list, the discussion thread is # addressing requirements around daml:collection (rdfms-seq-representation) Dan Connolly (Fri, Apr 19 2002) http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Apr/0334.html 16:14:35 frankh: two levels to debate 16:15:05 did we really *decide* to split into levels at the ftf? that's not what the record says. 16:15:11 frank: need to balance between the two levels 16:15:40 frank: need to have enought in elevel one to justify going beyond rdfs 16:15:43 we decided it's good to investigate it. 16:15:55 right. 16:16:06 right 16:16:23 frank: settle for minimal, easy things in level 1 16:16:42 fank: rdf schema on steroids 16:17:22 Of course the ideal thing would ne no levels, but likely, there'll be too much divergences in the wg (as witnessed by the discussion at the f2f) to settle down on just one without conformance levels....;) 16:17:32 frank: another strategy lead to a more lively debate on a different proposal 16:18:25 I can only just hear him - echo and distance 16:18:32 frank: one particular issue's been discussed on the mailing list, existential constraints 16:19:22 deb: it may be the case that there are just one or two more things to be added to get to the owl light goal 16:19:45 ian suggests removing global range restrictions from owl light 16:20:49 jimH: at the f2f there was a strong sentiment to keeping cardinality constraints 16:22:07 jeffh: suggests considering features easy to add in *both* DL and horn logic 16:22:36 jeffh: suggests that cardinality is hard to do in datalog/horn logic 16:23:21 http://lists.w3.org/Archives/Public/www-webont-wg/2002Apr/0329.html 16:24:24 deb suggests that owl light should cover 50%-70% of users' needs 16:25:15 but how do we measure this? 16:25:51 +Jonathan.Borden 16:25:57 hmm... what's everybody agreeing to? 16:26:36 these seem to be competing goals: (1) having a small core on which different constituencies can build out and (2) having a level one that can satisfy 50-75% from the start 16:27:23 i hear lots of typing, too 16:27:33 JonB has joined #webont 16:27:47 the wumpus is nearby 16:28:19 possible action: what do we have consensus on, what do we have to resolve, write up test cases for the consensus items 16:28:54 q+ 16:29:45 it's suggested that we take the kr02 proposal as the consensus items 16:30:38 suggested to be considered for adding: min cardinality=1 16:31:15 ian: it was difficult to figure out the ordering of proposed features. 16:31:44 many users want cardinality constraints 16:32:19 ian likes the original version of OWL which has all of the features under discussion 16:32:25 guus, is cardinality 27 supported in UML? in SQL? I don't see cardinality >1 in other modelling tools. 16:32:58 yes, it is supported in UML! 16:33:43 in: in the amsterday f2f we tried to decide on the levels and ended up with all of owl in owl lite 16:34:25 jimh: we didn't agree to have a level 1 and level 2, but to revisit the question 16:35:18 jimh: there are negatives and positives to adding levels 16:35:38 q+ 16:35:40 deb finds that too many people find OWL to be too complicated 16:35:49 +q 16:36:35 frankh, did you think a decision about levels was made in Amsterdam? the record doesn't show one. Is the record wrong? 16:36:47 Zakim, unmute JonB 16:36:48 sorry, Massimo, I do not see a party named 'JonB' 16:38:08 jonb is worried that we might end up with implementers adding features to a level one, so we end up with lots of implementations that are between levels 16:38:52 shall we have a straw poll? 16:39:32 deb says we need to support tool builders, but otoh we need to have enought stuff in level one to make it useful 16:40:03 danc: levels are evil 16:40:21 frank: other w3c standards have levels? 16:41:54 jimh: having a level one would encourage interoperability. 16:42:07 we hear music 16:42:14 well, not bad ;) 16:42:16 well, muzak 16:42:43 Are they taking requests? 16:42:46 +??P0 16:43:44 disscussion -- can continue with the music... 16:44:02 zakim, whi is here 16:44:03 sorry, jhendler, I do not recognize a party named 'whi' 16:44:10 zakim, who is here 16:44:12 jhendler, you need to end that query with '?' 16:44:13 massimo is taking roll call 16:44:16 Zakim, who's here? 16:44:17 zakim, who is here? 16:44:17 I see PeterPS?, MDean, Guus, SDecker, LarryE?, ZivH?, DanC, TimFinin?, JimH, Massimo, McGuinnes?, Ian.Horrocks, FrankvH?, Libby, Evan.Wallace, Rudiger?, ??P52, HermanTerHorst?, 16:44:20 ... JosD, ??P55, NickG, DavidT?, ChrisW, Marwan.Sabbouh, Jonathan.Borden, ??P0 16:44:22 I see PeterPS?, MDean, Guus, SDecker, LarryE?, ZivH?, DanC, TimFinin?, JimH, Massimo, McGuinnes?, Ian.Horrocks, FrankvH?, Libby, Evan.Wallace, Rudiger?, ??P52, HermanTerHorst?, 16:44:23 ... JosD, ??P55, NickG, DavidT?, ChrisW, Marwan.Sabbouh, Jonathan.Borden, ??P0 16:45:10 zakim, mute josd 16:45:11 JosD should now be muted 16:45:18 -DanC 16:45:26 zakim, unmute josd 16:45:28 JosD should no longer be muted 16:45:37 is marwan here? 16:45:38 zakim, mute marwan.Sabbouh 16:45:40 Marwan.Sabbouh should now be muted 16:45:45 music stops 16:46:18 danc, can you take over scribing? 16:46:36 peter: can we come up with a "Telecon don'ts"? 16:46:43 music is gone? 16:46:56 yes - it was marwan 16:47:03 ok. 16:47:04 -Marwan.Sabbouh 16:47:29 I'll signing off now and danc is taking over the scribing. 16:47:34 ok 16:47:38 timfinin has left #webont 16:47:42 -LarryE? 16:47:59 +DanC 16:48:01 q+ 16:48:08 -q 16:48:13 q- 16:49:09 but jim, Deb is asking for 2 levels. I think a straw poll is in order to see how many folks agree. 16:50:58 in favor of 2 levels: McG, FrankvH, Hellman, obrst, wallace, Carroll, Gibbins, Eshelman, [somebody] 16:51:02 Decker, 16:51:24 Schreiber in favor. 16:51:52 against: Connolly, PeterPS 16:52:01 ... Horrocks, DeRoo, ... 16:52:06 ... Hefflin, TerHorst 16:52:12 ... Trastour 16:52:34 summary: more in favor than against, but not consensus 16:53:05 ------- push to Dark Triples 16:53:24 Borden reports: lots of traffic, much of it good stuff... 16:53:46 ... theoretical and practical challenges in semantic layering ... 16:54:16 ... as to specifics, PeterPS showed a class with a cycle in it; but something's not clear about what's entailed... 16:55:53 DanCon: [stuff...] 16:57:11 discussion of entailment (DanC - explains issues and paradoxes) 16:59:55 [...] 17:00:23 Borden: the "comprehensive entailments" proposal looks perhpas promising, but it also looks like research; not clear that we could work out the details in a month or two. 17:02:14 Borden: I'd like help making test cases... 17:02:25 q+ 17:02:31 DanCon: did you see jeremy's test cases? I think PeterPS had some too... 17:02:41 Borden: but I don't see how those motivate dark triples 17:03:29 ack pfps 17:03:45 q- 17:03:52 -SDecker 17:04:01 ack Schreiber 17:05:26 PeterPS: if we're after test cases that show the *problem*, see the circular paradox gizmo. It does use cardinalityQ; I could get rid of that using complementOf, but that gets hairier 17:06:00 q+ 17:06:10 _:1 fowl:onProperty rdf:type . 17:06:11 _:1 fowl:hasClass _:2 . 17:06:11 _:2 fowl:OneOf _:3 . 17:06:11 _:3 fowl:first _:4 . 17:06:11 _:3 fowl:rest fowl:nil . 17:06:11 _:4 fowl:complementOf _:1 . 17:06:13 _:1 is the set of objects 17:06:14 that are related to a particular complement of _:1 via rdf:type 17:06:16 if x rdf:type _:1 17:06:19 then x rdf:type _:4 17:06:21 but _:1 and _:4 are complements 17:06:22 so not x rdf:type _:1 17:06:25 if not x rdf:type _:1 17:06:27 then x rdf:type _:4 17:06:28 because _:1 and _:4 are complements 17:06:32 but then x rdf:type _:1 17:06:34 the above is another problematic situation 17:08:18 ack massimo 17:08:35 ack dancon 17:08:44 -Jonathan.Borden 17:08:56 JimH: in sum, we're still working on SEM/dark triples stuff. 17:09:03 --- pop back to levels 17:09:29 "the document that frank wrote"... hunting for pointer... 17:10:41 http://lists.w3.org/Archives/Public/www-webont-wg/2002Apr/0329.html 17:10:49 is a pointer to what frank and i wrote up 17:11:04 JimH: 0329 seems pretty close; no major objections. 17:11:26 so issue 5.2 Language Compliance Levels remains open, since the straw poll showed no consensus. 17:12:00 DebM: what should we call it? 17:12:08 "level 1" is acceptable, for now. 17:12:38 ACTION DebM: write up "these seem to be agreed; these have issues; these look harder" 17:14:06 DebM estimates 13May delivery 17:14:23 JimH notes 9May telcon cancelled. 17:14:57 Closed lists - 17:15:13 DanC - one possibility - live w/first and last 17:16:05 wg seems to feel that that would be unacceptable 17:16:25 DanC - second - make Daml:collection an explicit RDF issue 17:16:44 RDF Core worries about that - would "break" existing systems 17:17:01 3) could be doing something to bag, li, etc - none of those big winners 17:22:45 Jeremy: in discussing closed lists, it would help if we could clarify the difference between syntactic lists and semantic lists 17:22:55 [... discussion attempts to do so; DanC is still sorta lost... 17:22:56 ] 17:23:24 ------ WebOnt review of RDFCore WG 17:23:45 JimH: Note well, RDF Core has released drafts; as individuals, we're all welcome to review 17:24:04 as a group, [more] 17:26:08 JImH: we should take a look at RDFS, which we're basing level one on, and see that it's described in a good way 17:26:56 Jeremy: it makes sense to align drafts with focus areas: Schema/LANG, GUIDE/Primer, test cases/TEST, model theory/SEM 17:27:09 ACTION chairs: solicit reviewers 17:27:37 ---- issues review 17:28:09 JimH: open: compliance levels, dark triples, [5.3 Semantic Layering] 17:28:44 soon to be open: 3.2-Qualified-Restrictions 17:29:25 oops... wrong one... 17:29:49 soon to be open: 3.1 Local Restrictions 17:30:00 note that DebM's action above is relevant to this 17:32:32 my email that specified universal and existentially qualified range restrictions 17:32:34 is in http://lists.w3.org/Archives/Public/www-webont-wg/2002May/0006.html 17:33:33 RESOLVED: to open 3.1 Local Restrictions, assigned to DebM 17:33:43 -ChrisW 17:34:29 -JosD 17:35:35 ADJOURN. 17:35:36 -McGuinnes? 17:35:37 -Evan.Wallace 17:35:38 -PeterPS? 17:35:38 -ZivH? 17:35:40 -DavidT? 17:35:41 -??P55 17:35:41 -MDean 17:35:44 -NickG 17:35:45 -JimH 17:35:46 -HermanTerHorst? 17:35:47 -Ian.Horrocks 17:35:49 -FrankvH? 17:35:51 -Rudiger? 17:35:54 -??P0 17:35:56 -Libby 17:35:58 -Guus 17:37:33 -Massimo 17:38:18 JosD has joined #webont 17:39:24 hi. cf http://www.w3.org/Guide/#Tools 17:39:59 jhendler has left #webont 17:40:06 ah.. more specifically: http://www.w3.org/Project/ssh/ssh-cvs 17:43:42 exit 17:49:11 dan - can you look at email from me sent tues april 30 with subject webont meeting logistics 17:50:03 -??P52 17:51:01 ah... yes... 17:51:18 I haven't sent the reply I've been working on 17:52:58 -TimFinin? 17:53:04 -DanC 17:53:06 SW_WebOnt()12:00PM has ended 19:26:59 exit 19:43:17 RRSAgent, pointer? 19:43:17 See http://www.w3.org/2002/05/02-webont-irc#T19-43-17 19:53:11 Zakim has left #webont