W3C home > Mailing lists > Public > www-rdf-interest@w3.org > July 2001

RE: BSWL - Basic Semantic Web Language

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>
Message-ID: <001b01c10ffd$7dc17ee0$0201a8c0@ne.mediaone.net>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:50 GMT