Tag Archives: KIF

Set Theory in KIF 3.0

Regarding Russell Paradox, KIF 3.0 set up a special set theory that is based on von Neumann-Bernays-Gödel (NBG). The 7th chapter of the reference manual, which is titled “Sets” starts with the description as follows. “In many applications, it is … Continue reading

Posted in RDF | Tagged , , , , , | Leave a comment

Axiom of Foundation in Zermelo Fraenkel Set Theory

I pointed out, in the earlier page of my blog, that Pat and Brian said in RDF Semantics, “Such ‘membership loops’ might seem to violate the axiom of foundation, one of the axioms of standard (Zermelo-Fraenkel) set theory, which forbids … Continue reading

Posted in RDF, Semantic Web | Tagged , , , , , | 2 Comments