14:21:26 RRSAgent has joined #sw-meaning 14:21:32 RRSAgent, pointer? 14:21:32 See http://www.w3.org/2003/09/26-sw-meaning-irc#T14-21-32 14:21:35 Zakim has joined #sw-meaning 14:21:39 zakim, this will be SW_Meaning 14:21:39 I do not see a conference matching that name scheduled near this time, sandro 14:21:52 soon enough, zakim. 14:25:46 Stuart has joined #sw-meaning 14:41:09 JohnBlack has joined #sw-meaning 14:42:25 I just wanted to be sure I had this right. 14:57:01 zakim, this will be SW_Meaning 14:57:01 ok, sandro; I see SW_Meaning()11:30AM scheduled to start in 33 minutes 14:57:40 sandro has changed the topic to: SW_Meaning 11:30-1:00 Boston Time, http://lists.w3.org/Archives/Public/public-sw-meaning/2003Sep/0109 15:11:32 Sandro et. al.... my wife has just reminded me of a somestic commitment I made which means that I will miss the start of the call. Will join as soon as I can. Sincere apologies. 15:11:58 Understood, Stuart. Thanks. 15:26:42 gk-scribe has joined #sw-meaning 15:27:06 Volunteering to scribe, Graham?? 15:27:29 No, that's the meeting I;ve just done... I;'m not doing *two* today!! 15:27:31 zakim, what is the code? 15:27:31 the conference code is 7966, sandro 15:27:37 SW_Meaning()11:30AM has now started 15:27:43 +Sandro 15:27:49 ah, well. :-) 15:27:54 Norm has joined #sw-meaning 15:28:31 howdy, Norm. 15:28:47 +[UMD] 15:29:07 zakim, [UMD] is Bijan 15:29:07 +Bijan; got it 15:29:16 +GrahamKlyne 15:29:37 Zakim, what's the passcode? 15:29:37 the conference code is 7966, Norm 15:29:57 +Norm 15:30:22 +??P22 15:30:27 +PatH 15:30:39 bijan has joined #sw-meaning 15:31:09 zakim, ??P22 is PeterPS 15:31:09 +PeterPS; got it 15:31:13 +??P25 15:31:18 +DanBri 15:31:30 Zakim, ??P25 is IanHorrocks 15:31:30 +IanHorrocks; got it 15:31:33 danbri_desk has joined #sw-meaning 15:31:42 DanC has joined #sw-meaning 15:32:00 +Mike_Dean 15:32:06 +DanC 15:32:07 JohnBlack has joined #sw-meaning 15:32:08 + +1.434.964.aaaa 15:32:12 pfps has joined #sw-meaning 15:32:27 zakim, mute danbri 15:32:27 DanBri should now be muted 15:32:31 zakim, +1.434.964.aaaa is JohnBlack 15:32:31 +JohnBlack; got it 15:32:42 zakim, who is on the call? 15:32:42 On the phone I see Sandro, Bijan, GrahamKlyne, Norm, PeterPS, PatH, IanHorrocks, DanBri (muted), Mike_Dean, JohnBlack, DanC 15:33:20 people sound like they're underwater... my phone? 15:33:37 zakim, unmute danbri 15:33:37 DanBri should no longer be muted 15:34:09 +JimH 15:34:10 Yes, it's your phone danbri_desk 15:34:24 zakim, drop danbri 15:34:24 DanBri is being disconnected 15:34:25 -DanBri 15:34:40 +DanBri 15:35:00 ack JimH 15:35:16 zakim, mute danbri 15:35:17 DanBri should now be muted 15:35:47 ------- Convene 15:35:48 zakim, who is on the call? 15:35:48 On the phone I see Sandro, Bijan, GrahamKlyne, Norm, PeterPS, PatH, IanHorrocks, DanBri (muted), Mike_Dean, JohnBlack, DanC, JimH (muted) 15:36:22 mdean has joined #sw-meaning 15:36:58 timbl-lex has joined #sw-meaning 15:37:09 Zakim, what is the passcode? 15:37:09 the conference code is 7966, timbl-lex 15:37:14 zakim, pick a scribe? 15:37:14 I don't understand your question, sandro. 15:37:18 zakim, pick a scribe 15:37:18 Not knowing who is chairing or who scribed recently, I propose Bijan 15:38:05 RRSAgent, pointer? 15:38:05 See http://www.w3.org/2003/09/26-sw-meaning-irc#T15-38-05 15:38:13 +TimBL 15:38:30 Agenda review: We'll go with it. 15:38:51 Sandro: Expectations for future meeetings 15:39:26 Sandro: Plan 2 more dates on a twice a month secdule for the next two months. 15:39:32 I'm available 10, 31 Oct at this time 15:39:47 Sandro: check Oct 10 and 31 this time slot for availability 15:39:51 Not available 10 Oct, am available 31 Oct 15:39:57 10/10 and 31/10 are OK by me 15:40:03 Pat is ok for both dates 15:40:03 Currently, I'm free 10/31 Oct 15:40:04 I can do 31 oct, tentatively 15:40:17 both ok 15:40:24 Scribe: Bijan believes himself to be free those dates 15:40:27 I am available 10th and 31st 15:41:30 RESOLVED: to meet 10, 31 Oct 15:41:32 Sandro: No objectiton? Good, meetings so scheduled 15:41:36 Ah. 15:41:39 I was working on it 15:42:08 Sandro: Text for the TAG 15:42:15 PFPS: We can do way better. 15:42:31 I'd like to see something emerge sooner 15:42:58 General debate about timeline for the "something" 15:43:17 Sandro: Two bits, what's our goal (produce somethign "acceptible to the tag") and timeline 15:43:24 danC(?): hoping for more 15:43:44 pfps: i would agree with the goal 15:43:58 path: nervous about getting acceptibily from the tag 15:44:01 Would the first goal be some kind of consensus in this group? 15:44:10 pfps: tag's not darpa, failure alloed 15:44:23 q? 15:44:36 Sandro: consensus on goal, how about timeline? 15:45:14 Danc: other dates, ISWC in october, XML conference in (dec), and tech plenary in (march) 15:45:33 DanC; F2f possibilities for these dates (also presentations) 15:45:46 scribe dies in line noise 15:45:52 that was danbri saying he'll be at XML thingy in PA 15:46:10 DanC: These are release ops 15:46:39 7-12 Dec 15:46:44 PFPS: I'd go to philly (XML conf) 15:46:48 BIjan: Me too 15:46:56 -- http://www.xmlconference.org/xmlusa/ 15:47:09 PatH: Tight date 15:47:21 DanC: Not much different than end of the year. 15:47:35 Sandro: Consensus on end of hte year as a "get somethign out" date 15:47:54 NOTED: Get something out by the end of the years 15:48:09 ... was agreed by many 15:48:15 ... as a goal 15:48:18 sandro: working style 15:48:56 sandro: Issues list and requirements list, or test driven approach, or something looser. 15:49:11 Zakim, who's talking? 15:49:17 Zakim, who is talking? 15:49:18 -JohnBlack 15:49:22 Norm, listening for 10 seconds I heard sound from the following: Sandro (4%), PeterPS (4%), PatH (28%), IanHorrocks (50%), JohnBlack (57%), TimBL (14%) 15:49:40 it was probably you, John.... 15:49:43 timbl-lex, listening for 10 seconds I heard sound from the following: Sandro (56%), PatH (79%), IanHorrocks (4%), TimBL (4%) 15:50:16 PatH: Fixing an issue list too soon can be destructive or inhibiting 15:50:17 Do we truly have more than one issue? 15:50:25 good question, gk. 15:50:25 +JohnBlack 15:50:40 Tim: say something small as soon as possible 15:50:56 q+ 15:51:01 Tim: ... then go on to Best Practices, etc. 15:51:11 PatH: Danger of the small messing up the rest 15:51:13 ack DanC 15:51:13 q- 15:51:18 +1 to PatH 15:51:37 DanC: issue list pitfalls 15:51:54 DanC: Issue list ok if its short 15:51:57 q+ 15:51:58 DanC: 3 or 5 issues is fine --- I dont want important issues to get burried 15:52:07 PFPS: Endorsed danc with bells 15:52:17 ack scribe 15:52:19 ack scribe 15:52:32 Bijan: 1 issue is too small, 37 is too big 15:52:45 Bijan: Separating concerns *is* important 15:53:21 Bijan: Some issues might route to differennt groupd -- 5-10 issues 15:53:39 q? 15:53:58 Sandro: how to do test cases or use cases in the subject area 15:54:05 DanC: Like the idea, don't know how to do it 15:54:11 Molly and Sally rule! 15:54:43 Tim: danger is the examples are small but we need to understand the large. Synoptic view critical 15:54:43 q+ to ask does the molly and sally test any formal/social interaction? 15:54:49 q+ 15:55:03 ethernet protocol clash ;-) 15:55:11 q? 15:55:15 ack gk 15:55:15 gk, you wanted to ask does the molly and sally test any formal/social interaction? 15:55:46 gk: About Molly & Sally, does it expore formal reasoning process vs. social meaning something the scribe didn't get 15:55:58 PatH: yes! 15:56:05 PatH: yes 1/2 ;-) 15:56:21 Pat: these are examples, not test cases. we're not there yet. 15:56:26 PatH: Test case is about getting the precise case exactly 15:56:37 Pat: example help clarify vocabulary at least; thought experiment 15:56:37 g/me thought experiments 15:56:56 gkgk has joined #sw-meaning 15:57:50 Bijan: Tim's issue Raising, Intuition Pump example, .... Tim's level doesnt help me. 15:58:21 Bijan: "Will my software become non-complaint if...." 15:58:34 q? 15:59:15 Pat: some people want things to be said; others want foolish things NOT said. it would be good for people to get their goals clear. 15:59:19 PatH: Some folks want to get things said; other people want to prevent stuff getting said; might be useful for people to make their agenda clear 15:59:23 -PatH 15:59:31 ack scribe 15:59:32 ack jimh 15:59:33 ack jimh 16:00:17 JimH: turning it into two different behaviors is important. 16:00:19 JimH: Question - whatever we call them, it's too easy to discuss things with no practical value at great left; nice to operationalize the results of decisions 16:00:23 -Norm 16:00:25 q+ to agree and ask when we start 16:00:43 q- 16:00:47 Sandro: moving on 16:01:02 Pat Hayes send a (long) message to the list about a commerce scenario that for me captured many concerns 16:01:13 Sandro: One issue on the list, tim's "straw man" 16:01:29 q? 16:01:31 q+ 16:01:43 Sandro: Tim just sent stuff to the list just recently 16:01:49 ack DanC 16:01:49 DanC, you wanted to endorse "We can define a *protocol* in which ..." 16:02:28 DanC: use of URI imply committment; tim sez that's silly question; we can define protocol 16:02:31 q+ 16:03:08 DanC: RDF compliant. Well, two things define, parsers, and trivial reasoners 16:03:19 DanC: So RDF compliance uninteresting 16:03:56 DanC: Encourage behaviors, not require stuff 16:03:56 q? 16:03:59 ack timbl-lex 16:04:36 timbl-lex: restate my position; your software would be required to do stuff but I never meant that 16:05:15 timbl-lex: we going to model somethings and not others 16:05:19 q? 16:05:30 (I think it would be fascinating to model society... a certain amount of information theory and economics... an interesting PhD ;-) 16:05:36 -Sandro 16:05:47 -sandro??? 16:06:00 Re: DanC's comments, Pat Hayes also noted "... that the performance of valid inferences can itself be considered to be taking a stance, and the conclusions may be at risk even if the sources are trusted and the inferences are valid." 16:06:30 +Sandro 16:06:34 scribe: lost the thread of tim's comments...can anyone fill the gap 16:07:26 tim: we must not loose focus on the "simple goal" of what an RDF document mean 16:07:38 timbl-lex: even if we may want to move on to more complex things 16:07:49 gkgk: more that rdf? 16:08:08 timbl-lex: we could define new specs for "more friendly" rdf 16:08:26 ack scribe 16:08:38 Bijan: re RDF compliance... 16:09:02 We could define a FriendlyARDFDocument as having specialpropertryeis ... but lets define RDF first" 16:09:04 TimBL: e.g. "Friendly rdf document" works interestingly with "closure" of RDF classes and predicates" (?) 16:09:09 +??P30 16:09:09 ... I think it does matter; if you have to import the ontological closure, then ... 16:09:29 ... that's an observable behaviour 16:09:35 zakim, ??P30 is me 16:09:35 +Stuart; got it 16:09:54 DanC: I don't think anybody's talking about any requirement that all RDF software must read all 16:10:05 linked stuff 16:10:15 Does anybody thing dereferencing all URIs is required? Nobody says so. 16:10:20 straw poll: does anyone feel there's such a requirement? 16:10:33 No, noone does. 16:10:59 no but ontological closure will be highly desirable and the marketplace will drive it 16:11:04 Bijan: then, onto imports... if you refer to cyc:Dog, do you have to load all of cyc? 16:11:31 Bijan: it's very hard to describe [loading something smaller than the document] 16:11:34 q+ 16:11:49 ack timb 16:12:32 timbl-lex: owl:imports is a distractions; there is a committment to an ontology, and if you are only committed to the content daml:imports; daml:imports is just about saving bytes 16:12:37 q+ 16:12:45 q+ 16:13:12 timbl-lex: daml:imports is "all the statemstn in another document is true" 16:13:22 +Sandro.a 16:13:23 q+ to say I think that ontological closure is an interesting idea, but that there are more basic ideas to find consensus about .. the interaction between formally derived meaning and social behaviours 16:13:31 ack scribe 16:13:38 I see daml:imports as a distraction. 16:13:41 -Sandro 16:14:11 q+ 16:14:17 Bijan: without a definiton of "commitment" ala "I believe what's in the imported ontology" then I'm confused 16:14:44 ... Can I use somebody's ontology and supply my own definition 16:14:45 ? 16:14:52 ... and my answer is: sure, why not? 16:14:55 q+ 16:15:07 ack danc 16:15:07 DanC, you wanted to cyc 16:16:09 DanC: why can't do that? Because the resulting ontology is uninteresting. Hyperlink example 16:16:43 resulting systems 16:17:04 I'll scribe as Bijan is saying what I want to 16:17:25 Bijan: Why not allow divergence? 16:17:43 Bijan: I should be able to use someone else's terms without committing to (all) of their definitions. 16:18:34 if Sally agrees she made a mistake, you should get her to change the RDF she publishes. If she doesn't agree, you have to use a different URI 16:18:39 Bijan: There are reasons for this - mistakes (both trival and non-trivial) - differences in opinion - change in the world - lack of response 16:19:10 TimBL: we should define something that works when everything works well 16:19:14 q+ 16:19:15 TimBL: 2 levels, naive protocol, then more complex things layered on it 16:19:42 TimBL: and then go on to more difficult cases 16:20:43 Bijan: test case - RDF spec should provide some clue for untangling meaning 16:21:19 ack pfps 16:21:32 Bijan: however, understanding Molly (who disagrees with Sally) should not require use of Sally's document 16:21:33 ack gkgk 16:21:33 gkgk, you wanted to say I think that ontological closure is an interesting idea, but that there are more basic ideas to find consensus about .. the interaction between formally 16:21:35 pfps: Bijan said what I wanted to say :) 16:21:36 ... derived meaning and social behaviours 16:21:58 q+ to say The simpler level is not "look it up on the web" but "identified by a URI" 16:22:04 gkgk: Ontology closure is interesting, but I don't see the relationship between it and what we're tryign to capture that caused problems with early RDF Drafts 16:22:29 gkgk: relationship between formal meaning and social meaning 16:22:31 q+ 16:22:37 ack john 16:22:39 sandro has joined #sw-meaning 16:23:10 JohnBlack: Rather than comm to closure, everyone's self-interest will drive them to do as much onto comm as possible 16:23:25 ooh... good point. 16:23:28 JohnBlack: Power of URIs derives from agreement 16:23:31 ack timbl-lex 16:23:31 timbl-lex, you wanted to say The simpler level is not "look it up on the web" but "identified by a URI" 16:24:08 timbl-lex: The simple statement is "the meaning of the term is identified by the URI' 16:24:35 timbl-lex: RDF leaves it at that. HTTP intervenes 16:24:57 I think I'm back. 16:25:01 q? 16:25:15 okay 16:25:57 TimBL: web retrieval provides basis for a good argument concerning the meaning, rather than specifying retrieval as part of the definition of meaning (?) 16:26:22 -JimH 16:26:27 ack scribe 16:27:00 TimBL: [lots of stuff that wasn't very well understood by the meeting] 16:27:39 The Semantic Web is a lot. The bit of RDF is small. 16:27:55 Bijan: having problems undersanding what TimBL is really asserting, would like to spend some effort pinning this down 16:27:58 Bian: I don't really understand what Tim is saying: it sometimes seems simple, sometimes not 16:28:27 q? 16:28:51 Bijan: if I talk with Tim a LOT I might be able to understand it and restate it in a form people like me can understand 16:29:08 ack DanC 16:29:08 DanC, you wanted to note that doing it in this forum is very valuable, to me 16:30:36 Bijan: this may take a very careful line-by-line discussion 16:30:39 timbl-lex: I'm encouraged that PatH and I did off into the weeds and came back, so maybe Bijan and i can do it 16:32:18 DanC: PatH's recent message seems to go bac 16:32:20 (DanC says Pat's recent message was 3 steps back ... I'm not so sure as I think he did ack the debate with Tim) 16:32:21 back 16:32:39 q? 16:32:47 ack DanC 16:32:47 DanC, you wanted to move to adjourn 16:33:20 ADJOURN 16:33:21 Motion to adjourn 16:33:27 -Bijan 16:33:28 -Stuart 16:33:33 -Mike_Dean 16:33:42 q? 16:33:48 -GrahamKlyne 16:34:00 Thanks to everyone who achired and/or scribed 16:34:09 -DanBri 16:34:13 zakim, who is on the call? 16:34:13 On the phone I see PeterPS, IanHorrocks, DanC, TimBL, JohnBlack, Sandro.a 16:34:21 -DanC 16:34:22 -Sandro.a 16:34:28 -TimBL 16:34:29 -PeterPS 16:34:38 -JohnBlack 16:34:49 Plan for the next meeting: Bijan tries to understand Tim's view. 16:36:48 -IanHorrocks 16:36:49 SW_Meaning()11:30AM has ended 16:37:18 pfps has left #sw-meaning 16:39:56 Dan, you still here? 16:40:18 Pat's message contained this: 16:40:19 [[ 16:40:20 6. Following on the debate about URIs having a unique meaning, in discussions with Tim (and others, notably Patrick Stickler) I think Tim and I kind of agreed on the following. Observe that people communicate successfully when they use words with a shared meaning, and often fail to communicate when one has a meaning in mind different from that understood by the other, particularly when the word is a simple name and they don't have the same referent in mind. 16:40:23 ]] 16:43:10 oh... hi. 16:45:03 yes, saw that. that's good. 17:26:05 Norm has left #sw-meaning 17:43:05 gkgk has left #sw-meaning 19:05:11 Zakim has left #sw-meaning 19:10:05 DanC has left #sw-meaning