Semantic Web Interest Group IRC Scratchpad

Welcome to the Semantic Web Interest Group scratchpad generated automatically from discussions on IRC at irc.freenode.net port 6667 channel #swig by the chump bot, instructions in the chump user manual. Please use UTF-8 charset on IRC and pastebin for code or data more than 10 lines long.

Nearby: IRC logs (Latest) | semantic-web list | W3C Wiki (Recent changes) | delicious swigbot

last updated at 2007-10-01 22:09
DanC: congrats, Boris!
 
 
DanC: Jared Davis dissertation proposal
DanC: "We will also add a rule of computational reflection as described by Harrison [Har95], to allow the use of metatheorems during proofs, e.g., “A accepts φ, so φ must be true.”"
 
danja: "Educational establishments which cover Semantic Web technologies as taught courses or research programmes."
danja: (I got a mail asking if there was any research going on in the NY area - suggestions?)
 
Created by the Daily Chump bot. Hosted by PlanetRDF.