- From: Jonathan Borden <jborden@mediaone.net>
- Date: Wed, 18 Jul 2001 22:49:55 -0400
- To: "Aaron Swartz" <me@aaronsw.com>
- Cc: "Sean B. Palmer" <sean@mysterylights.com>, <www-rdf-interest@w3.org>
Aaron Swartz wrote: > > What benefits do you get from a quantified variable over any old > URI? (Other than use in a query context.) > First order predicate logic is widely studied and used in knowledge representation. Quantified variables are an intregal part of FOPL. URIs have a 1:1 relationship with 'resources' which appear more akin to constants than variables. Generally people who use logic find benefits in both constants and variables rather than requiring -only- one or the other. Shrug. On the other hand the relationship between resources, as defined in RFC 2396, and predicate logic is ambiguous at best, depending on how one wants to define and use these terms, one could probably justify any interpretation one chose to. -Jonathan
Received on Wednesday, 18 July 2001 22:52:58 UTC