W3C home > Mailing lists > Public > www-rdf-logic@w3.org > May 2001

Re: RDF Abstract Syntax: a strawman

From: Seth Russell <seth@robustai.net>
Date: Wed, 30 May 2001 09:15:42 -0700
Message-ID: <00af01c0e923$c7cb71e0$b17ba8c0@c1457248a.sttls1.wa.home.com>
To: "Dan Connolly" <connolly@w3.org>, "pat hayes" <phayes@ai.uwf.edu>
Cc: <www-rdf-logic@w3.org>
From: "pat hayes" <phayes@ai.uwf.edu>

> 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.

Could I troubel you for a pointer to Chris Menzel's neat way ?

Received on Wednesday, 30 May 2001 12:20:02 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:45:38 UTC