Tag Archives: NBG set theory

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