Re: One final step to datatyping convergence and closure?

>In case anyone wonders what this is about, take a look at
>http://www.coginst.uwf.edu/users/phayes/DatatypeSummary.html
>A newer (slightly simpler) version is being produced at
>http://www.coginst.uwf.edu/users/phayes/DatatypeSummary2.html

I very much like that way of datatyping
We could make initial entailments using
http://www.agfa.com/w3c/euler/rdfd-theory.n3

--
Jos

Received on Sunday, 10 February 2002 14:21:51 UTC