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>

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. Cheers, MilesReceived on Tuesday, 18 March 2003 04:22:36 UTC

*
This archive was generated by hypermail 2.3.1
: Tuesday, 6 January 2015 21:38:25 UTC
*