Re: SWSL declarative semantics

Peter F. Patel-Schneider writes:
>
> From: Michael Kifer <kifer@cs.sunysb.edu>
>
> > Peter F. Patel-Schneider writes:
> > >
> > > From: Michael Kifer <kifer@cs.sunysb.edu>
> 
> [...]
> 
> > > 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.

You didn't get my sarcasm.

SKIF is a rediscovery of a well-known logic, called HiLog, which was
developed 12 years prior to SKIF(1989). It is well-known in the Logic
Programming and Database communities and several implementations have been
around for years:


W. Chen, M. Kifer, D.S. Warren,
    "HiLog: A first order-semantics for higher-order logic programming
    constructs," 
    North American Conf. on Logic Programming, 1989, pp. 1090--1114.

W. Chen, M. Kifer, D.S. Warren,
    "HiLog: A Foundation for higher-order logic programming,"
    Journal of Logic Programming, vol. 15, no. 3, February 1993,
    pp. 187--230.
    http://citeseer.nj.nec.com/chen89hilog.html

W. Chen, M. Kifer,
    "Sorted HiLog: Sorts in Higher-Order Logic Data Languages,"
    Intl. Conf. on Database Theory, 1995. Lecture Notes in Computer
    Science 893.
    http://citeseer.nj.nec.com/chen94sorted.html



	--michael  


> 
> peter
>

Received on Friday, 21 November 2003 11:02:05 UTC