Semantic Web Interest Group IRC Scratchpad

Welcome to the Semantic Web Interest Group scratchpad generated automatically from discussions on IRC at Freenode channel #swig 2001-2018 approx by the chump bot.

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

last updated at 2002-04-02 22:02
Seth: { {A , ~A} entails B } does SUCK
AaronSw: Feel free to talk about CWM and other tool here, as well as any other Semantic Web topics.
AaronSw: XML export is available
Seth: note how the arrows at the top level are only consistent with one of the nested contexts
Seth: seth issues points to whoever can provide the implication formula
tim: Session of 3/26 projected on wall at MIT FWIW
Created by the Daily Chump bot. Hosted by PlanetRDF.