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

Re: Representing quantification in RDF

From: Seth Russell <seth@robustai.net>
Date: Sat, 5 May 2001 10:55:52 -0700
Message-ID: <005301c0d58c$a19c80e0$b17ba8c0@c1457248a.sttls1.wa.home.com>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: <www-rdf-interest@w3.org>, <cg@cs.uah.edu>
From: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>

> > > I don't have any problem with any reasonable syntax for
quantification.
> > > The problem is, as usual, in providing a meaning for the syntactic
> > > constructs.  How are you proposing to do that?
> >
> > By also representing the behavior of the system in the same "syntactic
> > constructs".
>
> And how are you going to ground this?  There is no connection between
> syntax and behavior unless you have some active component in the
formalism,
> and there is no such component in RDF or RDFS.

Every computer has "active components";  they are called programs.  Any
program can be given a URI;  therefore it can be referred to from the
"syntactic formalism" of an RDF graph.  We should be able to easily design a
schema in RDF to point to object oriented programs that would implement any
known behavior such as the computing of inferred statements.

Seth
Received on Saturday, 5 May 2001 14:01:55 GMT

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