sbp: Thanks to the SWAG interface for TimBLs CWM

timbl: A document in rdf-xml

timbl: Not a class. Not a word. Not a person.

timbl: Not a class. Not a word. Not a person.

edd: By Uche Ogbuji.

edd: Another nifty using-RDF-to-good-effect piece from Uche.

edd: Another nifty using-RDF-to-good-effect piece from Uche.

danbri: "GNOME is the Unix desktop. It's a framework for writing graphical applications with Unix, providing drag-and-drop, interapplication

dajobe: slightly product focussd, but some thoughts on relationships

dajobe: IA and RDF other article Java, RDF, and Wireless Computing by their CTO Leon Shklar

dajobe: IA and RDF other article Java, RDF, and Wireless Computing by their CTO Leon Shklar

DanC: cites Boyer et. al. "Set Theory in First Order ..." and covers a lot of surrounding ground.

DanC: Boyer, Lusk, McCune et al. - 1986

bijan: "PEANO ARITHMETIC, PA, is the first order approximation to second order arithmetic obtained by replacing P with the following schema of infinitely many axioms..."

bijan: Ok, that's what I remembered.

bijan: Ok, that's what I remembered.

DanC: somebody told me induction isn't 1st-order; I called a friend to check that claim, and found it's bogus.

DanC: "Robert Boyer's idea of using Kurt Gödel's finite axiomatization of set theory is

DanC: the basis for all Otter proofs of theorems in set theory."

DanC: research by Belinfante, Art Quaife

DanC: "Robert Boyer's idea of using Kurt Gödel's finite axiomatization of set theory is

DanC: the basis for all Otter proofs of theorems in set theory."

DanC: research by Belinfante, Art Quaife

My response to the "RDF's wooly and broken" critique (nutshell: fix the Web/URIs don't pick on RDF alone)

offdutyDanbri: Great if heavy treatise on challenges of reasoning about events, various attempts and problems. Depressing, kinda.

offdutyDanbri: oopsie, s/Borden/Bennett/ !

offdutyDanbri: oopsie, s/Borden/Bennett/ !

danbri: "Susan Haack's Deviant Logic provided the first extended examination of the philosophical consequences of alternative

AaronSw: "RDF is based on a

AaronSw: fundamentally flawed semantic model and is not viable for long-term use as a representation language"

AaronSw: apparently "Quote of the Week"

AaronSw: fundamentally flawed semantic model and is not viable for long-term use as a representation language"

AaronSw: apparently "Quote of the Week"

DanC: incorporating stuff from Melnik's July 1999 formalization

danbri: ...waiting for the stampede ;-)