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 2001-12-28 17:49
The UNAME Predicate
posted by SethR at 2001-12-26 23:33 (+) tags:
SethR: I think this is right on .. will help us merge nodes that mean the same thing
SethR: as long as we use this concept of identity
 
Otter, a nifty FOL theorem prover
posted by sandro at 2001-12-26 21:41 (+) tags:
DanC: contrast with Isabelle, which takes a meta-logic/HOL approach
 
Created by the Daily Chump bot. Hosted by PlanetRDF.