Thr 2009-06-04 9:00 AM

Proposed Agenda

• Show Tim the client-side implementation incomplete
• Discuss the title of the paper decided
• General paper content discusstion abstract was produced
• (minor) software engineering issues (where to put the modified cwm code)
• (technical) semanticsIncludes is introduced to reduce the magnitude of a proof
• Is 'debug backward' a related work?
• (technical) what should be the structure of a proof. Notice that tms:description in an AIR proof is not very consistent, and Tabulator can't parse a CWM proof. necessary for the paper

Kenny's @@s

0. Fix the embarrassing bug 'kb is not defined in airPane.js'
1. (asked by Tim) Get rid of ( => { }) from the yellow box
2. (asked by Oshani) Dereference the variables to display the titles
3. (asked by Tim) More Information Button
4. (asked by Tim) Rules should have URIs. Pointers to the rules.

Oshani's @@s

• Submit the abstract
• Find a usecase form public-semweb-lifesci mailing list
• COI - lookup and find a use cases - with authentication

Tim's @@s

• (asked by Kenny) missing rdfs:label for log:includes. Include log:semanticsIncludes in log or should Kenny create a new file?
• (asked by Kenny) write about the proper update protocol with SPARQL Graph Update. Perhaps about the Link: header.
• (asked by Kenny) a use case on recovery.gov data. Explain which script and command is used to generate the data.