- From: Stephen Reed <reed@cyc.com>
- Date: Fri, 16 Aug 2002 11:30:27 -0500 (CDT)
- To: Ian Horrocks <horrocks@cs.man.ac.uk>
- cc: "R.V.Guha" <guha@guha.com>, Bob MacGregor <macgregor@ISI.EDU>, Deborah McGuinness <dlm@KSL.Stanford.EDU>, <www-rdf-logic@w3.org>
On Fri, 16 Aug 2002, Ian Horrocks wrote:
> Second point:
>
> The ability to treat classes/predicates as arguments to other
> predicates is of secondary importance. The crucial thing with RDF is
> that it treats the vocabulary of the language itself as standard
> classes/predicates that can be arguments to other predicates. This is
> beyond the ability of almost all logics. It is relatively harmless for
> a language as weak as RDF, but causes fatal complications when more
> expressive power is added.
CycL reflectively represents its own syntactic forms. For example:
(collectionIntersection CycLAtomicAssertion
(TheSet CycLAssertion CycLAtomicSentence))
can be paraphrased by Cyc into English as:
A CycL atomic assertion is something that is member of each element of the
set containing Cyc assertion and CycL atomic sentence.
Note the use of functional notation (TheSet ..) in the second
argument position - which is a useful alternative to naming every possible
term explicitly.
-Steve
--
===========================================================
Stephen L. Reed phone: 512.342.4036
Cycorp, Suite 100 fax: 512.342.4040
3721 Executive Center Drive email: reed@cyc.com
Austin, TX 78731 web: http://www.cyc.com
download OpenCyc at http://www.opencyc.org
===========================================================
Received on Friday, 16 August 2002 12:30:41 UTC