- From: Seth Russell <seth@robustai.net>
- Date: Thu, 14 Feb 2002 09:11:07 -0800
- 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 UTC