12:56:47 RRSAgent has joined #awwsw 12:56:47 logging to http://www.w3.org/2008/10/14-awwsw-irc 12:56:52 Zakim has joined #awwsw 12:56:57 zakim, this will be awwsw 12:56:57 ok, dbooth; I see TAG_(AWWSW)9:00AM scheduled to start in 4 minutes 12:57:07 Meeting: AWWSW 12:57:14 zakim, code? 12:57:14 the conference code is 29979 (tel:+1.617.761.6200 tel:+33.4.89.06.34.99 tel:+44.117.370.6152), dbooth 12:57:37 TAG_(AWWSW)9:00AM has now started 12:57:44 +DBooth 12:59:21 +Jonathan_Rees 12:59:53 jar has joined #awwsw 13:01:43 timbl has joined #awwsw 13:01:59 Zakim, call timbl-work 13:01:59 I am sorry, timbl; I do not know a number for timbl-work 13:02:03 Zakim, call tim-work 13:02:03 I am sorry, timbl; I do not know a number for tim-work 13:07:12 +TimBL 13:11:03 Topic: How to determine if a document contains a word? 13:11:21 jar: All you can observe are representations of that document. 13:11:40 Stuart has joined #awwsw 13:12:00 +??P8 13:12:18 zakim ?? is me 13:12:23 zakim, ?? is me 13:12:23 +Stuart; got it 13:13:23 dbooth: If you view an IR as a function from request inputs to representations, then you can never be sure that a slightly different request input wouldn't return a rep that contains the word you were looking for. So without some other knowledge, it is not possible to definitively say that an IR does *not* contain a particular word (i.e., that it does *not* have a rep containing that word). 13:14:01 jar: Then what if some metadata says that the IR does NOT contain a word, but you do a GET and the rep does contain it? Which is wrong? 13:14:20 timbl & dbooth: The metadata is wrong. The 200 response is authoritative. 13:14:50 jar: So there is some info you can determine from a GET, but there's other info that is not determinable by experimentation. 13:15:33 timbl: There is an HTTP VARY header that can say NONE, meaning that it is not affected by any of your headers, but not sure it also applies to time. 13:16:51 timbl: We can consider the Link header to be part of the protocol 13:18:13 s/by experimentation/by GET experiments/ 13:19:08 timbl: We don't define what gets asserted, we only define what triples are implied. [? did scribe get this right?] 13:21:22 jar: when you have multiple sources of info there is redundancy, it should be consistent. 13:21:48 jar: So the info that is provided via the LINK header MUST be consistent with the 200 response. 13:22:13 We don't generally prescribe what agents do, we define functions and mappings and give then names so people can in terms. 13:22:21 jar: The AWWW had a clear answer about authority: the URI owner gets to say the meaning of the URI. 13:23:15 ... But if you're the URI owner and you serve info then the info you serve MUST not be inconsistent. 13:23:33 ... And if it is inconsistent then it's like violating the protocol. 13:24:42 dbooth: No, it's a little different from violating the protocol. The protocol is robust wrt assertions in document that are not true. 13:25:40 tim: It's like trying to write a philosophy of the architecture, that I think is beyond the job of defining the arch. We could discuss it over lunch though. 13:26:33 timbl: The protocol is something you buy into, and the RDF hall of shame is not buying into the protocol. 13:27:29 Timbl: When you run a server which is a negative test case then it is not pretending to be running the protoocl, it is deliberately not running the protocl properly. 13:28:43 Topic: Relation between HTTP 1.1 and RDF 13:28:50 hhalpin has joined #awwsw 13:30:03 jar: There are different schools of philos of mathematics. Three schools: intuitionist and formalist. Had an argument w Pat Hayes about what RDF was about. The app he had in mind for RDF was expert systems. I would make an analogy between that and a formalist school: The value is in the graph you built, and the relationships so fully specify your domain that they're the whole story. 13:30:25 ... Any connection to things in the world is either obvious or .... , well it's unproblematic. 13:31:15 ... Contrast this w the other school that RDF is for communicating about real things, and even if RDF weren't there you'd still communicate about them. The value is in the rdf:comment properties, not in the graph itself, because the graph itself doesn't tell you much. 13:31:35 jar: Two ways of using RDF, whether the value is in a big ontology (taxonomy) , and where the ontology (schema) is very small but the vlue is in the instances. 13:32:03 Timbl: i would not say one or other was more about "real things". 13:32:06 q+ 13:32:09 ... David and I had an argument a month ago: you can make an ont w terms like "resource", "rep", "authoritative", whatever. And you don't have to worry about what those terms w mean because the ontology w give them meaning. In that sense the ont is incomplete because it hasn't beeen tied to the real world. 13:32:56 ... A different approach is anal to the intuitionist apprach in math, in which ont terms have defs that are good enough that they allow indep observers to argue about the truthe of assertions made w those terms. 13:33:27 ... So in a med ont, TIA (tranient ...attack), two physicians can argue over wheather a patient has that condition. It's grounded in reality. 13:34:12 ... Are we talking about making an ont for phys? Or a formal ont? I feel like the HTTP spec doesn't need to ground everything in reality because it's a formal comm mechanism -- just says what the comm is, not what it means. 13:34:40 q? 13:34:48 Chair: Jonathan (jar) 13:35:26 +??P0 13:35:27 timbl: heavyweight vs. lightweight ontologies 13:35:31 tim: These two ways of using RDF we've noticed before. Some call them big heavyweight versus light. 13:35:46 Zakim, ??P0 is HarryH 13:35:46 +HarryH; got it 13:36:06 ... If you're using OWL it actually contains the value, but that doesn't mean it's not about real things, if somebody has a headache and it specifies somethign about it. 13:36:18 timbl: 'A headache is about a head' [lightweight ontology] can be about the real world 13:36:30 ... Other example is bank statemnets. The ont is just the schema for tying it into the real world. 13:37:15 timbl: They're just ways of using RDF 13:37:15 ... Thesee things connect together, they're not different philosophies, they're just different ways of using the tech. 13:37:27 ... They 13:37:29 timbl: The large ontologies area always chaning, the small ones are stable 13:37:35 ... They're both about the real world. 13:38:11 jar: The point about it being a matter of degree is to the point. Where do we draw the eline between an acceptable def and one that isn't good enough for an app? 13:38:24 tim: They're design patterns. 13:38:32 timbl: Large & small are two design patterns 13:39:19 q+ to say real code, examples and test cases help a lot in making these discussions concrete 13:39:29 q- timbl 13:39:42 timbl: The http headers form a lightweight ontology 13:39:46 q? 13:40:27 tim: You can define an ont linked to HTTP headers, and hence to the standards, etc. 13:40:31 timbl: There is a standard process for defining what the http headers mean - system for arguing is formalized 13:40:32 q- 13:40:35 I tend to think that usually "natural language" comments, i.e. rdf:labels, are *necessary* to map the terms to the world using natural language. 13:40:59 q? 13:41:21 dbooth: Let's ground in real artifacts, code te 13:41:23 q- 13:41:27 s/te/etc/ 13:41:54 harry: How much attecntion should be paid to the comments and labels? A lot! You need something besides the abox data itself. 13:43:15 harry: Shadi said they haven't had any help or input from SWIG 13:43:54 jar: I agee w much of what Tim said, though I'm not sure i would call it Large or Small. How much of the meaning is determined through definition and how much through use? 13:44:06 ... In natural language, everything is defined through use. 13:44:11 Tim: It's by definition. 13:44:24 dbooth: I agree, it's by def, not by use. 13:45:05 jar: defs vary in quality and specificity. 13:45:47 ... e.g., "resource" and "rep" in HTTP 1.1 spec. You can sort of figure out what they mean by reading the spec, and that's okay, and if they're used implicitly in a large number of places then you don't need such careful def. 13:46:27 ... But http 1.1 is not an ont. You cannot tell indepe if something is true or not. The RDC doesn't say how to determine if a particular resource is an IR. 13:47:45 Tim: The http spec defines messages sent, state transitions, etc. The only area in which it's weak is in describing the philosphy and how it fits to the AWWW, because it was taken for granted. 13:48:15 ... Whereas the difference between a cough and a cold is much fuzzier. 13:48:41 q? 13:48:41 dbooth: I agree it is a relevant question. But I think we can make the most progress by looking at real code, examples, etc. 13:48:59 timbl: The medical area is fuzzy compared to http (e.g. resource, representation) 13:49:30 harry: One exmaple is the owl:sameAs exampel. It's a clear case where the community of web hackers doing linked data is using a term that is not precisely in conformance w the def of the term. 13:50:17 ... It seems that these problems w terms always happen when different communities meet. One community has an intuitive understanding of the term, but another community doesn't. They don't share the same background assumptoin, more dialog is needed. 13:50:18 TimbL: Got an example of improper use of sameAs? 13:50:50 q+ 13:51:04 hhalpin has joined #awwsw 13:51:46 Topic: HTTP Vocabulary in RDF 13:52:04 dbooth: should we give more concerted feedback on http://www.w3.org/TR/HTTP-in-RDF/ ? 13:52:16 tim: we make a wiki page last time to collect comments 13:52:48 http://esw.w3.org/topic/AwwswHttpVocabularyInRdfComments 13:52:58 dbooth: Looks like we never got our minutes out from last meeting. 13:53:57 s/make/made/ 13:54:36 ACTION on jar to recover minutes from last time 13:54:36 Sorry, couldn't find user - on 13:54:51 ACTION jar to recover minutes from last time 13:54:51 Created ACTION-11 - Recover minutes from last time [on Jonathan Rees - due 2008-10-21]. 13:56:37 dbooth: Why did they use rdf collection for #MessageHeader? 13:56:48 Headers ar ein fact UNordered in HTTP 13:58:42 http://www.w3.org/TR/HTTP-in-RDF/ 13:59:30 dbooth: I'm looking in the RDF in http://www.w3.org/2006/http# 14:00:22 t = 10:00 14:00:34 There are two separate levels to model a header in 2.6 14:00:44 They are modeling two levels at once 14:02:31 tim: A MesageHeader has properties. One is that it has a name. Another is that it has a value (fieldValue), w a microformat. Also is the parse tree from the fieldValue. So HeaderElement is a ...(scribe missed)... 14:02:33 Which i s not bad ... useful to be able to express either 14:03:00 Stuart: I won't be hear in two weeks. 14:03:01 "Parsetype=Collection" generates and ordered list... so their model is maintaining the order of headers as they were observe 14:03:02 2 weeks is ISWC conflict 14:03:24 s/observe/observed/ 14:03:27 -Stuart 14:03:29 -DBooth 14:03:39 -TimBL 14:04:43 hhalpin has joined #awwsw 14:19:21 rrsagent. pointer 14:19:25 rrsagent, pointer 14:19:25 See http://www.w3.org/2008/10/14-awwsw-irc#T14-19-25 14:19:34 rrsagent, make logs public 14:41:15 -HarryH 14:41:17 -Jonathan_Rees 14:41:17 TAG_(AWWSW)9:00AM has ended 14:41:19 Attendees were DBooth, Jonathan_Rees, TimBL, Stuart, HarryH 14:47:35 rrsagent, draft minutes 14:47:35 I have made the request to generate http://www.w3.org/2008/10/14-awwsw-minutes.html jar 14:49:45 hhalpin has joined #awwsw 15:03:22 Stuart has left #awwsw 15:59:39 Zakim has left #awwsw 17:55:41 oshani has joined #awwsw 18:18:47 timbl_ has joined #awwsw 19:11:14 timbl__ has joined #awwsw 19:45:49 timbl has joined #awwsw