Re: URI/RDF math

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.

Cheers,


Miles

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