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 | ESW Wiki (Recent changes) | del.icio.us swigbot

last updated at 2002-08-14 16:53
http://www.cs.uni-potsdam.de/~xray/
posted by dmiles at 2002-08-14 16:53 (+) tags:
 
Implimentation of XRAY FOL Prover
posted by DanCon at 2002-08-14 16:08 (+) tags:
DanCon: the justification looks pretty weak, to me: "freenode is shorter and more memorable."
bijan: As in "remembering 'freenode is the new name for openprojects' is more easier than remembering 'openprojects'"? :)
bijan: As in "remembering 'freenode is the new name for openprojects' is easier than remembering 'openprojects'"? :)
Morbus: I dunno. I think more in projects, than nodes, personally.
dmiles: Optimizations to PTTP Prolog theorem prover
 
Addressing the Enterprise: Why the Web needs Groves
posted by DanCon at 2002-08-14 04:58 (+) tags:
DanCon: by Paul Prescod, July 1999
DanCon: at Extreme Markup, this claim that the Web needs groves came up a few times.
DanCon: I don't think I have my head around it yet, so I'm interested to see PaulP's take on it.
 
Created by the Daily Chump bot. Hosted by PlanetRDF.