Re: RDF Abstract Syntax: a strawman

Hello,

In his message (Re: RDF Abstract Syntax: a strawman) of 29/05/01,
pat hayes wrote:
>>    % hmm... are predicates
>>    % limited to constants?
>>    % The RDF 1.0 syntax suggests
>>    % so, but n3 doesn't have that
>>    % restriction
>
>It is conventional to so limit them, but we relaxed this in the new 
>KIF without apparently causing enormous problems. When there are 
>predicate variables it is difficult to prevent things like applying 
>a predicate to itself (more generally, any 'loop' of applications, 
>eg applying P to Q and Q to P) which breaks the 'standard' 
>first-order model theory , but Chris Menzel invented a neat way to 
>repair it without causing much harm, or one can be even braver and 
>use a nonstandard set theory to do the semantics with. So in sum: go 
>ahead and allow variables in predicate position, and if anyone 
>accuses you of doing higher-order logic, send them to me.

Here I am.

any reference to that Chris Menzel stuff? (google does not know that 
guy, is he classified?)
-- 
  Jérôme Euzenat                  __
                                  /      /\
  INRIA Rhône-Alpes,            _/  _   _   _ _    _
                               /_) | ` / ) | \ \  /_)
  655, avenue de l'Europe,    (___/___(_/_/  / /_(_________________
  Montbonnot St Martin,       /        http://www.inrialpes.fr/exmo
  38334 Saint-Ismier cedex,  /          Jerome.Euzenat@inrialpes.fr
  France____________________/                Jerome.Euzenat@free.fr

Received on Wednesday, 30 May 2001 10:28:21 UTC