W3C

- DRAFT -

RDF DAWG Weekly

9 Jan 2007

See also: IRC log

Attendees

Present
Regrets
jeen, eliasT, SteveH, kendallclark
Chair
LeeF
Scribe
AndyS

Contents


 

zkim, kick EricP

<SimonR> Woot.

http://www.w3.org/2000/09/dbwg/details?group=35463

<LeeF> iv_an_ru, are you around?

<scribe> Scribe: AndyS

<iv_an_ru> Hello LeeF

<LeeF> iv_an_ru, I see that you've joined the working group - would you like to / be able to call in to the telecon that's beginning now?

<ericP> Fri, 29 Dec 2006 06:36:01 +0000: OpenLink Software Inc. has nominated Ivan Mikhailov to RDF Data Access Working Group

Minutes of last time.

<ericP> mid: E1H0BLV-0002Sb-Te@wiggum.w3.org

<LeeF>

<iv_an_ru> I'm trying

Seconds by AndyS

Seconded by AndyS

Meet next time: in one week's time

<iv_an_ru> Start w/o me

<iv_an_ru> I can hear :)

ScribeNext: Souri?

<sdas2> sure, I'll try

Ivan: Intro
... XSLT and XQuery impl experience
... implementing SPARQL on SQL for Virtuoso

LeeF: Please send intro email to DAWG list for linking

ScribeNext: Souri

Convene

LeeF: Any Comments on agenda?

all: (silence)

Review ACTION Items

<scribe> ACTION: LeeF to update the issues list marking punction syntax [DONE] [DONE] [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action01]

<scribe> ACTION: Souri to review rq24 [DONE] [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action02]

<scribe> ACTION: ericP to seek clarification from Bob McG [DONE] [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action03]

<scribe> ACTION: LeeF to close formsOfDistinct issue [DONE] [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action04]

<scribe> ACTION: EricP to sort out some string literal thing for the operator table [DONE] [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action05]

<scribe> ACTION: Jeen to get started setting up new test directory [DONE] [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action06]

<scribe> ACTION: LeeF to remember that the wee, lost filter tests should be put [CONTINUES] [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action07]

<scribe> ACTION: PatH to change the entailment section around to talk about SPARQL first, then more general conditions in a normative appendix [CONTINUES] [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action08]

<scribe> ACTION: EricP to run the yacker tool over and annotate the existing tests [CONTINUES] [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action09]

<LeeF> Jeen test suite: http://lists.w3.org/Archives/Public/public-rdf-dawg/2007JanMar/0007.html

Convene

Test suite

Jeen has committed some tests and super manifests

scribe: syntax tests and triple pattern tests

AndyS (email) There is a more recent set of syntax test.

LeeF: request to review Jeen's first test batch.

(no volunteers on the phone)

scribe: this agenda item will become a standing "test approval" slot.

<iv_an_ru> I can try to review during the weekend.

<LeeF> iv_an_ru, that would be great

EricP: suggestion to make syntax only cover stuff not covered elsewhere
... because there is overlap.

LeeF: can see value in having broad coverage in syntax tests (e.g. parser writers)

<Zakim> AndyS, you wanted to ask about parser writers

<SimonR> +q comment about syntax testing and abstract syntax

<SimonR> +q to comment about syntax testing and abstract syntax

<LeeF> ACTION: LeeF to check if SteveH can eyeball Jeen's first group of tests pre-WG approval (LeeF and iv_an_ru will also try to eyeball) [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action10]

<iv_an_ru> can see value in having two outputs per every syntax test: list of parsed lexems plus the rest as usual.

<Zakim> SimonR, you wanted to comment about syntax testing and abstract syntax

AndyS: advocates having a separate set of tests for syntax and not ask implementers to extract tests themselves.

<ericP> yacker kinda gives us an "abstract" syntax, but it's ugly

<ericP> yacker "abstract syntax"

http://sparql.org/validator?query=PREFIX+books%3A+++%3Chttp%3A%2F%2Fexample.org%2Fbook%2F%3E%0D%0APREFIX+dc%3A++++++%3Chttp%3A%2F%2Fpurl.org%2Fdc%2Felements%2F1.1%2F%3E%0D%0A%0D%0ASELECT+%3Fbook+%3Ftitle%0D%0AWHERE%0D%0A+++%7B+%3Fbook+dc%3Atitle+%3Ftitle+%7D&languageSyntax=SPARQL&outputFormat=prefix&linenumbers=true

SimonR: (discusses a formalized abstract representation of a syntax tree)

<SimonR> Okay, maybe I'll type instead.

<SimonR> I'm suggesting that we really do have to standardize a single abstract syntax if the language is going to be unambiguous.

AndyS: The purpose is to get implementation reports
... if a test fails, we don't know why

EricP: does it matter why they fail?

AndyS: Good to know why a test fails for feedback

<iv_an_ru> How can I use an SPARQL abstract syntax if I compile a mix of SPARQL and SQL? I have more nodes in my tree than it is expected for plain SPARQL, ditto more properties.

EricP: burden having more tests because need tracking

<SimonR> Both RDF/XML and NTriples are concrete syntaxes, but the tests that convert between the two do demonstrate that you're parsing the right abstract syntax. We don't quite have an equivalent to NTriples.

<LeeF> AndyS: I have a large test suite that I use against the syntax tests for developing the grammar -- it would be a burden on me to switch to using the evaluation tests to test the grammar

<Zakim> ericP, you wanted to say if the semantics pass, we're happy with whatever abstract syntax the impl used

LeeF: Will bring this to Jeen's attention.

Path SPARQL and accessingCollections

<LeeF>

<SimonR> So it's slightly different from the RDF case, which is standardized at the abstract syntax level with multiple concrete syntaxes. SPARQL is standardized at the concrete syntax level.

<LeeF>

<LeeF>

LeeF: feedback received from Steve and Kendall: both not in favour
... asked for opinions from the WG

<sdas2> This is an important requirement, but requires careful thinking and I'd be leaning towards postponing it.

DanC: prompted by OWL1.1 which is only just being setup - SPARQL 1.1 is 5year away.

Souri: important requirement but not trivial Oracle concerned about the delay.

<iv_an_ru> We (= OpenLink) can't imlement path expressions both easily and effeciently :(

EricP: conservative - nervous of the time taken

<SimonR> I'm in favor of postponing.

SimonR: don't want to precude future solutions

Ivan: can't implement easily and efficiently

<SimonR> the only really important thing is that we don't *preclude* any future solutions, and I think the new information actually supports the idea that we're not ruling out future extension to solve the problem.

Ivan: datalog input on recursion may be informative.
... no really good news here though
... recursion will be coming along sometime but not just yet.
... will have to ignore feature for 6 months

<Zakim> AndyS, you wanted to comment on this

<SimonR> AndyS: (1) Are we really talking about just collections, or the whole general issue of regexps?

<LeeF> AndyS: 1) are we really talking about just collections or the whole mechanism of regular expression paths?

<SimonR> AndyS: 2) What are the alternatives?

<DanC> (indeed, Andy's ordering point is a user requirement that no design I know of meets.)

<SimonR> AndyS: 3) It's not just accessing collections, it's also ordering. Sometimes collections are used as closed sets, sometimes as lists -- in which case, order is important.

ARQ gives ordering guarantees - unless you then sort it!

HP is not opposed to this issue. Also concerned with the size of the WG and energy leaking out.

rq24/rq25 status

<ericP> DanC, one could infer more than a magic predicate, but actually build a structure (<foo>) ==> [ :hasOrderedMember [ :member <Foo> ; :ordinal 0 ] ]

<SimonR> AndyS: There are a number of features on the postponed list. It would seem a good idea to prioritize this list so we can reopen them in the best order.

<ericP> DanC, also, our result set is order-able so i guess we can write special semantics that access order directly

<DanC> "write special semantics" <- there be dragons.

+1

<ericP> yeah, that's what i did in algae so i could walk through manifests

<ericP> hasn't been used elsewhere, though

Proposed to adjourn

<ericP> ADJOURN

Seconded: DanC

<SimonR> Adjourned at 15:27 Z.

Summary of Action Items

[NEW] ACTION: LeeF to check if SteveH can eyeball Jeen's first group of tests pre-WG approval (LeeF and iv_an_ru will also try to eyeball) [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action10]
 
[PENDING] ACTION: EricP to run the yacker tool over and annotate the existing tests [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action09]
[PENDING] ACTION: LeeF to remember that the wee, lost filter tests should be put [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action07]
[PENDING] ACTION: PatH to change the entailment section around to talk about SPARQL first, then more general conditions in a normative appendix [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action08]
 
[DONE] ACTION: ericP to seek clarification from Bob McG [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action03]
[DONE] ACTION: EricP to sort out some string literal thing for the operator table [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action05]
[DONE] ACTION: Jeen to get started setting up new test directory [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action06]
[DONE] ACTION: LeeF to close formsOfDistinct issue [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action04]
[DONE] ACTION: LeeF to update the issues list marking punction syntax [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action01]
[DONE] ACTION: Souri to review rq24 [recorded in http://www.w3.org/2007/01/09-dawg-minutes.html#action02]
 
[End of minutes]

Minutes formatted by David Booth's scribe.perl version 1.127 (CVS log)
$Date: 2007/01/09 15:28:04 $

Scribe.perl diagnostic output

[Delete this section before finalizing the minutes.]
This is scribe.perl Revision: 1.127  of Date: 2005/08/16 15:12:03  
Check for newer version at http://dev.w3.org/cvsweb/~checkout~/2002/scribe/

Guessing input format: RRSAgent_Text_Format (score 1.00)

Succeeded: s/synatx/syntax/g
Found Scribe: AndyS
Inferring ScribeNick: AndyS

WARNING: No "Present: ... " found!
Possibly Present: AndyS DanC EliasT IBMCambridge Ivan LeeF P10 ScribeNext Seconded SimonR Simon_Raboczi Souri Souri_Das aaaa all ericP inserted iv_an_ru mid sdas2
You can indicate people for the Present list like this:
        <dbooth> Present: dbooth jonathan mary
        <dbooth> Present+ amy

Regrets: jeen eliasT SteveH kendallclark
Got date from IRC log name: 9 Jan 2007
Guessing minutes URL: http://www.w3.org/2007/01/09-dawg-minutes.html
People with action items: ericp leef path

[End of scribe.perl diagnostic output]