- From: Miles Sabin <miles@milessabin.com>
- Date: Tue, 18 Mar 2003 09:22:25 +0000
- To: www-rdf-logic@w3.org
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