- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Fri, 21 Nov 2003 10:38:18 -0500 (EST)
- To: kifer@cs.sunysb.edu
- Cc: public-sw-meaning@w3.org
From: Michael Kifer <kifer@cs.sunysb.edu> Subject: Re: SWSL declarative semantics Date: Fri, 21 Nov 2003 10:21:55 -0500 > > Peter F. Patel-Schneider writes: > > > > From: Michael Kifer <kifer@cs.sunysb.edu> > > Subject: Re: SWSL declarative semantics > > Date: Fri, 21 Nov 2003 08:35:22 -0500 [...] > > Even the simple translation from SKIF to FOL is rather suspect in this > > regards. > > Did you mean HiLog? What is SKIF? :-) SKIF is one name for a part of the Common Logic work (http://cl.tamu.edu/). See http://reliant.teknowledge.com/IJCAI01/HayesMenzel-SKIF-IJCAI2001.pdf for a paper on SKIF. LBase (http://www.w3.org/TR/lbase) is a somewhat similar logic. These logics have a higher-order syntax but don't have all the power of even second-order logic and can be (relatively) easily translated into standard FOL. [...] > --michael peter
Received on Friday, 21 November 2003 10:38:33 UTC