15:57:49 RRSAgent has joined #rdb2rdf 15:57:49 logging to http://www.w3.org/2010/08/31-rdb2rdf-irc 15:57:51 RRSAgent, make logs world 15:57:51 Zakim has joined #rdb2rdf 15:57:53 Zakim, this will be 7322733 15:57:53 ok, trackbot; I see SW_RDB2RDF()12:00PM scheduled to start in 3 minutes 15:57:54 Meeting: RDB2RDF Working Group Teleconference 15:57:54 Date: 31 August 2010 15:58:06 Agenda: http://lists.w3.org/Archives/Public/public-rdb2rdf-wg/2010Aug/0060.html 15:58:10 Chair: Michael 15:58:18 scribenick: boris 16:00:21 Zakim, please dial ericP-office 16:00:21 ok, ericP; the call is being made 16:00:22 SW_RDB2RDF()12:00PM has now started 16:00:24 +EricP 16:01:06 +michael 16:01:11 nunolopes has joined #RDB2RDF 16:01:36 Zakim, nunolopes is with me 16:01:36 sorry, mhausenblas, I do not recognize a party named 'mhausenblas' 16:01:43 Zakim, michael is mhausenblas 16:01:43 +mhausenblas; got it 16:01:46 Zakim, nunolopes is with me 16:01:46 +nunolopes; got it 16:01:48 +OpenLink_Software 16:01:50 Zakim, nunolopes is with mhausenblas 16:01:50 nunolopes was already listed in mhausenblas, nunolopes 16:02:08 Zakim, OpenLink_Software is temporarily me 16:02:08 +MacTed; got it 16:02:18 soeren has joined #RDB2RDF 16:02:28 Zakim, boris is with me 16:02:28 +boris; got it 16:02:33 Zakim, who's here? 16:02:33 On the phone I see EricP, mhausenblas, MacTed 16:02:35 mhausenblas has mhausenblas, nunolopes, boris 16:02:37 On IRC I see soeren, nunolopes, Zakim, RRSAgent, alexdeleon, boris, mhausenblas, MacTed, iv_an_ru, LeeF, ericP, trackbot 16:02:45 +Souri 16:03:06 RRSAgent, draft minutes 16:03:06 I have made the request to generate http://www.w3.org/2010/08/31-rdb2rdf-minutes.html mhausenblas 16:03:12 RRSAgent, make logs publix 16:03:13 Souri has joined #rdb2rdf 16:03:15 RRSAgent, make logs public 16:03:19 Seema has joined #rdb2rdf 16:03:35 + +49.322.222.0.aaaa 16:03:54 Zakim, aaaa is soeren 16:03:54 +soeren; got it 16:04:08 hhalpin has joined #rdb2rdf 16:04:14 + +1.603.891.aabb 16:04:36 zakim, +aabb is me 16:04:36 sorry, Seema, I do not recognize a party named '+aabb' 16:04:40 Zakim, aabb is Seema 16:04:40 +Seema; got it 16:04:48 Zakim, who's here? 16:04:48 On the phone I see EricP, mhausenblas, MacTed, Souri, soeren, Seema 16:04:49 mhausenblas has mhausenblas, nunolopes, boris 16:04:50 On IRC I see hhalpin, Seema, Souri, soeren, nunolopes, Zakim, RRSAgent, alexdeleon, boris, mhausenblas, MacTed, iv_an_ru, LeeF, ericP, trackbot 16:04:57 regrets+ Richard 16:05:03 regrets+ Angela 16:05:04 juansequeda has joined #rdb2rdf 16:05:08 regrets+ Ashok 16:05:38 http://lists.w3.org/Archives/Public/public-rdb2rdf-wg/2010Aug/0060.html 16:05:51 RRSAgent, draft minutes 16:05:51 I have made the request to generate http://www.w3.org/2010/08/31-rdb2rdf-minutes.html mhausenblas 16:06:00 +juansequeda 16:06:44 Topic: Admin 16:06:58 PROPOSAL: Accept the minutes of last meeting, see 16:07:00 http://www.w3.org/2010/08/24-rdb2rdf-minutes.html 16:07:05 Zakim, mute me 16:07:05 MacTed should now be muted 16:07:17 +1 16:07:18 +1 16:07:35 RESOLUTION: last minutes approved 16:08:02 Topic: Revised proposal from Souri 16:08:58 souri: dont have comments rgarding lookup table 16:09:02 +[IPcaller] 16:09:07 souri: richad is not here ... so ... 16:09:39 souri: To find actual use case for this lookup table 16:09:55 souri: let's discuss this next week when richard will be here 16:09:59 Michael: ok 16:10:09 Topic: Test Cases 16:10:23 michael: we need to create test cases .... 16:10:44 michael: boris volunteer to take care of this subject 16:10:46 http://www.w3.org/2001/sw/rdb2rdf/wiki/R2RML_Test_Cases 16:10:59 michael: brief introduction for the test cases 16:11:08 http://www.w3.org/2001/sw/rdb2rdf/test-cases/ 16:11:15 michael: currently the docs are as pdf 16:11:48 michael: we have came for the test cases 16:12:04 michael: input sql, and the mapping file and the expect output 16:12:44 michael: the sparql query will check if the resultant rdf is oik 16:12:51 michael: questions? 16:13:19 someone: .... all the triples in the sparql query? 16:13:33 someone: no additonal triples 16:13:41 someone: it is not testing for conformance 16:13:49 +q to ask what are we testing. Is it correctness and/or performance ? 16:13:57 s/someone/soeren 16:14:02 someone: test the triples not the superset 16:14:31 michael: no test case for performance 16:14:37 ....: two fold 16:14:59 ...: check the semantics we describe in the R2RML doc is what we mean 16:15:02 s/someone/souren/ 16:15:21 ....: during the phase of the development of the R2RML DOC 16:15:23 cygri has joined #rdb2rdf 16:15:24 correctness testing 16:15:37 ...: next phase will be to test implementarions 16:16:02 juan: we will give manually the input and the output 16:16:03 SPARQL working group has good and tested scheme for test specifications 16:16:10 michael: yes... 16:16:25 q+ to second soundness 16:16:34 michael: it is useful have sparql query rather than the rdf triples, ... but we are open to discuss 16:16:46 souri, can you send out the link to the sparql group's test cases 16:16:52 ...: we can have additonal triples, provenance for exmaple .... 16:17:07 ....: that's why is good to have the sparql queries 16:17:08 q? 16:17:12 ack juansequeda 16:17:12 juansequeda, you wanted to ask what are we testing. Is it correctness and/or performance ? 16:17:12 ack juansequeda 16:17:17 ack ericP 16:17:17 ericP, you wanted to second soundness 16:17:40 soundness would be a subset of correctness testing 16:17:51 eric: we have bunch of implementations with more liberal equality testing ... 16:18:09 -soeren 16:18:14 ....: we have at least it is true, ... we couldn't tell there are some erronous values 16:18:28 ....: we can have some "extened" mode 16:18:34 ...: for the implementaros 16:18:47 +soeren 16:18:48 ....: completeness .... 16:18:53 s/..../ericP 16:19:07 michael: we are open to discuss more on this ... 16:19:22 ...: if you think this is more sense is ok, 16:19:29 q? 16:20:01 +[IPcaller.a] 16:20:10 soeren: it is very important, it is really importanto to check no additional thing is included 16:20:13 zakim, IPcaller.a is cygri 16:20:13 +cygri; got it 16:20:34 soeren: maybe add another sparql queries included the numbrers of triples 16:21:02 michael: it will take some time to set up completely ... 16:21:04 true 16:21:41 michael: we are going to work on test cases, and we once we will have sth there .... 16:21:56 juan: one example database? 16:22:15 michael: one example database per test case rathern than one big database 16:22:38 juan: we can have non-normalized database 16:22:58 michael: think in very simple test cases ... later on we can have more complex test cases 16:23:11 michael: in the beginning only simple test cases 16:23:29 juan: test cases for RDF, or SPARQL? 16:23:43 michael: yes, they are similiar, .... 16:23:57 michael: questions ...? ... 16:24:05 Topic: What are we going to do about the Default Mapping? 16:24:17 eric: status? 16:24:37 eric: Richard and Eric, write some use cases, originally for simple scenarios 16:24:53 eric: single tables with primary key 16:25:02 ACTION: Michael to send sample TC to the group 16:25:02 Created ACTION-71 - Send sample TC to the group [on Michael Hausenblas - due 2010-09-07]. 16:25:37 eric: rewrote the notion of you have relations with or not primary key, not always composed, and FK not composed 16:25:50 note that I'm happy to help set up test-cases for you boris. 16:25:51 eric: there is an example of that on the document 16:25:58 http://www.w3.org/2001/sw/rdb2rdf/directGraph/ 16:25:59 i.e. in W3C CVS etc. 16:26:09 I'm happy to take that as an action. 16:26:21 http://www.w3.org/2001/sw/rdb2rdf/directGraph/#multi-key 16:26:31 eric: multi-key example 16:26:58 juan: multiatrtibute key? 16:27:27 eric: is describing the table ... 16:28:46 eric: hardest cases in Relational model ... bunch of set defintions on the section 5 .... 16:29:03 ....: relation definitions 4.1 to 4.2 ... 16:29:37 juan: discuss with marcelo about, work together on this .... from the DB perspective ... it's a kind of BNF rule ... 16:29:51 juan: this is not the way you define a relational model 16:29:53 q+ 16:29:59 juan: suggest to put this in datalog? 16:30:20 juan: no use this BNF style 16:30:39 .... : don't see anything to coming out, this is just bunch of rules 16:30:43 ack cygri 16:31:11 iv_an_ru has joined #rdb2rdf 16:31:26 cygri: doesn't agree to use the definition from the DB ? 16:32:08 http://www.w3.org/2001/sw/rdb2rdf/wiki/Semantics_of_R2RML 16:32:13 juan: the semantics of datalog .... 16:32:24 juan: ... every predicate is a relation ... right there 16:32:32 juan: well defined semantics 16:32:42 ....: eric just have BNF rules and type of injectors 16:32:52 q? 16:33:12 cygri: understandability more important to be formal 16:33:24 http://www.w3.org/2001/sw/rdb2rdf/wiki/Default_Mapping 16:33:27 +q 16:33:36 cygri: insits to check how the "text bokks" introduce relational model 16:33:49 s/bokks/books 16:33:57 RRSAgent, draft minutes 16:33:57 I have made the request to generate http://www.w3.org/2010/08/31-rdb2rdf-minutes.html mhausenblas 16:33:57 juan: link to the wiki, we have on datalog is much understable that the thing from eric 16:34:11 cygri: not talking as eric proposal 16:34:19 ...: just check text books 16:34:31 dan: check the books and chapters of datalogs 16:34:41 ack soeren 16:35:03 soeren: relational algebra introduces the semantics of relational db 16:35:17 ...: datalog will introduce things more complicated 16:35:26 ....: let's focus only the relational algebra 16:35:27 q+ 16:35:49 dan: let's look at the dabases ... datalog = realtiona algebra 16:36:12 q+ to say that soeren's proposal would work for the doc which translates queries 16:36:18 dan: a lot of people will find more confortable ... encourage people to check relations books 16:36:33 dan: what is commonly done 16:36:44 juan: sparql is datalog and datalog = relational algebra 16:36:47 ack ericP 16:36:47 ericP, you wanted to say that soeren's proposal would work for the doc which translates queries 16:37:06 q+ to ask who the intended audience of this document is 16:37:09 eric: there is no notion of join (forexmaple) 16:37:35 ....: relational algegra .... (joins, etc) ... not use in ... RDF 16:37:38 q? 16:37:49 juan: only selection and projection .... 16:38:07 eric: datalog is horn- functions ... two issues 16:38:18 DATALOG: course(id, name) = SQL: select id, name from course 16:38:19 eric: 1. I will need prolog to the some operations 16:38:35 dan: commonly accepted to add this in datalog 16:38:57 juan: the semantics of this mapping language is based in datalog ... 16:39:03 eric: is it prolog? 16:39:10 dan: yes, datalog is a subset of prolog 16:39:30 ack me 16:39:30 mhausenblas, you wanted to ask who the intended audience of this document is 16:40:05 michael: who is the intented audience will be? who is supposed to read this? ... and the we can follow some direction 16:40:23 eric: d2r folks 16:40:42 michael: people who write the engine 16:40:43 ? 16:40:53 eric: write the engine implemetatnoins 16:41:02 juan: not only d2r, oracle, ibm 16:41:20 micahel: people who write the engine ... is the primary audience 16:42:13 eric: machine exectubale transforamtion written in prolog? ... another issue is the set semantics .... in some cases you use cardinality 16:42:41 eric: add aggregates it costs ..... how we presevered cardinalidty, set of sematnics 16:43:17 when sql standaraziton process ... there wont be agregates? .... cardinality was expense? 16:43:29 soeren: practical to allow duplicates ... 16:44:08 soeren: supose someone define a mapping ... do not have a primary key ... two rows the same URI ... unless we use distintict we will have duplicates 16:44:33 s/soeren/souri 16:44:46 souri: try to supress duplicates ... not easy 16:44:51 s/soeren: practical/souri: practical 16:45:09 s/soeren: supose/souri: suppose 16:45:09 -soeren 16:45:16 RRSAgent, draft minutes 16:45:16 I have made the request to generate http://www.w3.org/2010/08/31-rdb2rdf-minutes.html mhausenblas 16:45:19 eric: if there is no PK, expressing attributes in a tuple, ... blank node 16:45:41 +soeren 16:45:53 souri: define a mapping, Uri corresponds a row ... every instance .... 16:46:01 q? 16:46:01 eric: project the uniqueness ... 16:46:30 eric: not necessary ... 16:46:56 ....: example of tweets .... not identifiers for the tweets¿ ... example on section 2.2 16:47:06 ...: non-existing PK 16:47:18 .... : preserves cardinality ... 16:47:44 souri: basically again, best practice from his point view .... 16:48:11 souri: implementation of bad cases .... 16:48:36 michael: we have one concrete proposal from eric ... and default mapping by Juan is an alternative proposal 16:48:44 juan: again everything in datalog 16:48:47 eric: is prolog 16:49:03 juan: if we present the tihngs to ibm, is not going to be easy 16:49:17 soeren: oracle doc. there are a lot of datalog? 16:49:39 soeren: first relational algebra ... his impresion ... 16:49:48 soeren: or I am wrong? 16:50:06 souri: more sql, more practical people 16:50:25 souri: there are some things in relational algebra 16:50:43 souri: practitioners use tables, cols, not theory 16:50:57 http://www.w3.org/2001/sw/rdb2rdf/directGraph/ 16:50:59 +1 souri, and let's see what subset of it we can grab in Datalog/RIF. 16:51:16 michael: it will be good if you take the eric's job and rewrite into datalog? 16:51:28 juan:he did it already 16:51:51 s/juan:he/juan: Marcelo and I 16:52:00 q+ to ask if we can talk about prolog instead of datalog 16:52:21 souri: is like a rule ... what we that expect 16:52:35 juan: is a rule ... default mapping should have semantics 16:52:35 RRSAgent, draft minutes 16:52:35 I have made the request to generate http://www.w3.org/2010/08/31-rdb2rdf-minutes.html mhausenblas 16:52:39 q+ 16:52:54 juan: BNF and the semantics are in datalog ... that is his concern 16:53:04 q? 16:53:06 michael: we can expect sth next week? 16:53:08 juan: ok 16:53:16 ack ericP 16:53:16 ericP, you wanted to ask if we can talk about prolog instead of datalog 16:53:29 ericP: prolog? 16:53:44 juan: datalog + built-in function, not prolog 16:53:53 how about prolog-- 16:53:55 :) 16:54:00 q? 16:54:06 ericP: is in between ... ok 16:54:15 ack cygri 16:54:45 juan: semantics of the language are eq to datalog 16:54:58 cygri: there are different ways to define the semantics of the language 16:55:19 ...: of course the semantics have to be written 16:55:20 cygri - basically *any* mathematical structure can serve as semantics 16:55:30 and we do not *have* to write them in my opinion. 16:55:37 But often it does help us think through what's going on in the spec. 16:55:47 cygri: db community is not datalog ... 16:55:52 cygri: another arguments? 16:56:08 Generally, I think we should do the semantics in a way that ideally would help a programmer understand what's going on. 16:56:10 dan: important who the audience is for the document? 16:56:20 dan: implementors of the engine 16:56:27 Datalog, being so close to FOL, is some thing quite a few people understand. 16:56:38 but we need to be clear the semantics are also subservient to the users. 16:56:45 ...: different database implementors types 16:56:56 i.e. ashoks' point was correct 16:57:03 that we don't want to restrict users 16:57:17 juan: reason why to datalog is because SPARQL=SQL via datalog 16:57:25 or make them learn a whole new language.. 16:57:39 juan: sematnics of the language = datalog ... here are the semantics 16:57:45 my suggestion would be to go forward with merging eric's work and writing down souri's using a syntax 16:57:53 and *then* work on the semantics on the side. 16:57:56 juan: we should learn from the issues about the semantics 16:58:13 cygri: we can write the semantics in different languages 16:58:17 and the semantics might help us catch a bug. 16:58:24 they tend to... 16:58:26 dan: including english, NL ...example 16:58:35 michael: juan means formal semantics = semanticas 16:58:56 however, we do not want semantics to be a rathole, we need to get a FPWD out asap. 16:59:12 1+ 16:59:13 q+ 16:59:23 soeren: formal semantics are very important .... translating SPARQL algebra into relational algebra ... it will be clear ... 16:59:40 q? 16:59:42 http://www.informatik.uni-leipzig.de/~auer/rdb2rdf/semantics.pdf 16:59:43 juan: he has to look at that ... sparql to sql translate 16:59:54 ack ericP 17:00:30 let's get FPWD with syntax based on a combo of Souri's proposal and ericP's proposal out there. 17:00:34 Semantics preserving SPARQL-to-SQL translation -> http://www.cs.wayne.edu/~shiyong/papers/dke09_artem.pdf 17:00:39 ericP: continue on the direct mapping .... 17:01:19 ericP: RDB here is the RDF graph ... SPARQL query here is the underilyng relational algebra 17:01:41 ericP: first option 17:02:02 michael: neext week about the syntax 17:02:16 michael: and the semantics, and juan let us know if he is ready or not 17:02:30 -soeren 17:02:31 -Souri 17:02:34 -juansequeda 17:02:35 -[IPcaller] 17:02:35 -mhausenblas 17:02:38 -cygri 17:02:41 -EricP 17:02:45 RRSAgent, draft minutes 17:02:45 I have made the request to generate http://www.w3.org/2010/08/31-rdb2rdf-minutes.html mhausenblas 17:02:49 -MacTed 17:02:58 -Seema 17:02:59 SW_RDB2RDF()12:00PM has ended 17:03:01 Attendees were EricP, mhausenblas, nunolopes, MacTed, boris, Souri, +49.322.222.0.aaaa, soeren, +1.603.891.aabb, Seema, juansequeda, [IPcaller], cygri 17:03:07 Zakim, who's here? 17:03:07 apparently SW_RDB2RDF()12:00PM has ended, mhausenblas 17:03:13 On IRC I see iv_an_ru, cygri, juansequeda, hhalpin, nunolopes, Zakim, RRSAgent, boris, mhausenblas, MacTed, LeeF, ericP, trackbot 17:03:25 thanks for joining in cygri 17:03:39 best wishes to all at I-Semantics, cygri 17:03:39 ditto 17:03:49 RRSAgent, draft minutes 17:03:49 I have made the request to generate http://www.w3.org/2010/08/31-rdb2rdf-minutes.html mhausenblas 17:04:19 [adjourned] 17:05:20 ScribeOptions: -final -noEmbedDiagnostics 17:05:38 RRSAgent, draft minutes 17:05:38 I have made the request to generate http://www.w3.org/2010/08/31-rdb2rdf-minutes.html mhausenblas 17:06:46 Zakim, bye 17:06:46 Zakim has left #rdb2rdf 17:06:49 RRSAgent, bye 17:06:50 I see 1 open action item saved in http://www.w3.org/2010/08/31-rdb2rdf-actions.rdf : 17:06:50 ACTION: Michael to send sample TC to the group [1] 17:06:50 recorded in http://www.w3.org/2010/08/31-rdb2rdf-irc#T16-25-02