W3C home > Mailing lists > Public > public-sw-meaning@w3.org > November 2003

Re: SWSL declarative semantics

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 21 Nov 2003 10:38:18 -0500 (EST)
Message-Id: <20031121.103818.124057343.pfps@research.bell-labs.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:42:15 GMT