W3C home > Mailing lists > Public > public-rif-wg@w3.org > March 2007

RE: [Admin] Agenda for RIF telecon 20 March (corrigendum)

From: Gerd Wagner <wagnerg@tu-cottbus.de>
Date: Mon, 19 Mar 2007 22:14:53 +0100
To: "'Christian de Sainte Marie'" <csma@ilog.fr>, "'rif WG'" <public-rif-wg@w3.org>
Message-ID: <008001c76a6b$a353c6d0$a2ca2b8d@informatik.tucottbus.de>

> 4. Technical Design (50mn)
>    - RIF Core WD1 [5]
>    - Issue 30 (rif:uri) [6]
>    - Issue: Should the names for predicates, functions, 
>      and constants be distinct in RIF Core? Allowing 
           *********
Notice that this is strange language. We do have constants
in algebra and also in programming languages such as Java,
but in logic we don't have "constants", but rather 
"individual constants". Since they are special names,
it's again strange to speak of "names for ... constants".

So better replace "constants" by "individuals", since you
mean "names for predicates, functions, and individuals".

-Gerd 
Received on Monday, 19 March 2007 21:15:01 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:38 GMT