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 2003-06-12 15:22
debian Package: spass 2.1-1
posted by DanC at 2003-06-12 15:22 (+) tags:
DanC: "SPASS is a saturation-based automated theorem prover for first-order logic with equality."
DanC: I hope to try this on the OWL test cases
DanC: nice tutorial
 
Novell Launches Open Source Web Site, Releases UDDI Server
posted by mdupont at 2003-06-12 06:51 (+) tags:
 
Registering and Discovering RSS Feeds in UDDI
posted by mdupont at 2003-06-12 06:46 (+) tags:
 
Created by the Daily Chump bot. Hosted by PlanetRDF.