16:12:03 RRSAgent has joined #sw-meaning 16:12:19 zakim, this will be sw-meaning 16:12:19 I do not see a conference matching that name scheduled near this time, sandro 16:12:23 zakim, this will be swmn 16:12:23 I do not see a conference matching that name scheduled near this time, sandro 16:12:35 zakim, what do you see? 16:12:36 I don't understand your question, sandro. 16:12:42 zakim, list conferences 16:12:42 I see W3C_HTMLPAG()11:00AM, XML_SchemaWG()11:00AM, SW_Annotea()10:30AM, SW_RDFCore()10:00AM active 16:12:44 also scheduled at this time are I18N_WG(coord)11:00AM, Style_XSL WG()11:00AM 16:12:55 zakim, list upcoming conferences 16:12:55 I see W3C_HTMLPAG()11:00AM, XML_SchemaWG()11:00AM, SW_Annotea()10:30AM, SW_RDFCore()10:00AM active 16:12:57 also scheduled at this time are I18N_WG(coord)11:00AM, Style_XSL WG()11:00AM 16:13:30 zakim, this will be sw_meaning 16:13:30 ok, sandro; I see SW_Meaning()11:30AM scheduled to start in 17 minutes 16:24:35 bijan has joined #sw-meaning 16:27:43 SW_Meaning()11:30AM has now started 16:27:49 +Sandro 16:28:08 +[UMD] 16:28:28 Zakim, [UMD] is bijan 16:28:28 +bijan; got it 16:30:51 JohnBlack has joined #sw-meaning 16:31:29 mdean has joined #sw-meaning 16:31:30 +John_Black 16:32:19 +Mike_Dean 16:33:03 +TimBL 16:35:19 DanCon has joined #sw-meaning 16:35:24 +??P31 16:35:35 timbl has joined #sw-meaning 16:36:12 DanCon has changed the topic to: SW-Meaning 31 Oct http://www.w3.org/2003/10/31-sw-meaning-irc 16:36:23 +DanC 16:37:05 Bijan: the whole point of "formal meaning" is to abstract away some bits of the meaning 16:37:07 (discussing John Black's suggestion of using "connotation") 16:37:10 Stuart has joined #sw-meaning 16:37:13 zakim, who is here? 16:37:13 On the phone I see Sandro, bijan, John_Black, Mike_Dean, TimBL, ??P31, DanC 16:37:15 zakim, ??P31 is StuartWilliams 16:37:15 On IRC I see Stuart, timbl, DanCon, mdean, JohnBlack, bijan, RRSAgent, Zakim, sandro 16:37:16 +StuartWilliams; got it 16:37:17 we're still waiting for folks 16:37:19 RRSAgent, pointer? 16:37:19 See http://www.w3.org/2003/10/31-sw-meaning-irc#T16-37-19 16:37:23 +PatH 16:37:44 zakim, who is here? 16:37:44 On the phone I see Sandro, bijan, John_Black, Mike_Dean, TimBL, StuartWilliams, DanC, PatH 16:37:46 On IRC I see Stuart, timbl, DanCon, mdean, JohnBlack, bijan, RRSAgent, Zakim, sandro 16:37:49 +Masinter 16:38:27 Mike Dean to scribe, based on random assignment 16:38:36 Sandro chairing 16:38:58 TimBL has not read it.... 16:39:01 Sandro: motion to approve minutes of last meeting 16:39:14 John Black: second 16:39:28 RESOLVED 16:39:32 http://www.w3.org/2003/10/10-sw-meaning-irc 16:39:37 Lar4ry_ has joined #sw-meaning 16:39:45 patH has joined #sw-meaning 16:40:06 tentative reservation for Nov 14 & 28 16:40:20 TimBL: 28 is day after Thanksgiving 16:40:23 Nov 28 doesn't work for folks. 16:40:40 14 Nov overlaps, probably conflicts with my trip to Japan for the TAG and AC meeting 16:41:30 21 Nov likewise 16:42:19 ?: suggest scheduling next meeting at end of this meeting 16:42:33 Sandro: might use web-based survey page 16:43:01 NO RESOLUTION on future meetings. 16:43:22 revisit with 15 minutes to go 16:43:42 http://www.w3.org/2003/09/meaning/agenda-2003-10-31 16:43:43 danbri has joined #sw-meaning 16:44:21 agenda now includes HTML links 16:44:51 DanCon has changed the topic to: sw-meaning 31 oct http://www.w3.org/2003/09/meaning/agenda-2003-10-31 16:45:15 Sandro: tried to find 3 most "interesting" topics that might make it into our final text 16:45:18 regrets danbri 16:45:30 1: Pat's open - TimBL agrees? 16:45:34 2: not sure of consensus 16:45:45 3: ? 16:46:26 Pat: TAG group that denotations need to be pinned down for communication to work 16:46:36 Pat: not necessary - just sufficient overlap in understanding 16:46:36 q+ 16:47:20 Pat: agents involved in some conversation/transaction just need to use same URIs and formal models, i.e. same ontologies 16:47:25 q+ 16:47:40 ack bijan 16:47:41 Pat: doesn't matter if ontology underspecifies, as long as they agree on ontology 16:48:16 Bijan: simple denotation view not necessary or sufficient (not coherent) 16:48:32 Bijan: is Semantic Web more than minimal grounds for communication? 16:48:39 q+ to basically agree with the principle but to point out that the degree of overlap in real cases varies hugely. 16:49:06 Bijan: probably overkill, but ... 16:49:20 "tag decision"? I guess I'm lost. 16:49:33 Bijan: challenge to pin down specific further benefits by imposing this condition 16:49:42 q+ tim2 to suggest that Bijan's view that the single denoattion is "not coherent" is similar to a rejection of classical mechanics. 16:49:53 ack Lar4ry_ 16:49:56 Bijan: view that URIs denote one thing in all contexts 16:50:07 Larry: problem with "in all contexts" 16:50:25 "in all contexts"... where does that occur in the text on the table? 16:50:44 q+ 16:50:46 q+ tim3 to ask Pat what he meant about people needing to just use the same ontology to be able to communicate effecively, when we have no link between the meaning of a document and the use of the ontology. 16:51:30 http uris, presumably 16:51:32 Larry: 3 contexts: as hyperlink (href, img src), XML namespace names (unique identifier), RDF (document vs. abstract concept) 16:51:43 q? 16:51:53 ack DanCon 16:51:53 DanCon, you wanted to ask about "same sources of formal data" 16:52:38 I think I introduced "same denotation in all contexts" language 16:52:43 Dan: do agents need to share formal sources? 16:52:51 (I think that the "context" point Larry just made is what I have thought of as different systems (global hypertext, semantci web, etc) build from different languages (HTML, RDF) on top of the web information space. 16:53:00 ack timbl 16:53:00 timbl, you wanted to basically agree with the principle but to point out that the degree of overlap in real cases varies hugely. 16:53:00 Pat: no need to require further semantic uniqueness 16:53:03 ah... so sharing formal sources is sufficient; he didn't say necessary. 16:53:38 ack tim3 16:53:38 tim3, you wanted to ask Pat what he meant about people needing to just use the same ontology to be able to communicate effecively, when we have no link between the meaning of a 16:53:41 ... document and the use of the ontology. 16:53:42 Tim: agree with principle 16:54:26 -John_Black 16:54:45 Tim: missing the link 16:55:06 Tim: predicates are well-understood (good enough for government work) 16:55:19 +John_Black 16:55:43 q? 16:55:44 tim, did you agree to the agenda? if not, please so. If so, please comment on the text in the agenda. 16:55:46 ack tim2 16:55:46 tim2, you wanted to suggest that Bijan's view that the single denoattion is "not coherent" is similar to a rejection of classical mechanics. 16:55:50 Tim: build up by defining predicates and classes - is this unique to the world, RDF, or just random? 16:56:09 q? 16:56:53 ack patH 16:57:18 We were here before: Is the predicate special? 16:57:27 Pat: emerging style of use important 16:57:57 pat's "don't encourage" line +1 16:58:08 q? 16:58:08 Pat: undesirable to encourage - people will just do it, or just let emerge 16:58:13 q+ 16:58:31 Pat: give world freedom to find its own mode 16:58:45 Sandro: this is off-topic 16:59:08 q+ 16:59:21 Sandro: consensus between Tim and Pat - can we take Pat's text and all agree on it? 16:59:25 q+ 16:59:43 +??P4 16:59:52 starting with "words convey meaning" 17:00:01 zakim, ??P4 is PFPS 17:00:01 +PFPS; got it 17:00:05 q? 17:00:09 ack Lar4ry_ 17:00:57 Larry: I don't think the SemWeb should have URIs be like words 17:01:09 Larry: may be how words work, but bad idea to use URIs as words (e.g. organization home page URI as signifier for organization) 17:01:18 pfps has joined #sw-meaning 17:01:24 Larry: not a matter of discovery, issue of language design 17:01:33 q+ to bring a test case up in which I define tim:apples is defined to be a URI which has the meaninhg such that any statement which uses it as having the meaning if being tim's apples and that the apples are good to eat. 17:01:37 q- 17:01:39 Larry: language designers get to say what the language means 17:01:53 Larry: natural language leads you into the weeds - don't need to go there 17:01:55 ack bijan 17:02:28 q+ tim2 to connect the ideas of prescriptive specification with Pat's text. 17:02:44 Bijan: agreement that URIs convey meaning? what conditions are necessary to convey the right meaning? requirements unclear 17:02:49 hmm... it was clear that Larry was arguing against the text in the agenda; I can't tell whether bijan is arguing for or against. 17:03:08 Bijan: like requirement of model theoretic foundations for our languages 17:03:47 Bijan: additional desire to add another requirement - sounds easy, but hard to get URI to denote one thing 17:04:07 Bijan: don't know whether i support pat's text 17:04:51 Bijan: prefer to write nothing 17:05:06 q? 17:05:08 Bijan composing text for IRC ... 17:05:39 pwd 17:06:29 ack patH 17:06:33 Sandro: message 93 connects message 92 with URIs 17:06:50 Pat: text intended for debate, not formal document 17:07:24 Hmm. 17:07:39 Pat: to clarify, we shouldn't say that a URI can't have a unique denotation, only that it need not have a unique denotation 17:07:47 Pat: I dont mean to say URIs CANNOT have unique denot; just that they NEED NOT. 17:07:51 +q 17:07:52 Hmm. 17:08:02 q+ 17:08:05 Pat: agree with Larry's point about words 17:08:33 q? 17:08:52 Pat: this isn't motivated by language metaphor, but technical details in trying to write formal ontologies 17:09:05 ack timbl 17:09:21 ACTION (Pat): write up summary by Monday 17:09:27 I would propose, perhaps, "URIs need not have an unique denotation..." But I have no idea what to fill in for the ... 17:09:43 (I don't expect to hold PatH to the Monday deadline) 17:09:56 q? 17:10:04 ack tim2 17:10:04 tim2, you wanted to connect the ideas of prescriptive specification with Pat's text. 17:10:14 I don't understand what having a denotation means outside of an interpretation 17:10:45 Tim: 3 views consistent in the way that classical mechanics and quantum mechanics are consistent 17:11:02 So, do URIs have (ought to have) the same denotation in all interpretations? 17:11:25 Tim: community sizes - huge overlap worldwide in understanding of integers 17:11:45 Thanks for attending while you could, Stuart. Bye! 17:11:59 q? 17:12:23 Let me suggest Paul Benacerraf's "What Numbers Could Not Be" 17:12:28 Hmm dicussion: http://hilton.org.uk/what_numbers_are_not.phtml 17:12:40 q+ reply to Tim 17:12:58 Tim: work on particular terms very hard - difference in overlap is reduced but never vanishes, but allows systems to work assuming its 0 - how engineering structures (including the Internet) have been designed and built 17:13:32 -StuartWilliams 17:13:45 ack Lar4ry_ 17:13:51 Tim: get used to working with extreme case 17:14:24 Tim: It's like Quantum Mechanics and Classical Mechanics -- they are well enough aligned for practical work. 17:14:44 er...I thought denoational semantics *were* model theoretic semantics 17:14:46 Larry: terms used in different ways: e.g., denotation (logic vs. programming language) - RFC 2396 uses programming language sense 17:14:48 Larry: RFC 2396 uses "denotation" and "identification" as in programming languages. 17:15:09 q? 17:15:09 q+ 17:15:28 ack reply 17:15:28 reply, you wanted to Tim 17:15:31 Larry: In RFC2396, the concepts of "identifier" and "denotation" come from programming languages, not from [model theory?] 17:15:53 +1 against quantum theory analogy 17:15:55 Pat: don't accept analogy to quantum theory 17:16:06 Foldoc on denotational semantics http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?denotational+semantics 17:16:20 Pat: no evidence that people agree in that way, lots that they don't 17:16:30 http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?domain+theory 17:16:34 Pat: writing ontologies exposes disagreements 17:16:35 q+ to say I am NOT saying that this is all philosophical froth. the process fo ontology building is very important. 17:16:45 The above links to the domain theory page 17:16:51 And the prescriptive model of the meaning of terms does *mpot* hold in that process. 17:17:02 Pat: technology sensitive to differences in meaning 17:17:22 mpot? 17:17:34 Larry noted several times: we shouldn't be trying to discover what URIs *are*, we should be establishing some principles for what the meaning of URIs *should be*, in languages that W3C will define 17:17:45 From the foldoc definition: """In denotational semantics of programming languages, the meaning of a program is taken to be an element of a domain. A domain is a mathematical structure consisting of a set of values (or "points") and an ordering relation, 17:17:53 <= on those values. Domain theory is the study of such structures. """ 17:17:56 it isn't a process of 'discovery', it's a process of 'definition'. 17:18:12 Tim: absolutely can't assume prescriptive model - like looking at light beam going through a very small hole 17:18:28 yeah, I see this business as ontology building as dealing in the "quantum" space; after an ontology settles down, you get a "classical" phenomenon. 17:18:48 Really? I'm not following at all. 17:19:12 Pat: agreement is syntax, then seek clarification 17:19:26 Pat: true semantic agreement would not require clarification 17:19:33 q? 17:20:00 Pat: just say that we work like courts, etc. 17:20:08 thanks for being patient Bijan 17:20:31 q+ to make the point that we should have two contexts for meaning of URIs, because I am not my web page, and yet in some contexts people want to use the URI of my web page to talk about me 17:20:43 Pat: just point to ontology and say that this captures our current understanding 17:20:54 Sandro: optimistic that Tim will like Pat's text 17:21:53 Pat: not a different sense of denotation, but programming language is special type of domain where universe has fixed points - presumptions that can't be taken for granted - RFC 2396 does have flavor of programming language semantics framework - SW needs larger framework 17:22:10 ack bijan 17:23:13 Larry: home page URI used to denote page vs. person in different contexts (href vs. RDF assertion) 17:23:59 Tim maintaiuns that Larry's concept of multiple meanings in multiple contexts is not IMH the architecture of the sem web. 17:24:05 Larry: web consortium should define other context for denotation in ontological sense 17:24:13 q? 17:24:20 ACTION (Larry): write up in email to group 17:24:42 ack timbl 17:24:42 timbl, you wanted to say I am NOT saying that this is all philosophical froth. the process fo ontology building is very important. 17:24:46 Sandro: return to main track 17:24:58 'two' is different from 'multiple' 17:25:19 There seems to me two contexts here, application of a language versus a formalization of a language. 17:25:47 I think it's not that you *can't* behave as if words have a particualr meaning, but what so behaving *consists* of 17:26:07 Tim: possible irony in our use of specific technical terms 17:26:51 ack danc 17:26:51 DanCon, you wanted to say that agreement based on documents/syntax appeals to me and to say to larry "don't do that" 17:26:52 ack DanCon 17:26:52 Pat: can communicate fine despite differences in meaning for "dinner" 17:27:18 q? 17:27:21 Dan: agreement based on documents and syntax is appealing 17:27:28 q+ to re-introduce the test case 17:27:29 Dan: don't use home page URI to refer to person 17:27:41 ack Lar4ry_ 17:27:41 Lar4ry_, you wanted to make the point that we should have two contexts for meaning of URIs, because I am not my web page, and yet in some contexts people want to use the URI of my 17:27:44 ... web page to talk about me 17:28:15 Larry: any URI starting with http: has to have dual meaning 17:28:27 Hmm. I think there's a conflation of "meaning" 17:28:39 Larry: http protocol meaning is always there 17:28:43 q? 17:28:56 ack timbl 17:28:56 timbl, you wanted to re-introduce the test case 17:29:20 Tim: without # means document - use Person with homePage URI 17:29:33 q+ on homepage/name 17:29:37 Tim: use owl:InverseFunctionalProperty 17:29:37 yes, http://...lmm-homepage#larry is intimately connected to what happens when you use the HTTP protocol. 17:30:38 Tim: test case 17:32:08 Tim: test case - web page with tim:apples a good buy - if someone says that they hate your apples, you can't assume apples are being ordered 17:32:25 Tim: ... just because they used a predicate 17:32:40 Pat: problem of allowing comments in predicates to convey meaning 17:33:21 q? 17:33:54 Tim: not sufficient for building ontologies for life sciences (e.g. concept of Enzyme) 17:34:21 Tim: want to express than Enzymes and Proteins are distinct 17:34:32 A Lurker's Aside (re "people want to use my homepage uri to talk about me"): 100s of people are writing RDF of the form Dan BrickleyDanBri's homepage ...using OWL to indicate that homepage is inverse-functional. It seems to work fine. We pick out the relevant individuals (the person 17:34:32 , the page). We don't confuse the two. The markup is reasonably straightforward... 17:35:17 Sandro: way to capture this slight digression? irreconcilable differences? 17:35:31 Pat: social vs. formal meaning 17:35:46 Sandro: do comments or other natural language text mean anything? 17:36:01 ack JohnBlack 17:36:04 Pat: can we mandate that this meaning has any influence on machinery? 17:36:06 ack on 17:36:17 ack homepage/name 17:36:24 ack John_Black 17:37:07 John Black: 2 contexts here: how to formalize a useful language vs. how to apply such a language 17:37:28 John Black: visualizing duel between logician and webmaster 17:38:16 John: need to distinguish between these 2 cases 17:38:21 ack DanCon 17:38:21 DanCon, you wanted to motivate natural-language comments and "lots of uses of enzyme" and to suggest moving on or something, actually 17:38:31 timbl has joined #sw-meaning 17:38:45 Sandro: pop back up to future meetings and process 17:38:52 q? 17:39:07 Zakim, who is here? 17:39:07 On the phone I see Sandro, bijan, Mike_Dean, TimBL, DanC, PatH, Masinter, John_Black, PFPS 17:39:09 On IRC I see timbl, pfps, danbri, patH, Lar4ry_, DanCon, mdean-scr, JohnBlack, bijan, RRSAgent, Zakim, sandro 17:39:29 ack DanCon 17:39:31 DanCon, you wanted to explore the null hypothesis 17:39:46 pfps: some believe there's nothing useful to be said here 17:39:55 the working group charter is to propose a 'meaning for URIs' for the semantic web 17:40:19 perhaps withdraw issue? 17:40:40 Pat: good point somewhere, but keep running into the weeds 17:40:51 q+ 17:41:32 Tim: could not write it down (because people complain) and just let the right thing happen 17:42:02 Tim: people who buy domain names feel they have the authority to decide what "their" URIs mean 17:42:27 Tim: saying nothing leaves the system open to attack by spammers, lawyers, etc. 17:42:32 Tim: People DO beleive in URI ownership..... 17:43:42 Pat: say what you want to say but don't trample on semantic intuitions 17:44:02 ?: suggest pat be editor 17:44:27 I think it's a rathole 17:44:29 q- 17:44:41 Pat volunteers to write text for TAG 17:44:53 ack DanCon 17:44:53 DanCon, you wanted to suggest a straw poll on next steps: anything from "let's meet monday" to "let's go email-only for 3 months" to "let's withdraw the TAG issue" 17:45:09 zakim, who is on the phone? 17:45:09 On the phone I see Sandro, bijan, Mike_Dean, TimBL, DanC, PatH, Masinter, John_Black, PFPS 17:45:27 DanC: w3c technical plenary in france in early march - could get f2f time there 17:45:47 Sandro: can't make march, but would like to continue every few weeks 17:45:56 I think SW probably needs someone to define what URIs mean. I can talk on the phone every couple of weeks, but don't think I can travel for this topic 17:46:01 Bijan: every few weeks OK, indifferent 17:46:16 bijan plans to be in france for the March W3C tech plenary 17:46:24 I'm going to run off now, else I'll miss my next meeting 17:46:28 Mike: comfortable continuing at current place 17:46:33 thx, larry 17:46:34 Mike: comfortable at pace we're going 17:46:42 not sure about plenary 17:46:42 one sec, Larry? 17:46:48 gotta go bye 17:47:45 I am happy to do this level of effort in principle but November is a mess, dec not much better, and emila may work better. 17:47:52 DanC: prefer email only for several months, meet at tech plenary to make sure this doesn't get lost 17:48:16 Pat: no travel, this pace is okay. e-mail only does tend to have it dift. 17:48:19 Pat: transatlantic travel difficult, this pace OK, email tends to drift into nothingness 17:48:53 DanC: need some synchronous event [telecon or irc] 17:49:08 John: every few weeks OK, optimistic that there will be a worthwhile grand synthesis 17:49:32 Peter: depressed by people talking past each other - need something to shoot at to make any progress 17:49:51 what i meant was: an editor "needs" some synchronous event every once in a while... 17:49:54 Peter: return fire that hits is very satisfying 17:49:59 "return fire that hits is very satisfying" -- PFPS 17:50:36 Peter: need proposals on the table 17:51:03 +1 17:51:10 Peter: need short text 17:51:28 "only need to agree on words" :-) 17:51:35 ack danc 17:51:35 DanCon, you wanted to suggest email-only, with low expectations, thru 1Jan and to suggest email-only, with low expectations, thru 1Jan, when PatH's action to write something is due 17:51:40 q? 17:52:06 DanC: tender regrets for Nov/Dec telecons 17:52:24 Pat: will try draft in next couple weeks 17:53:01 Sandro: agreement on a little bit, and then build up 17:53:41 DanC: my attention is elsewhere [Japan AC meeting] 17:53:50 Pat: send prose they feel needs to be taken account of. 17:54:23 RESOLVED: take to email 17:55:09 -DanC 17:55:28 Bijan: empirical observations could be useful 17:55:33 meeting adjourned 17:55:34 -bijan 17:55:36 ADJOURNED 17:55:37 -PatH 17:55:39 -John_Black 17:56:02 -Mike_Dean 17:56:03 -TimBL 17:56:03 -Sandro 17:56:04 zakim, who is here? 17:56:04 On the phone I see Masinter, PFPS 17:56:05 On IRC I see timbl, pfps, danbri, patH, Lar4ry_, DanCon, mdean-scr, JohnBlack, RRSAgent, Zakim, sandro 17:56:14 zakim, drop Masinter 17:56:14 Masinter is being disconnected 17:56:15 -Masinter 18:05:00 disconnecting the lone participant, PFPS, in SW_Meaning()11:30AM 18:05:02 SW_Meaning()11:30AM has ended 18:13:36 timbl has left #sw-meaning 18:32:00 danbri has left #sw-meaning