
Recent Posts
Recent Comments
Archives
Categories
Meta
Author Archives: seijikoide
Set Theory in KIF 3.0
Regarding Russell Paradox, KIF 3.0 set up a special set theory that is based on von NeumannBernaysGö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 bounded set, KIF, NBG set theory, principle of restricted set abstraction, Russell paradox, unbounded set
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 (ZermeloFraenkel) set theory, which forbids … Continue reading
Posted in RDF, Semantic Web
Tagged axiom of foundation, cumulative sets, KIF, Russell paradox, ZermeloFraenkel set theory, ZF set theory
2 Comments
What is Russell paradox?
Even if we restrict ourselves to select only sets that do not include the membership loop, we cannot avoid a paradox on a kind of naive formal systems such that contains inside the infinity or the totality. See the following … Continue reading
Posted in LOD, OWL, RDF, Semantic Web
Tagged comprehension principle, ramified type theory, Russell paradox, separation principle, ZF set theory
1 Comment
Universal Class
In the document of RDF Semantics, the term “universal class” appears only once in the discussion on membership loop. When classes are introduced in RDFS, they may contain themselves. … In particular, this use of a class extension mapping allows … Continue reading
Posted in OOP, RDF, Semantic Web
Tagged axiom of foundation, CLOS, membership loop, paradox, Python, universal class, vicious circle, ZermeloFraenkel set theory
Leave a comment
Universe of Discourse
What is the universe of discourse? Pat and Brian say, “The semantics treats all RDF names as expressions which denote. The things denoted are called ‘resources’, following [RFC 2396], … ; ‘resource’ is treated here as synonymous with ‘entity’, i.e. … Continue reading
Posted in RDF, Semantic Web
Tagged alfred tarski, denotational semantics, RDF, universe of discourse
Leave a comment
Hello Semantic Web Universe!
I have been posting articles on Semantic Webs to my weblog in Japanese from 2005. Recently, I had a feeling of desire for publishing the same things worldwide in English and more updated and refined contents, as the reflection of … Continue reading