16:28:44 RRSAgent has joined #dawg 16:28:57 close issues primarily by adding test cases to a suite 16:30:05 Simon: we have to be careful about "closing issues" by *adding* new features, which may lead to an overly complex language 16:30:47 test-driven devel is supposed to give us a certain amount of "design courage" 16:31:38 bootstrapping problem with articulating tests *in* the language, except some tests and new features change the language 16:31:49 thus, tests will have to be rewritten, perhaps repeatedly 16:32:13 rewriting can be obsoleting tests 16:33:10 we can start with natural language descriptions of tests; but eventually we'll want an automated, machine-processible test suite, so that other folks can interact with them. 16:33:29 we'll also need protocol tests -- which can be a pain 16:34:45 Steve Harris doing some work keeping up with tests 16:35:24 ericp, yoshio, jos, dan, andy, kendall -- have cvs write access 16:36:11 Issues list is being handled by ericp 16:36:13 Sebkha has joined #dawg 16:36:18 but he'd like to have some help 16:38:36 con of test driven development is that you need a separate process or structure that worries about design goodness 16:38:46 danc: before we close an issue, we'll need a test 16:38:56 JosD has joined #dawg 16:39:15 good for regression and unforeseen side-effects 16:39:25 err, test drive devel 16:45:50 (group members say where they are re: initial designs...) 16:47:20 RobS: in sum, I like adopting XQuery to querying RDF. I don't like BRQL. 16:48:10 AndyS: I like BRQL. I think the XQuery-based designs leave too much of the burden on the app developer, and don't straightfowrardly express RDF queries. 16:48:41 Simon: the WHERE clause in RDQL looks abstractly simple, so I like that. 16:48:52 Jos: supports N3QL 16:49:42 Jos also likes rdql/brql, prefers n3ql because it's "all in triples" 16:50:19 Jos -- have brql as a strawman and an n3ql serialization (?) 16:53:10 (hmm... perhaps a rules workshop would be useful to inform this WG) 16:53:24 yoshio -- brql and n3ql 16:53:32 Zakim has joined #dawg 16:54:43 Hiroyuki -- leaning toward brql 16:54:46 HiroyukiS: I think those familiar with the semantic web will support BRQL, being familiar with RDQL, but for the whole web community, I'm not sure... 16:54:55 My concern is that the concrete language shold much in common wiht the possible language to be used in the higher level of the layer cake. 16:54:58 ... I think BRQL is a reasonable starting piont. 16:56:04 The concrete language should be able to be called by the higher languae, or should be extended to the languge 16:58:42 DIE PUNY HUMANS! 16:59:25 DaveB has joined #dawg 17:00:54 howard -- xsrql is beautiful, elegant, easy to implemet! :> 17:02:53 :) 17:03:26 DanC: the RDQL WHERE clause feel like it has 4 corners around it. Parts of BRQL feel like premature standardization, to me, but I'm reasonably confident that we can work the features into a more regular form, ala iTQL or N3QL 17:04:15 ericp -- worries about a false sense of familiarity among end users for a language with sql-like syntax 17:04:41 ericp -- worried about federation tradeoffs 17:06:42 erip -- still prefers algae; n3ql works fine; unsure of the value of it being a series of statements. 17:07:27 KC: not much to add over what I/we put in the survey form. 17:07:30 kendal: i don't have an XQuery processor lying around 17:07:32 [which isn't public yet, btw] 17:08:23 kendal: convincing real world people to use [dawg-ql] 17:08:41 ... even a false-sense of familiarty is helpful 17:09:05 ... i'm conservative. [RdfDB] family is the most implemented 17:10:11 ... therefor refer to RDQL or BRQL 17:10:13 kendaLL <-- KENDAll <-- two l's please :> 17:10:37 llll 17:12:15 December meeting scheduled for 1-2 Dec in Las Vegas 17:13:36 danc proposes to keep it in LV and put it early Jan 17:14:25 s/proposes/leans toward/ (I'm not offering to host) 17:17:11 RESOLVED: to recind the 1-2 Dec ftf date. 17:17:23 ACTION EricP: find out when/where the W3C tech plenary is in 2005 17:20:21 break for :15 17:38:39 hmm... just realized... we're preparing Howard's presentation 20minutes early... who's planning to call in? Just Dave? 17:45:57 Zakim, this will be dawg 17:45:57 ok, DanC_jam; I see SW_DAWG(f2f)2:00PM scheduled to start in 15 minutes 17:47:54 afs has joined #dawg 17:49:44 17:49:53 Howard's XsRQL Presentation 17:50:15 Zakim, remind us in 20 minutes to think again about how long this presentation should last 17:50:15 ok, DanC_jam 17:51:29 (Howard is projecting from his laptop. no slides etc.) 17:53:14 I am planning to dial in 17:53:36 JosD: what data are you querying against? Howard: some vCard data I found when looking at AndyS's stuff 17:54:25 KH: parsing with ARP. built my own triplestore in Java. 17:54:31 HK, that is 17:54:47 HK demonstrates dawg:debug-sticky; 17:54:57 which uses XQuery prolog syntax 17:55:50 HK: the prolog thing is useful; could be added to RDQL or whatnot 17:57:44 JosD has joined #dawg 18:00:28 DanC: is it OK to do "distinct" processing even when it wasn't requested? does this proposal specify the count=8 in the non-distinct case? HK: yes 18:00:49 HK: yes, all correct implementations do count=8 18:02:13 @* -> returns all the predicates 18:02:39 @*/* -> returns the object that is connected to every predicate 18:03:02 xsrql -> path language returns the *last* thing in each path 18:03:59 ',' operator concatenates sequences 18:07:13 AndyS: can't have sequences of sequences in the Query data model, right? HK: right. 18:08:26 SW_DAWG(f2f)2:00PM has now started 18:08:33 +Kevin 18:08:48 TomAdams has joined #dawg 18:09:15 KevinW has joined #dawg 18:09:15 DaveB-lap has joined #dawg 18:09:22 +RobS 18:09:35 Zakim, who is on the phone? 18:09:35 On the phone I see Kevin, RobS 18:09:45 daveb? wanna call in? 18:09:53 yup, will do 18:10:15 DanC_jam, you asked to be reminded at this time to think again about how long this presentation should last 18:10:50 +??P2 18:11:00 Zakim, ??P2 is DaveB 18:11:00 +DaveB; got it 18:14:42 A sample XsRQL query: 18:14:45 +Tom_Adams 18:15:01 declare prefix vcard: ; 18:16:02 * [ @vcard:FN = "John Smith" ]/@vcard:N/*/@vcard:Family 18:17:00 oops, make that: 18:17:14 */@vcard:N/*/@vcard:Family 18:19:53 ref: XsRQL: an XQuery-style Query Language for RDF http://www.fatdog.com/xsrql.html 18:27:29 for $libby := *[ @foaf:mbox = "mailto:libby.miller@bristol.ac.uk" ] 18:27:29 return 18:27:29 { $libby, @newFoaf:Name, $libby/@foaf:name/* } 18:28:31 will return -> 18:28:53 (<...libby1>, foaf:name, "Libby", , foaf:name, "Libby2") 18:28:59 i.e., list is flattended 18:29:05 er, flattened 18:34:20 Zakim, RobS is temporarily MeetingRoom 18:34:20 +MeetingRoom; got it 18:34:31 did somebody write down how long Howard's impl estimate was? 18:34:58 I think he said he's 5 or 6 weeks into a 5 or 6 month implementation effort. for an in-memory architecture. 18:40:30 full-time 18:40:41 q+ to ask "XML is intrinsically a tree, while RDF is not (mesh, or even loopy) , won't this cause any trouble with path language?" 18:41:17 Zakim, who's on the phone? 18:41:17 On the phone I see Kevin, MeetingRoom, DaveB, Tom_Adams 18:41:21 Remote applause 18:44:48 Guys, Andy is very soft, can he come closer to the Mike please. 18:45:31 DanC: N3QL's motivation is integration with rules, diff, etc. 18:46:34 AndyS wants to separate design (functional expressivity) and syntax (the way its written) 18:46:40 (AndyS scribes) 18:47:14 Simon: if we have graph results, are we not doing a (simple) rules language 18:47:35 DanC: rules => different shaped graphs 18:47:53 Re Abstract Syntax: I've had Simon ear bash me about this also, and I like it. We use it in Kowari to allow plugging in of different languages, e.g. iTQL & RDQL. 18:48:40 +1 to andy's separation 18:48:46 Semweb-cg has discussed a rules workshop but no decisions 18:49:49 q- 18:50:06 AndyS: rules systems can include the feature of results feeding back into the KB 18:50:19 for them, we aren't doing rules yet 18:51:20 Rob: users want a clear way to write the things they want to do (example "or") 18:51:42 -Kevin 18:52:23 not use idioms to achive their tasks 18:53:46 RobS: universals seem to have few precedents in extant languages. e.g. "someone all of whose girlfriends are attractive" is hard to express 18:54:36 Rob: trade off of expressing in OWL or in the QL 18:56:39 q+ to say if our language has capability to handle premises or graph unioning , it could lead to a smooth connection to the rules 18:56:52 Link to 4.6 here - should we have a ref to rules here ? 18:58:04 Enrico gave an example of inferred information 18:58:23 Rob says this can't be expressed in triples: Jos disagrees 19:00:16 (Jos has emailed the list: http://lists.w3.org/Archives/Public/public-rdf-dawg/2004JulSep/0074.html) 19:00:58 Dan floats the idea that we have text about things that are a good idea but we can't do in the WG timeframe 19:02:22 the design objectives section of the current doc doesn't do that 19:02:26 Query processors may advertise their features ; queries may request features 19:02:30 To follow up on general "good ideas", these can be punted off onto the SWBP&D WG... 19:04:00 Could use DObj for these things (good things we may not do) 19:04:24 paper "Description Logic Programs: Combining Logic Programs with Description Logic" http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/p117-grosof.pdf 19:04:58 howardk has joined #dawg 19:05:54 ACTION Simon+Kendall, elaborate the rel. of rules and "construct" in the UC&R doc 19:06:51 AndyS recalls that PatH noted the user request for transformation of the RDF in his DQL feedback 19:06:59 ack yoshio 19:06:59 Yoshio, you wanted to say if our language has capability to handle premises or graph unioning , it could lead to a smooth connection to the rules 19:07:59 Yoshi notes that N3QL can support premises 19:08:18 s/Yoshi/Yoshio/ 19:10:13 Yoshio: keep the additional triples in the query , not just the URI of the targets 19:10:46 Dan leans towards protocol support 19:11:30 Recursive query (inserting results into te federation of the source) 19:11:51 http://www.w3.org/Team/Yoshio/DAWG-addenda040628.html 19:13:09 http://lists.w3.org/Archives/Public/public-rdf-dawg/2004AprJun/0793.html 19:13:35 and http://www.w3.org/2004/06/29-Yoshio/DAWG-addenda040628.html 19:13:35 http://www.w3.org/2004/06/29-Yoshio/DAWG-addenda040628.html 19:13:43 in public space 19:16:47 iTQL has a "GIVEN" clause for passing into a query variable bindings (used internally) 19:17:04 AndyS notes that ASemantics have a use case for passing in initial bindings 19:17:33 AndyS: this is not premises - adding triples into the query target spaces then querying 19:17:52 EricP: Algae is based around this (federation) 19:19:00 -Tom_Adams 19:19:09 harsh :) 19:19:12 Sorry guys... :( 19:19:37 Yes, thanks! 19:19:58 +Tom_Adams 19:20:08 ACTION EricP, send ref about Algae motivation 19:20:18 . ACTION: EricP offer implementatino experience (in use case form?) with premises and algae 19:20:59 Eric was more thinking of initial bindings 19:21:01 ericP: hmm... premises or pre-bindings? 19:21:22 ACTION: EricP offer implementatino experience (in use case form?) with premises and algae 19:21:40 My apologies all... Didn't realise that the phone system would do that! 19:21:57 UCs relavant: traffic, media conglomerate 19:22:24 UC 2.3 and 2.5 19:24:49 http://dev.w3.org/cvsweb/~checkout~/perl/modules/W3C/Rdf/test/Federate0-alg.sh?rev=1.3&content-type=text/plain 19:25:12 dialing out for now 19:25:17 -DaveB 19:25:18 Lunch until 2:00pm and talk about techie things : 10min summaries 19:25:34 lunch until 2pm... the lunch is longish, on the expectation that folks will have techincal discussions that they'll be interested to report from afer lunch. 19:25:58 Thanks guys, I'll be signing off. 19:26:27 -Tom_Adams 19:30:23 -MeetingRoom 19:30:24 SW_DAWG(f2f)2:00PM has ended 19:30:25 Attendees were Kevin, DaveB, Tom_Adams, MeetingRoom 20:41:22 Massimo, have you looked at xsrql? 20:41:59 Bummer... I should have had you dial in while it was presented/discussed. But I guess you didn't miss too much. 21:02:46 (resuming after lunch...) 21:02:54 oops... wrong channel... 21:03:48 Eric reports on what he did on his hols 21:04:17 Context: query federation / query permis 21:04:57 Ship a set of bindings to seed the next query does not work if the target does inference that you can't 21:05:33 Contrast: variable bindins vs asserting the triples that caused those bindings 21:06:11 Also the item from a list issue 21:07:12 SimonR reports that Rob has convinced him XQuery is a good idea 21:07:21 s/convinced/nearly convinced/ 21:08:43 -- Move to UC&R doc 21:08:44 Yoshio has joined #dawg 21:09:04 3.6 Optional Match 21:09:18 HiroyukiS has joined #DAWG 21:11:16 TBL opposed to optionals ; Dan worries about the time cost ; Eric has been persuaded it is needed 21:11:37 Optional match advocacy: http://lists.w3.org/Archives/Public/public-rdf-dawg/2004JulSep/0024.html 21:11:50 Rob: Users want formal organisation of data 21:12:08 AndyS's OPTIONAL test cases expressed in BRQL: http://www.w3.org/2004/07/08-BRQL/#tests 21:12:10 Also: it is not a *requirement* as a priority 21:12:12 (now on the mirrors) 21:12:33 The fact that users WANT formally organized data doesn't help them when no such data happens to be available. 21:13:44 JosD has joined #dawg 21:15:22 Rob illustrates with general disjunction is not currently a requirement but is as useful 21:16:31 Yoshio: danger of non-std extensions 21:16:40 if not included 21:17:15 Proposed wording in doc (Kendall, Andy) 21:18:01 Vote: for: all except against: 1 (Rob) abstain: 1 (Jos) 21:18:29 ACCEPT: 3.6 with wording as v1.123 21:19:29 Move to "3.8 Bookmarkable Queries" 21:20:38 Does imply that query syntax is self-contained (stateless request) 21:21:59 And is HTTP not just SOAP 21:22:25 Strawpoll on move to Objective (most in favour) 21:22:44 Move to "3.10 Result Limits" 21:23:56 Rob: it makes sense only with sorting 21:24:02 Others disagree 21:26:49 Use case: library system / facteed browser 21:26:59 Agreement: offset+limit => sort 21:27:21 Kendall: The mobile phone example 21:31:38 Real-world use case for 3.10(a) 21:31:43 http://lists.w3.org/Archives/Public/public-rdf-dawg-comments/2004Jul/0000.html 21:32:37 AndyS: most JDBC drivers deliver the whole result set before letting you get at rows... 21:32:58 ... because in, e.g. a 3-tier thingy, the query engine doesn't want to manage resources over time 21:33:12 q+ to ask why "sort and limit" seems to have no support here, it's so common in daily-life! 21:33:45 AndyS: example of implications for JDBC (e.g. default in MySQL) 21:34:57 ack robs 21:34:57 RobS, you wanted to discuss implementation experience with no limit support 21:35:36 Rob: Network Inference system does not have this feature 21:35:53 what feature? 21:35:57 Users terminate the query unsubtly 21:36:01 (LIMIT) 21:36:11 ack yoshio 21:36:11 Yoshio, you wanted to ask why "sort and limit" seems to have no support here, it's so common in daily-life! 21:36:39 HiroyukiS has joined #DAWG 21:37:12 Support for SORT: Simon worried about the cost of a sort 21:39:34 Discussion on "sort" : tradeoff of client and server compute power per user 21:42:04 Kendall: experience is that their apps UI wants "a few" results. It currently gets whole results before going on. 21:42:31 re: resource, what about "in-house" case? 21:42:51 q+ to invoke SQL and HTTP experience 21:45:42 NetInf system is 3+-tier 21:45:57 so added functionality in business logic 21:46:04 s/added/add/ 21:46:22 for *web* apps, between arbitrary web clients and web servers, it seems that this 3 tier stuff is otiose 21:47:06 Rob: Its a question of priorities 21:47:32 Simon: LIMIT is trivially easy 21:47:50 and useful 21:49:00 *and* likely to get done anyway 21:49:04 otiose? let's eschew obfuscation please! 21:52:42 kendall has joined #dawg 21:52:56 DanC_jam has joined #dawg 21:53:12 AndyS has joined #dawg 21:53:26 Strawpoll on "Limit" 21:53:26 All: as objective 21:53:26 7 as requirement 21:53:26 If we move it to be an objective: can Kendall craft text to explain why it is NOT an requirement 21:53:28 HiroyukiS has joined #DAWG 21:53:35 danc: limiting has an obvious syntergy with sort 21:53:47 danc: sorting is not *in* 21:54:06 Connection between limit and sort should be noted 21:54:17 ... implementations are deployed without it. 21:59:44 Yoshio has joined #dawg 22:00:04 (limit sounded liked a rejected requirement to me from the irc. We have never rejected one yet, IIRC) 22:00:13 * sorry, I lost my guts :) 22:00:25 We are still discussing it - no vote yet 22:00:50 (we had a temp net glitch) 22:00:55 I'd go with limit only, no sorting, no offset. 22:01:04 +1 22:02:32 Req:7 Obj:2 Not at all:0 22:02:41 Dave - as requriment or objective 22:03:03 req 22:03:24 howardk has joined #dawg 22:04:41 * oh, I'm loosing the guts, again, it's too COOL here 22:05:24 Vote: Network Inference formally objects 22:05:55 RobS (Network Inference) objects: below his threshold for what should be on critical path. 22:06:09 ACCEPT: For: all \ Against: 1 Abst: 1 22:06:25 ... falls below some other things (disjunction) that have been pushed to DO. 22:09:30 -- Move to 3.11 Iterative Query 22:09:40 Is this cursors? 22:11:36 Data points: it is the comment from Chris Wilper 22:11:51 http://www.w3.org/2003/12/swa/dawg-charter#protocol 22:12:20 2.3 cursors and proofs http://www.w3.org/2003/12/swa/dawg-charter#protocol seems relevant 22:12:29 daveb: do you support 3.11 iterative query? 22:12:36 abstain 22:12:40 thx 22:13:07 Dan proposes that that there is no support at the current time. 22:13:27 Simon: streaming results seems to cover this 22:14:43 . ACTION: SimonR draft a reply to Chris Wilper and send draft to WG mailing list 22:14:59 ACTION: SimonR draft a reply to Chris Wilper and send draft to WG mailing list 22:15:03 * Can't we control the temparature here? It's too cold for me 22:15:19 was about http://lists.w3.org/Archives/Public/public-rdf-dawg-comments/2004Jul/0000.html 22:17:11 Dan suggests that the requirements list is closed-for-now: takes more effort to intro a new req 22:18:40 -- Discussion on disjunction 22:19:00 Simon: find people from NZ or Oz 22:19:58 Move discussion to tomorrow 22:20:03 -- Objectives 22:32:42 * Thank you very much, Rob! 22:32:57 elaborating on closed-for-now... what I mean is: I'm not aware of any pending requirements. Before I'll spend group time on a requirement, you'll have to drum up a certain amount of support. 22:34:45 Scribe? 22:34:52 oh yeah 22:35:01 4.1 Human-friendly Syntax 22:35:19 danc: impossible to quantify or test 22:35:40 [discussion of "easily"] 22:36:21 robS: i think it's useless without "easily" 22:36:59 simon: i think "easily" could be taken as an accesibility issue. 22:38:49 danc: trying to figure out if this is worht the screen real estate 22:39:13 ... i think it's worth communicating this with our audience 22:40:02 RESOLVED: 4.1 accepted. no objection or abstentions 22:40:17 4.2 Provenance 22:41:06 implementation experience: 5 implementors 22:41:27 howard: natural piece of data i keep 22:42:53 ericP: without it, trust model would go away 22:43:42 kendal: our only paying client (intelligence community) wants it. lab would close up without it 22:43:45 l 22:44:30 kendalll: at query lang, you find a few kinds of designs. most common is quads. 22:45:20 Jos: if it's published on the web (has a URI), is that enough? 22:46:09 kendall: i believe so. 22:46:26 RobS: worried about defining provenance 22:46:43 ... we don't think we've impelemented provenance 22:47:04 ... RDF says [ reificiation process ] 22:49:42 AndyS: BRQL spec is not about provenance 22:49:49 ... it's about data management. 22:50:20 ... remove this model. replace with that model. 22:51:32 ... next step is to offer that to the user (implies quads). 22:51:52 ... next step is to offer it to the user in the QL 22:52:06 ... every other impl of RDQL impelements quads. 22:52:13 ... thinking about putting it into jena 22:52:39 RobS's point about this being out of scope is fairly well made. The chair considers this provenance/source stuff to be on the edge of our charter. 22:52:43 kendall: we specifically need data management. 22:54:15 simon: we were a pure quads impl. 22:55:09 ... for symmetry, we offered that to the QL. 22:55:28 ... we don't use it terribly often 22:55:36 ... we use it for security. 22:55:55 ... it would be insane securing individual models. 22:56:01 s/models/statements/ 22:58:36 ACTION: Andy+Kendall, reword 4.2 22:58:52 andyS: not sure what to put in for inferred triples 22:58:54 how reword? 22:59:08 I don't want no fuzzy 4th part of a "triple" 22:59:10 Remove provenace: more about data management and source 22:59:59 ACTION kendall, andy: write up a new wording of 4.2 Provenance that focuses on data management 23:00:43 strawman results: support except for robS 23:02:03 eh? 23:02:35 folks would support 4.2 as a DO if it was rephrased per kendall and andy's action item 23:02:38 We had a strawpoll to test the water 23:02:59 it was as warm as bath water 23:02:59 okay. you'll also be reading the logs sometime and wondering what you recorded ;) 23:03:43 Thanks for pointing out the unclarity 23:10:27 it would help jos to add "in the queried graph" to 4.3, which I undertake to do. 23:12:21 This only makes sense only for variable bindings 23:17:25 danc: 4.3 Non-existent Triples will cost the working group 23:17:42 robS: we will implement it one way or another 23:18:59 RESOLVED: "4.3 Non-existent Triples" accepted as a DO over abstentions from AndyS and Jos 23:29:11 ack ericp 23:29:11 ericP, you wanted to invoke SQL and HTTP experience 23:30:57 q+ to say how one implement this is another thing 23:34:56 * and this is not a requirement but an objective design 23:37:00 ack yoshio 23:37:00 Yoshio, you wanted to say how one implement this is another thing 23:47:48 ACTION simon: write a union query version 23:48:44 4.5 Aggregate Query tabled for now 23:49:58 danc: how many people like "4.9 Boolean Results" as written 23:50:06 ? 23:50:07 5 23:50:43 danc: do you not yes or know queries? 23:50:54 robS: yes 23:51:22 hmm... how about: yes/no questions should be straightfoward to express. 23:51:23 know queries? 23:52:51 yoshio: we can't adopt this without adopting non-existent triples 23:55:45 simon: not happy with boolean nature 23:55:56 sorry, but I remember we ADOPTED 4.3! 23:56:41 Resolved: accept "yes/no questions should be straightfoward to express" 23:58:02 ACTION Kendall: remove 4.4 User-specifiable Serialization