W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2003

Re: URI/RDF math

From: Miles Sabin <miles@milessabin.com>
Date: Tue, 18 Mar 2003 09:22:25 +0000
To: www-rdf-logic@w3.org
Message-Id: <200303180922.25230.miles@milessabin.com>

Jonathan Borden wrote,
> but suppose instead of using RDF datatyping (which interfaces to OWL
> datatype properties ... sort of), suppose we create URIs of the form:
> integer:1
> integer:2
> integer:n
> integer:n+1
> can we describe (interesting parts of) math as a graph?

Could you explain the significance of "integer:n" and "integer:n+1"? 
You're clearly trying to express the successor relation, but I'm not 
sure I understand what these two URIs are supposed to be doing.


Received on Tuesday, 18 March 2003 04:22:36 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:39 UTC