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-01-26 06:55
DanCon: does this mean there's hope that webmasters will learn to use GET?
DanCon: I'm curious about the semantics. How are they different from FOPL?
DanCon: "Brouwer correctly predicted that any attempt to prove the consistency of complete induction on the natural numbers would lead to a vicious circle."
DanCon: PatH kept telling me induction wasn't 1st order. Took me about 6 or 12 months to grok.
DanCon: "constructive independence of the logical operations &, <> , <> , <> , <> . "
DanCon: "Some Semantics". Hmm... sorta tricky, but not incomprehensible. I think. I'd have to do some larching to be sure.
bijan: The semantics are similar to Prolog with negation-as-failure.
Created by the Daily Chump bot. Hosted by PlanetRDF.