- From: Dan Connolly <connolly@w3.org>
- Date: Mon, 24 May 2010 08:36:01 -0500
- To: Pat Hayes <phayes@ihmc.us>
- Cc: Jonathan Rees <jar@creativecommons.org>, AWWSW TF <public-awwsw@w3.org>
On Thu, 2010-05-20 at 01:15 -0500, Pat Hayes wrote: [...] > So, immediate question: are these names also in the UoD? Are URIs > Things? I suspect the answer has to be Yes, but that makes things more > complicated and less 'standard' already, because standard FOL keeps > names and things strictly segregated. That's not my understanding. In particular: "... a Herbrand interpretation is an interpretation in which all constants ... are assigned very simple meanings. Specifically, every constant is interpreted as itself... " -- http://en.wikipedia.org/wiki/Herbrand_interpretation I'm pretty sure I learned about Herbrand interpreations from you, Pat; I wonder what point you actually meant to make there. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ gpg D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Monday, 24 May 2010 13:34:33 UTC