16:01:57 RRSAgent has joined #rdf-wg 16:01:57 logging to http://www.w3.org/2012/02/01-rdf-wg-irc 16:01:59 RRSAgent, make logs world 16:01:59 Zakim has joined #rdf-wg 16:02:01 Zakim, this will be 73394 16:02:01 ok, trackbot; I see SW_RDFWG()11:00AM scheduled to start 2 minutes ago 16:02:02 Meeting: RDF Working Group Teleconference 16:02:02 Date: 01 February 2012 16:02:11 zakim, who is on the phone? 16:02:15 SW_RDFWG()11:00AM has not yet started, ivan 16:02:19 On IRC I see RRSAgent, MacTed, AlexHall, gavinc, Arnaud, AZ, pfps, swh, AndyS, LeeF, mischat, ivan, SteveH, danbri, mdmdm, manu1, davidwood, yvesr, NickH, trackbot, manu, sandro, 16:02:22 ... ericP 16:02:23 zakim, dial ivan-voip 16:02:28 ok, ivan; the call is being made 16:02:31 Souri has joined #RDF-WG 16:02:57 Zakim, this is 73394 16:02:58 ok, MacTed; that matches SW_RDFWG()11:00AM 16:02:59 Zakim, who's here? 16:02:59 On the phone I see Peter_Patel-Schneider, davidwood, AZ, OpenLink_Software, ??P11, AlexHall, Arnaud, gavinc, Ivan, sandro, ??P16, Souri 16:03:02 On IRC I see Souri, Zakim, RRSAgent, MacTed, AlexHall, gavinc, Arnaud, AZ, pfps, swh, AndyS, LeeF, mischat, ivan, SteveH, danbri, mdmdm, manu1, davidwood, yvesr, NickH, trackbot, 16:03:04 ... manu, sandro, ericP 16:03:11 Zakim, OpenLink_Software is temporarily me 16:03:12 zakim, ??P11 is me 16:03:12 Zakim, ??P16 is me 16:03:13 Zakim, mute me 16:03:14 +MacTed; got it 16:03:18 +AndyS; got it 16:03:20 +swh; got it 16:03:22 MacTed should now be muted 16:03:42 scribe: alexhall 16:03:47 PROPOSED to accept the minutes of the 25 Jan telecon: 16:03:47 http://www.w3.org/2011/rdf-wg/meeting/2012-01-25 16:03:51 topic: admin 16:04:02 Action item review: 16:04:02 Sorry, couldn't find user - item 16:04:02 http://www.w3.org/2011/rdf-wg/track/actions/pendingreview 16:04:02 http://www.w3.org/2011/rdf-wg/track/actions/open 16:04:10 davidwood: no objections, minutes accepted 16:04:21 01RESOLVED to accept the minutes of the 25 Jan telecon 16:04:40 Zakim, unmute me 16:04:40 MacTed should no longer be muted 16:04:44 +LeeF 16:04:53 +PatH 16:05:15 davidwood: action item reviews 16:05:18 s/RESOLVED to accept/RESOLVED: accept/ 16:05:34 patH has joined #rdf-wg 16:06:04 davidwood: eric completed his review of XML Schema changes, andy commented, can mark it done 16:06:28 zwu2 has joined #rdf-wg 16:06:28 davidwood: past-due action items 16:06:34 zakim, code? 16:06:34 the conference code is 73394 (tel:+1.617.761.6200 sip:zakim@voip.w3.org), zwu2 16:06:52 patH: will work on action 120 16:07:14 +zwu2 16:07:28 zakim, mute me 16:07:28 zwu2 should now be muted 16:07:37 davidwood: let's talk about issue 79, what is the value of a datatyped literals whose datatype IRI is not a datatype? 16:07:41 http://lists.w3.org/Archives/Public/public-rdf-wg/2011Nov/0167.html 16:07:44 +EricP 16:08:20 davidwood: cygri mentioned that he's satisfied with changes made to the wording of the spec to address this, per message on the mailing list 16:09:26 patH: prefer the original wording, but this is OK 16:09:48 davidwood: objections to closing issue 79? 16:09:49 issue-79? 16:09:49 ISSUE-79 -- What is the value of a literal whose datatype IRI is not a datatype? -- pending review 16:09:49 http://www.w3.org/2011/rdf-wg/track/issues/79 16:09:57 patH: editorial, not substantive 16:10:05 RESOLVED to ISSUE-79 close http://www.w3.org/2011/rdf-wg/track/issues/79 16:10:37 Topic: Revisit XML Schema Datatypes in RDF and OWL? 16:11:07 XML Schema Datatypes in RDF and OWL is a W3C Working Group Note dated 14 March 2006: 16:11:07 http://www.w3.org/TR/swbp-xsch-datatypes/ 16:11:15 davidwood: cygri brought up that we might need to revisit 2006 wg note on XSD datatypes in RDF and OWL 16:11:18 q+ 16:11:23 ack ivan 16:11:26 +??P34 16:11:44 ivan: don't consider that a very high-priority issue 16:12:01 zakim, ??P34 is me 16:12:01 +NickH; got it 16:12:04 ... wonder if anybody out there actually used the mechanism for defining new XSD datatypes in RDF 16:12:07 Zakim, mute me 16:12:07 NickH should now be muted 16:12:12 ivan, TQ uses it 16:12:15 Zakim, mute me 16:12:15 MacTed should now be muted 16:12:26 davidwood: think some XML-heads in large enterprise might have used it 16:12:53 Some talis people use it, but arguably incorrectly 16:12:54 ivan, used when importing XML schema into RDF 16:13:04 Zakim, unmute me 16:13:04 MacTed should no longer be muted 16:14:15 macted: can't think of any use off the top of my head, but gut is that yes it has been used 16:14:56 q+ Section 4: http://www.w3.org/TR/swbp-xsch-datatypes/#section-duration needs to change 16:15:08 q+ to talk about Section 4: http://www.w3.org/TR/swbp-xsch-datatypes/#section-duration needs to change 16:15:32 ericP: scenario where we need to update the note is that the mechanism for defining literals changed, most likely it's backwards compatible and doesn't need revision 16:15:44 ack gavinc 16:15:44 gavinc, you wanted to talk about Section 4: http://www.w3.org/TR/swbp-xsch-datatypes/#section-duration needs to change 16:15:55 patH: willing to look at it from semantics perspective 16:16:40 gavinc: note mentions that duration doesn't have a well-defined value space, should at least revise that part 16:17:05 davidwood: think we have an obligation to keep docs up to date, will email jeremy 16:17:19 action: davidwood to ask jeremey to review XSD in RDF and OWL note 16:17:19 Created ACTION-139 - Ask jeremey to review XSD in RDF and OWL note [on David Wood - due 2012-02-08]. 16:17:20 Topic: RDF and Time 16:17:26 mischat has joined #rdf-wg 16:17:27 Zakim, mute me 16:17:27 gavinc should now be muted 16:17:36 action: patH to review XSD in RDF and OWL from semantics perspective 16:17:36 Created ACTION-140 - Review XSD in RDF and OWL from semantics perspective [on Patrick Hayes - due 2012-02-08]. 16:18:24 davidwood: while pat is here, would like to talk about RDF and time to try and move forward with named graphs 16:18:43 ... pat made point on mailing list that there is no notion of time sensitivity in RDF at all 16:19:10 ... surprised me that named graphs are so closely related to time variability 16:19:26 q+ 16:19:50 ... thought that RDF graphs always expressed a snapshot of the world at the time they were written 16:20:16 patH: if you think of RDF that way, it doesn't fit with the semantics 16:20:44 -Arnaud 16:20:45 ... facts in RDF are not time-relative, 2 + 2 = 4 for all of eternity 16:21:04 pat: RDF is a "timeless" framework, where facts are always true 16:21:14 ... if you want to talk about time, you have to explicitly put them in the ontology 16:21:20 +Arnaud 16:21:37 pat: from Aristotle forward, that's how mathematicians have liked to think of it. 16:21:55 pat: or you have have a time-embedded framework, with an implicit "now". 16:21:58 pat: in time-embedded, if you say the same thing at different times, it means different things 16:22:02 ... you can also think of facts as time-embedded, saying the same thing at two different times can mean two things 16:22:15 pat: in the second case, the inference rules change. 16:22:15 ... so you have to incorporate that context into the semantics 16:22:28 ... it's natural to think that way, but it complicates the logic when time is implicit in the graph 16:22:52 pat: so the question is whether RDF is timeless or time-embedded. It's not possible to prevent people from using it in a time-embedded way because that's how people think of this. 16:22:58 ... impossible to prevent people from using RDF in a time-embedded way 16:22:59 q- 16:23:42 eric: Do have to say, "as of this date, our understanding is, this protein has these properties..." 16:24:35 patH: scale is important; if data is expected to change over the course of the time that the data is used, then you need to account for time 16:24:54 eric: So they differ in degree -- time range of things changing -- not actually in kind. 16:25:12 patH: e.g. weather report for this week vs. geologic time scales 16:25:38 ted: One might expect that HTTP caching and expiration mechanism could be used to help with this. 16:26:23 given that time sensitivity is really dependent on the type of data you're dealing with isn't that better left to the application? 16:26:33 patH: expect that this conversation is going to arrive at the point where we have to acknowledge that people use RDF in a time-embedded way 16:27:01 davidwood: Our charter gives us use cases that need this to be address to solve them.... 16:27:49 david: Find this to be the heart of the problem, that named graphs are very closely tied to provenance which is how time sensitivity is addressed 16:28:25 patH: one approach is to say that the modelers are always going to have to account for time in their data 16:28:49 ... but modelers aren't going to do that because it's hard and unnatural 16:28:54 q+ 16:29:01 ack sandro 16:29:07 david: also affects versioning and merging of graphs created at different times 16:29:48 patH: true, time information has to be captured to effectively merge datasets where time is implicit 16:29:57 peter, I never saw you as a tosser. 16:30:23 sandro: can add a simple triple into the dataset, "the time right now is X" 16:31:00 ... use this triple to add extra checks to see that merged graphs were at the same time 16:31:33 patH: the point is, lots of applications aren't currently doing this check and would be broken 16:31:36 pat: context logics, sub-intervals 16:31:48 +q to ask Who is asking us to fix this? 16:32:01 david: these rules would be very complicated. i might choose to believe data that's an hour old and not a week old. 16:32:04 q+ to give a use case: should i prescribe drug X for disease Y given old evidence that it helped and newer (but less-reviewed) evidence that it hurts 16:32:22 ack gavinc 16:32:23 gavinc, you wanted to ask Who is asking us to fix this? 16:32:27 patH: context logics have tried to account for this by adding time intervals, etc. 16:32:32 ack ericp 16:32:32 ericP, you wanted to give a use case: should i prescribe drug X for disease Y given old evidence that it helped and newer (but less-reviewed) evidence that it hurts 16:33:16 eric, that is a different issue i think. 16:33:18 ericP: the way we usually solve this is with SPARQL -- put thresholds in the query, get all information to make a human decision 16:33:35 Is it too naive to consider use of the fourth component (graph?) to define the context (time, space, ...): { :John a :TeenAger } { :John a :Octogenarian} { :when 1937 . :when 2007} { :creationYear 2012} 16:34:17 mischat has joined #rdf-wg 16:34:19 ... state of the art for this is to put relevant information in front of a human to make final decision 16:34:19 souri, i think that is the only feasible ideas to standardize, but might be too restrictive. 16:34:39 does this scale at all? 16:34:39 +q 16:35:40 gavin: out of all of us, who is trying to work on a system that is approaching this from a time-implicit way? 16:36:15 sandro: asked govt people about this, they use dc:temporal with a time range, required to be in any dataset 16:36:16 ack patH 16:36:20 I know a use case that requires associate creation timestamp with every triple 16:37:00 Zakim, mute me 16:37:00 gavinc should now be muted 16:37:02 patH: saw another use case where they had an OWL ontology, described for each property its likely time persistence (short/long/medium-lived) 16:37:25 ... allows for pretty complicated modeling (about weather in this case) 16:38:14 ... going back to eric's use case, you really do have to have a human for this, it's too complex. lots of use cases are simpler, e.g. weather forecasts 16:38:43 ... think we can at least give advice to implementers about how to handle these simpler use cases 16:38:45 -Arnaud 16:39:17 zakim, who is on the phone? 16:39:17 On the phone I see Peter_Patel-Schneider, davidwood, AZ, MacTed, AndyS, AlexHall, gavinc (muted), Ivan, sandro, swh, Souri, LeeF, PatH, zwu2 (muted), EricP, NickH (muted) 16:39:20 david: think implementers would say it's too much cost for not much benefit 16:39:43 sandro: would love to have steve's input, they harvest lots of time-sensitive data 16:40:00 swh, are you here? 16:40:05 SteveH, are you here? 16:40:08 eric: think they incorporate a timestamp into the graph tag 16:40:33 ... use metadata to track the graphs 16:40:58 LeeF, yeah, Im here, was AFK breifly 16:40:59 pat: this is the 4th approach so far this call. lots of different possibilities 16:42:41 steveH: we do incorporate a timestamp into the graph IRI, add a statement inside the graph to record this timestamp 16:43:23 ... if something is true across time, then it will appear in multiple graphs for as long as it's true 16:43:41 eric: is the triple predictable? could it already be in the graph? 16:43:54 Ding ding! Graph IRI varies with date, same way that WARC solved this as well. 16:44:09 self-description is important... 16:44:13 steve: we don't allow this, we would filter out that predicate 16:44:17 "follow your nose" falls down without it 16:44:36 patH: how do you distinguish things that are time-dependent vs. what isn't? 16:45:06 steve: we don't mix different approaches in one system. either a system is time-dependent or it isn't 16:45:15 q? 16:45:41 david: eric mentioned grabbing data from a particular time range and present to the user for a choice. do you do this? 16:45:44 "the graph IRI", "inside the graph" refer to Gsnap? Gtext? Gbox? hurrah for overloaded terms! 16:46:00 steve: we just grab the most recent value, maybe show the most recent time it was true. 16:46:05 well, time 16:46:54 david: would like to talk about gavin's point that time is encoded in the data with graph IRIs. 16:47:02 +Arnaud 16:47:14 sandro: would UUID's also work? you don't actually get time from the timestamp? 16:47:50 s/from the timestamp/from the timestamped IRI/ 16:48:14 steve: we mostly use the timestamp for human readability, UUID would be OK 16:49:05 time-delimited truth 16:49:16 david: think this discussion has been valuable. we know that people are encoding time data in RDF for stuff that's true for a time. we know people are using this in the field. we know not every fact expressed in RDF is eternally true 16:49:43 the real issue is, is the time-stamp part of the rdf data or not? 16:49:53 ... where does that leave us in relation to e.g. time-varying IRIs? 16:50:39 sandro: sounds like steve's approach is what i labeled as TRIG/equality, think that's a reasonable straw-man starting point 16:50:47 and is it in each triple or just in an entire graph? 16:50:51 q+ to point out that we can let people migrate from eternal to snapped 16:50:55 Not really no ;) 16:51:09 :-) 16:51:34 ... vs TRIG/REST which would put the time-varying nature of the retrieval more into the core 16:51:38 q+ 16:52:17 ... TRIG/equality makes the relation between a graph IRI and its triples time-invarying, think this is a safer approach 16:52:46 ... steve, after you read in a graph and associate an IRI with it, do you ever modify it? 16:53:01 "Assign an IRI that is globally unique for its period of intended use." 16:53:09 steve: no, it stays constant 16:53:34 q? 16:54:07 ted: that's the danger of putting timestamps into IRIs, blurs the line between opaque IRIs and the urge for humans to ascribe meaning to the IRIs 16:54:15 ack ericP 16:54:15 ericP, you wanted to point out that we can let people migrate from eternal to snapped 16:54:44 (universal agreement that you shouldn't be parsing a timestamp from an IRI, it should be explicit in triples) 16:55:23 eric: could get pushback from people who just want to do simple time-invariant modeling if we make it more complicated to account for time variance. 16:56:17 ... we should make it easy for people to start with the easy case (invariant) and optionally adding in time variance 17:29:11 david: this tells me that all graphs are potentially time-variant 17:29:11 ack PatH 17:29:11 The graph (value) does not vary in RDF's ideal view of the world.. The value in the g-box changes. 17:29:11 patH: no -- if we're talking about geologic time spans, we don't expect to RDF data to survive this 17:29:11 q+ 17:29:11 Yeah. How the heck are people supposed to publish the weather in RDF? It's the first example in AWWW. 17:29:11 ... if the publisher of the data expects the data to be time-varying, that has to be accounted for 17:29:11 ted: Until the moment things change, you may think what you're saying is going to be true for all time.