15:40:10 RRSAgent has joined #webont 15:40:15 Zakim has joined #webont 15:40:19 Zakim, this will be WebO 15:40:20 ok, DanCon 15:53:18 DanConn has joined #webont 15:54:21 libby has joined #webont 15:58:44 schreiber has joined #webont 15:59:03 SW_WebOnt()12:00PM has now started 15:59:09 +John_Stanton 16:00:28 DanCon has joined #webont 16:00:30 +??P13 16:00:43 +??P14 16:00:51 Zakim, who's on the phone? 16:00:53 On the phone I see John_Stanton, ??P13, ??P14 16:00:53 +??P15 16:00:54 +??P16 16:00:59 +Marwan_Sabbouh 16:01:04 I think I'm ??P14 16:01:05 regrets: Dean, Oberst, Wallace, Marchiori, ter Horst, Trastour, Yanosy 16:01:08 + +1.610.758.aaaa 16:01:20 zakim, ??p13 is GuusS 16:01:22 +GuusS; got it 16:01:23 zakim, ??P14 is libby 16:01:24 +Libby; got it 16:01:25 +??P19 16:01:33 +??P20 16:01:34 +??P24 16:01:40 +M_Smith 16:01:47 agenda + 22Aug http://lists.w3.org/Archives/Public/www-webont-wg/2002Aug/0153.html 16:02:07 pfps has joined #webont 16:02:15 +??P21 16:02:42 DanC has changed the topic to: WebOnt 22Aug. scribe: DebM 16:02:52 + +1.908.233.aabb 16:02:52 +??P25 16:03:04 zakim, ??p20 is OraL 16:03:05 +OraL; got it 16:03:07 +??P27 16:03:15 what is the page that gives Zakim status 16:03:22 DanCon has joined #webont 16:03:27 Raphael has joined #webont 16:03:31 Hi 16:03:39 hi 16:03:58 jhendler has joined #webont 16:04:00 +DanC 16:04:12 JimH running late - be on phone in 2-3 min = please start w/o me. 16:04:13 +??P29 16:04:47 frankh has joined #webont 16:05:01 dlm has joined #webont 16:05:14 q+ 16:05:17 q- 16:05:20 q+ 16:05:22 mcguinness scribing 16:05:23 ack DanC 16:05:26 Regrets: Borden, Carroll, Motta, de Roo, Stein (tentative) 16:05:38 q- 16:05:41 q+ 16:05:42 +Pat_Hayes 16:05:46 q- 16:05:48 -GuusS 16:06:13 +??P13 16:06:43 Zakim, who's on the phone? 16:06:44 On the phone I see John_Stanton, Libby, ??P16, ??P15, Marwan_Sabbouh, +1.610.758.aaaa, ??P19, OraL, ??P24, M_Smith, ??P21, ??P25, +1.908.233.aabb, ??P27, DanC, ??P29, Pat_Hayes, 16:06:46 ... ??P13 16:06:56 Dean, Oberst, Wallace, Marchiori, ter Horst, Trastour, Yanosy 16:06:59 +Jim_Hendler 16:07:11 Regrets: Dean, Oberst, Wallace, Marchiori, ter Horst, Trastour, Yanosy 16:07:13 screiber's listing was additional regrets 16:07:32 I prefer an edited version of the IRC log afterward, but maybe that's just me; we'll see whether IRC logs are sufficient when we get to 1.2 on today's agenda. 16:07:43 Zakim, who's talkings? 16:07:44 I don't understand your question, DanCon. 16:07:47 Zakim, who's talking? 16:07:58 DanCon, listening for 10 seconds I heard sound from the following: Marwan_Sabbouh (83%), DanC (80%) 16:08:06 Zakim, who's talking? 16:08:17 DanCon, listening for 10 seconds I heard sound from the following: Marwan_Sabbouh (4%) 16:08:19 +??P31 16:08:38 timfinin has joined #webont 16:08:42 Zakim, mute Marwan 16:08:43 Marwan_Sabbouh should now be muted 16:09:07 zakim, who is here? 16:09:07 6 0 # unmutes yourself 16:09:08 On the phone I see John_Stanton, Libby, ??P16, ??P15, Marwan_Sabbouh (muted), +1.610.758.aaaa, ??P19, OraL, ??P24, M_Smith, ??P21, ??P25, +1.908.233.aabb, ??P27, DanC, ??P29, 16:09:10 ... Pat_Hayes, ??P13, Jim_Hendler, ??P31 16:09:11 On IRC I see timfinin, dlm, frankh, jhendler, Raphael, DanCon, pfps, schreiber, libby, Zakim, RRSAgent, logger_1 16:09:56 stanton miller marwan ora smith connolly hayes hendler 16:10:08 Zakim, ??P16 is FrankvH 16:10:09 +FrankvH; got it 16:10:14 Zakim, ??P16 is TimF 16:10:16 sorry, DanCon, I do not recognize a party named '??P16' 16:10:20 Zakim, ??P19 is IanH 16:10:21 +IanH; got it 16:10:27 Zakim, ??P27 is DebM 16:10:28 +DebM; got it 16:10:38 Zakim, aabb is PeterPS 16:10:40 +PeterPS; got it 16:10:47 Zakim, who's on the phone? 16:10:48 On the phone I see John_Stanton, Libby, FrankvH, ??P15, Marwan_Sabbouh (muted), +1.610.758.aaaa, IanH, OraL, ??P24, M_Smith, ??P21, ??P25, PeterPS, DebM, DanC, ??P29, Pat_Hayes, 16:10:49 zakim, ??p16 is timfinin 16:10:51 ... ??P13, Jim_Hendler, ??P31 16:10:52 sorry, timfinin, I do not recognize a party named '??p16' 16:11:01 Zakim, ??p24 is Guus 16:11:05 +Guus; got it 16:11:09 Zakim, ??p25 is EvanW 16:11:11 +EvanW; got it 16:11:13 Zakim, who's on the phone? 16:11:15 On the phone I see John_Stanton, Libby, FrankvH, ??P15, Marwan_Sabbouh (muted), +1.610.758.aaaa, IanH, OraL, Guus, M_Smith, ??P21, EvanW, PeterPS, DebM, DanC, ??P29, Pat_Hayes, 16:11:16 ... ??P13, Jim_Hendler, ??P31 16:11:41 Zakim, aaaa is TimF 16:11:42 +TimF; got it 16:11:49 Zakim, ??p29 is LarryE 16:11:51 +LarryE; got it 16:12:02 Zakim, ??p21 is JeffH 16:12:03 +JeffH; got it 16:12:05 zakim, tell Ralph he should have a faster way to identify the ??P.. folks (i.e. something like zakim, name LarryE - and it will pick a random one and assign it) 16:12:07 I don't understand 'tell Ralph he should have a faster way to identify the ??P.. folks (i.e. something like zakim, name LarryE - and it will pick a random one and assign it)', 16:12:08 ... jhendler. Try /msg Zakim help 16:12:10 Zakim, ??p31 is Rudiger 16:12:12 +Rudiger; got it 16:12:16 Zakim, who's on the phone? 16:12:17 On the phone I see John_Stanton, Libby, FrankvH, ??P15, Marwan_Sabbouh (muted), TimF, IanH, OraL, Guus, M_Smith, JeffH, EvanW, PeterPS, DebM, DanC, LarryE, Pat_Hayes, ??P13, 16:12:20 ... Jim_Hendler, Rudiger 16:12:25 oh well. 16:12:29 list above is attendance 16:12:33 + +44.117.311.aacc 16:12:33 +??P1 16:12:41 Raphael has joined #webont 16:12:59 zakim, ??p1 is steve buswell 16:13:00 I don't understand '??p1 is steve buswell', jhendler. Try /msg Zakim help 16:13:16 zakim, ??p1 is buswell 16:13:17 +Buswell; got it 16:13:41 meeting record accepted posted at http://www.w3.org/2002/08/15-webont-irc 16:14:02 Zakim, who's talking? 16:14:12 DanCon, listening for 10 seconds I heard sound from the following: +44.117.311.aacc (25%), ??P13 (84%), EvanW (4%), Jim_Hendler (10%), DanC (4%) 16:14:33 no agenda amendments 16:14:46 +Lynn_Stein 16:14:48 Zakim, pick a scribe 16:14:49 Not knowing who is chairing or who scribed recently, I propose Buswell 16:14:52 Zakim, pick a scribe 16:14:55 Not knowing who is chairing or who scribed recently, I propose Libby 16:15:03 Zakim, pick a scribe 16:15:04 Not knowing who is chairing or who scribed recently, I propose TimF 16:15:13 scribe next week? buswell nominated, not on irc, miller nominated, finin nominated 16:15:23 finin accepts 16:15:44 las has joined #webont 16:15:54 zakim, who is here? 16:15:55 On the phone I see John_Stanton, Libby, FrankvH, ??P15, Marwan_Sabbouh (muted), TimF, IanH, OraL, Guus, M_Smith, JeffH, EvanW, PeterPS, DebM, DanC, LarryE, Pat_Hayes, ??P13, 16:15:57 ... Jim_Hendler, Rudiger, +44.117.311.aacc, Buswell, Lynn_Stein 16:15:58 On IRC I see las, Raphael, timfinin, dlm, frankh, jhendler, DanCon, pfps, schreiber, libby, Zakim, RRSAgent, logger_1 16:16:00 ftf schedule - hotel info forwarded from guus, mcguinness included weblink, people requested to make their own hotel reservations 16:16:37 schreiber posted both f2f5 and f2f6 locations (not just f2f5) 16:16:38 deb's msg about ftf4 hotels http://lists.w3.org/Archives/Public/www-webont-wg/2002Aug/0155.html 16:17:13 chairs were to decide f2f5 location 16:17:18 3 points: 16:17:26 1 - even distribution between europe and us 16:17:40 2 colocation with plenary in march in boston is desirable 16:18:00 3 many things may be needed to get things inplace for discussion 16:18:36 two meetings in a row in england 16:19:01 are now proposed 16:19:17 +??P3 16:19:51 stein points to center of mass for participants and suggests that the split between europe and us evenly does not meet the center of mass 16:20:20 eastern us is closer to center of mass for participants 16:21:00 maintaining 3 in us and 3 in europe seems an arbitrary decision 16:22:09 manchester has an access grid room 16:22:47 one choice point is 2 meetings in england now or two meetings in the us in 2003 16:24:18 decision wasabout f2f 5 16:24:41 flipped a coin and picked manchester 16:24:55 can appeal the decision out of the telecon 16:25:01 pat action done 16:25:20 eshelman continued 16:25:40 eshelman asks for part-whole examples to be sent to him, schreiber asks for sending to group as well 16:25:44 raphael done 16:25:48 hendler continued 16:25:57 dan c done on f2f record 16:26:01 carroll continued 16:26:11 chairs forwarding hotel done 16:26:18 chairs determine f2f5 done 16:26:21 ftf record now has model theory summary http://www.w3.org/2001/sw/WebOnt/ftf3.html $Revision: 1.43 $ of $Date: 2002/08/22 17:37:23 $ 16:26:28 schreiber wine example continued 16:26:35 dlm continued closed world 16:26:43 guus will take 2 weeks for uml doc 16:26:53 hendler inform semantic web group done 16:27:05 chairs process for rdf/owl comparison doc continued 16:27:19 hendler's aboved discussed in cg 16:27:25 item 3 16:27:35 input: http://www.coginst.uwf.edu/users/phayes/RDFS2OWL-C.html 16:27:50 references also to pfps's and dan's in email 16:28:03 http://lists.w3.org/Archives/Public/www-webont-wg/2002Jun/att-0082/01-semantics.html 16:28:04 Dan's MT 16:28:04 http://lists.w3.org/Archives/Public/www-webont-wg/2002Jun/0208.html 16:28:08 Zakim, is pat here? 16:28:10 probably, DanCon; Pat_Hayes arrived 22 minutes ago 16:29:23 pat - pfps's model theory for abstract syntax 16:29:33 rendering of abstract syntax into rdf 16:30:01 as input 16:30:13 did a transliteration of semantic conditions from pfps's model theory 16:30:23 and stated as structural interpretation 16:30:41 showed one could construct and rdf interpretation that was a structural interpretation 16:31:21 construction of rdf interpretation for owl has 2 stages 16:31:25 pfps model theory 16:31:40 move the interpretation over to rdf 16:31:46 assigns interpretations to subgraphs 16:31:53 that may not be an rdfs interpretation 16:31:59 need to assign truth values 16:32:19 could be uniformly extended to an rdfs interpretation that comes out with the same truth values 16:32:31 there is an rdfs interpretation that satisfies the owl model theory 16:32:39 there is a "devious trick" 16:32:51 extension mapping refers to the notion of validity of the first kind of model 16:33:08 for more details refer to pats document 16:34:44 questions - pfps - claims pats claims are false 16:35:07 pfps has examples of entailments valid in one and not the other 16:35:26 Peter's point seems well made, to me. 16:36:15 horrocks - can have an example of one thing in domain of discourse in owl and claim not true in pat's 16:37:16 hayes - semantics for rdfs graphs and follows rdfs rules 16:37:25 classes can exist that are not owl:class 16:38:13 all things in IR will be larger than in one for OWL, but this is irrelevent 16:38:36 hayes not not reproduce all aspects of pfps's model theory 16:39:14 clarification - hendler - key differences between hayes and dan's view 16:39:22 Zakim, who's talking? 16:39:33 DanCon, listening for 10 seconds I heard sound from the following: +44.117.311.aacc (28%), ??P13 (9%), Pat_Hayes (89%) 16:39:38 should be dan/jeremy view 16:40:11 - +44.117.311.aacc 16:40:38 dan/jeremy propose a strategy that is too limiting and hayes claims that his does not require the strong limitations 16:41:25 hayes claims a version of pfps's model theory that is compatible with rdfs - not capturing the semantic structures but hayes claims the truth 16:41:53 horrocks - points out a bug 16:42:14 ooh... interesting... negation w.r.t. owl:Thing. hmm... 16:42:15 hayes says subclass of owl entities not rdfs entities 16:43:01 horrocks - the task hayes has may be too hard to do in a short time period 16:43:49 smith - what is the advantage of taking a straight forward and readable model theory and writing it in this form 16:43:57 hayes - clarifies relationship to rdfs 16:44:18 smith - how do people think of this language? 16:44:55 3 languages? 16:45:06 hard to keep the prefixes right - smith 16:45:20 hayes - consider the rdfs family 16:46:11 van harmelen - what is the fate of the pfps proposed counter examples? 16:46:37 pfps claims the problem is hayes does not have enough classes 16:46:58 does the intersection of student and class exist? asks connolly 16:47:03 hayes - yes 16:47:19 pfps - the list, the sequence but not the intersection 16:47:31 does it exist for pfps's version? 16:47:42 the problem does not arise for pfps's version 16:48:36 hayes -this may be the answer for hayes too 16:48:55 hayes has an action item to go back and look at pfps's first example again 16:49:28 horrocks - what about sequences (e.g., intersection of a b a ) 16:49:47 hayes - can not have loops but he means to allow repetition 16:50:00 this is just a bug; should allow for duplication 16:50:40 horrocks - what is the interpretation of thing? 16:50:51 hayes - owl:thing 16:51:18 what is the interpretation of A or not A 16:51:24 hayes - true 16:51:25 -Buswell 16:51:50 action - more thought is required because of the complementation issue 16:53:24 what is the minimum interpretation? 16:53:52 a number of questions are arising on what is the interpretation of proposed classes such as the union of B and its complement? 16:54:32 horrocks - we dont know how to do great horned owl 16:54:51 hayes - lets not focus on great horned owl 16:55:51 connolly suggests that this is the same problem he found in his model theory and he never found a fix 16:57:48 if classes are in domain of discourse, then problems occur with cardinality of domain 16:57:58 domains have minimum size 16:58:14 rdfs has minimum size 16:58:36 great horned owl domain is infinite 17:00:19 horrocks points out that everything that follows in owl does not follow in great horned owl 17:02:08 horrocks claims there is no inbetween world that conforms to owl 17:02:54 i.e, the entailments are not the same as those in pfps' model theory 17:04:25 the point is reraised that this task that hayes has may be too hard to be solved in a reasonable time for this working group 17:05:13 dark triples handles the problem in another way but in a way that "ignores rdf" 17:05:45 van harmelen - we have now clarified the bind but we do not have a resolution 17:05:59 horrocks - pfps' proposal is a solution 17:06:10 van harmelen - but it does not show a relationship between owl and rdfs 17:06:25 smith - we need to have a statement of the relationship (possibly leaving out features) 17:07:25 hendler - do we really have a proposal that is fully worked out (other than a solution where everything is dark)? 17:08:01 +LynnT 17:08:24 will someone take an action to write such a proposal? 17:09:43 pfps - the charter of the working group could be satisfied without this by using the syntax of rdfs but not the semantics 17:14:10 Possible ACTION - Hayes will do a revision by Monday that addresses major points raised 17:14:20 horrocks questions if this makes sense 17:16:48 possible action above is real action 17:17:14 ACTION: Hayes will do a revision of his MT document that addresses major points raised 17:20:30 q+ 17:20:48 ack frankh 17:21:01 q- 17:21:03 frank - tradeoff between speed of progress vs. quality of main result 17:22:11 the hope would be that pat would be successful yielding a more acceptable group mt 17:23:20 horrocks would like a time limit set on the MT proposal 17:24:05 other proposals could be refined in the time period 17:24:25 request for messages clarifying issues dependent upon this 17:24:55 suggestion - in 2 weeks take stock again of the mt situation 17:26:38 class problem - there are too many for pfps mt and too few for what hayes wants 17:26:54 agreed - 2 week discussion period on MT 17:28:50 maybe peter could type it? 17:29:04 ACTION - pfps will do a revision of his MT that clarifies the relationship between his MT and rdfs 17:29:23 and peter will attempt to make this relationship non trivial 17:29:55 -Libby 17:29:56 -Marwan_Sabbouh 17:29:57 -M_Smith 17:29:58 -??P3 17:29:59 -Guus 17:29:59 -LynnT 17:30:00 -FrankvH 17:30:00 -OraL 17:30:02 -John_Stanton 17:30:03 -TimF 17:30:04 -??P13 17:30:07 -??P15 17:30:10 -Lynn_Stein 17:30:12 -Pat_Hayes 17:30:13 -JeffH 17:30:15 evidently not 17:30:17 -Rudiger 17:30:18 -EvanW 17:30:19 ;) 17:30:20 irc or phone? 17:30:30 -PeterPS 17:30:34 I was hoping to follow up on the question PatH asked 17:30:44 dan, we did not discuss the role of your MT. Can you adjust also? 17:30:52 -Jim_Hendler 17:31:11 adjust: well, I could pretty it up with examples, but no, I don't know how to address the substantive objections 17:31:39 does anyone know where the url for this record is? 17:31:42 -LarryE 17:31:44 -IanH 17:31:46 RRSAgent, pointer? 17:31:46 See http://www.w3.org/2002/08/22-webont-irc#T17-31-46 17:31:53 -DebM 17:31:59 hang on while I fix the access control info, deb 17:32:02 ok 17:32:32 today's discussion gave me a headache and made me think of this quote, which I am fond of, ""Confusionists and superficial intellectuals move ahead while the 'deep 17:32:32 thinkers' descend into the darker regions of the status quo or, to express it 17:32:32 in a different way, they remain stuck in the mud." -- Paul Feyerabend (1988) 17:33:05 http://www.w3.org/2002/08/22-webont-irc#T17-31-46 shows up now 17:33:18 ok, great. 17:34:16 I prefer a different quote: 17:34:17 Mathematical ideas originate in empirics .. But, once they are so conceived, the subject begins to live a peculiar life of its own and is better compared to a creative one, governed almost entirely by aesthetical motivations ŠAs a mathematical discipline travels, or after much abstract inbreeding, [it] is in danger of degenerationŠwhenever this stage is reached, the only remedy seems to me to be the rejuvenating return to the source; the reinjec 17:34:18 --- John Von Neumann, 1953 17:34:20 dan if you are still on - rather than officially protesting the chairs decision to set both f2f5 and f2f6 when the mandate was for f2f only, can i just request that video teleconference or some broad bandwidth option be made available for people who can not go to england twice in a row for f2f meetings 17:35:22 deb -- did you get my /msg? 17:35:24 -DanC 17:35:24 SW_WebOnt()12:00PM has ended 17:35:34 whops no - where should i look for /msg 17:35:52 timf - you here? 17:35:53 RRSAgent, stop