W3C home > Mailing lists > Public > www-rdf-logic@w3.org > August 2002

Re: Classes and predicates as first class objects

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 15 Aug 2002 09:58:44 -0400
To: guha@guha.com
Cc: www-rdf-logic@w3.org
Message-Id: <20020815095844S.pfps@research.bell-labs.com>

From: "R.V.Guha" <guha@guha.com>
Subject: Classes and predicates as first class objects
Date: Wed, 14 Aug 2002 14:19:56 -0700

[...]

>  RDF, which has been largely influenced by the experimental "scruffy" 
> side of AI has gone the route of many experimental AI systems (starting 
> from KRL, RLL, .... CycL) and incorporated these as first class objects. 

[...]

Hmm.  It appears to me that CycL does *not* treat predicates as first-class
objects,  In particular, the syntax for CycL at
http://www.cyc.com/cycl.html appears to disallow quantification over
predicates.

peter
Received on Thursday, 15 August 2002 09:58:57 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:38 UTC