Raw

A cross-platform (Windows/MacOS X/Linux) version of the dialog mapping software Compendium is now available for download.

I'm not sure where they're up to, but they were looking at RDF import/export (must try again, I lost contact thanks to my having a blacklisted mail server - dialog/blacklisting? there's irony there somewhere…)

The Birth of Model Theory - book, free history of logic chapter (lots of Boole, Pierce and Schroder)

Some anti-war graphics

PuLP PuLP is an linear program modeler written in python. PuLP can generate MPS or LP files and call GLPK, COIN CLP/SBB, CPLEX and XPRESS to solve linear problems. (Source: python-logic)

Patrick Stickler (hey, I just met him!) has added a faq section to the URIQA proposal/spec, with alternative methods of providing a description of a URI rather than a representation that he's tried and/or considered (before proposing several extra http methods).

A preliminary description of the SUMO (standard upper merged ontology)

New Semantic Web Services IRC channel on FreeNode, #sws-ig - looks like it's chumped

Common Logic Controlled English - John Sowa's SemEnglish

Chandy, used to be extremely helpful when she worked for Wrox, is running a Marathon on 18th April - feeling vaguely charitable? sponsor her.

Mars Welcoming Committee (bit slow for dialups)

[Danny Ayers]