RE: BSWL - Basic Semantic Web Language

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