W3C home > Mailing lists > Public > www-rdf-logic@w3.org > February 2002

A stating of a triple is a class of things.

From: Seth Russell <seth@robustai.net>
Date: Thu, 14 Feb 2002 09:11:07 -0800
Message-ID: <00a201c1b57a$97899ba0$657ba8c0@c1457248a.sttls1.wa.home.com>
To: "RDF-LOGIC" <www-rdf-logic@w3.org>
Many people have emitted the famous stating that snow is white.   There will
even end up being  thousands of that stating object in copies of this email
strewn in boxes all over the world.  RDF cannot truthfully imply say that
the stating that snow is white, will map to a single object in the domain of
our discourse?

Consequently I think that where rdf:Statement is a stating, then

_:1 rdf:type rdf:Statement
_:1 rdf:subject  :Snow
_:1 rdf:predicate rdfs:sucClass
_:1 rdf:object :WhiteThings
_:1 ex:foo  ex:bar

must always be a lie.  But that

_:1 rdf:type rdfs:Class
_:1 rdf:subject  :Snow
_:1 rdf:predicate rdfs:sucClass
_:1 rdf:object :WhiteThings
_:1 ex:foo  ex:bar

could be true in some interpretation.  In other words, why not define
reified statings as *classes*?

Please see mentograph:
http://robustai.net/mentography/reifyRDF_stating_not_statement.gif

Seth Russell
Received on Thursday, 14 February 2002 12:14:37 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:42 GMT