(!! WE STRONGLY ENCOURAGE THE READER TO GLANCE OVER THE SLIDES FIRST !!) A. This Project is Presented at the Cambridge Semantic Web Gathering on 9 Jun 2009. The slides are on the Web at http://dig.csail.mit.edu/2009/Talks/0609-tmsweb-kennyluck/ B. The implementation consists of 3 components 1. The Crawler+Rule Engine+Updater A web-interface, which is not yet well documented, is at: http://dig.csail.mit.edu/2009/tms_web/passive_agent The source is downloadable at: http://dig.csail.mit.edu/2009/tms_web/release/tms_web.zip It not yet a friendly realase, so there's no install instruction, etc. We expect the licence to be the MIT licence. The source has the dependency on another incomplete project called Knowledge Closure, of which the source is located at (.py files) http://dig.csail.mit.edu/2009/01/Knowledge_Closure/ 2. The SPARQL Update Server It is based on the server the Tabulator Redux project produces, the installation instruction is at http://dig.csail.mit.edu/2008/SPARQLUpdate/tutorial The modified version, which accepts proofs is at http://dig.csail.mit.edu/2009/tms_web/release/proof_server.zip A SPARQL Update redirecting service is at /misc/gateway_simple.cgi and /misc/htaccess of http://dig.csail.mit.edu/2009/tms_web/release/tms_web.zip . This could redirect SPARQL Update request to your read-only FOAF to a writable source. But the correct protocal for this redirecting is still under discussion. 3. The proof visualization UI is in the Tabulator Trunk https://svn.csail.mit.edu/dig/2007/tab accessible with user:dig password:dig kennyluck for those who can't find a mailbox with my URI, my email is kennyluck@csail.mit.edu Communication via SPARQL Update to my URI is welcome and recommended.