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