- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Wed, 03 May 2006 11:10:52 -0400
- To: "Peter F. Patel-Schneider" <pfps@inf.unibz.it>
- Cc: bry@ifi.lmu.de, public-rif-wg@w3.org
> > From: Francois Bry <bry@ifi.lmu.de> > Subject: Re: [RIF] Reaction to the proposal by Boley, Kifer et al > Date: Wed, 03 May 2006 14:21:28 +0200 > > > Peter F. Patel-Schneider wrote: > > > > > >> This is based on a known logic: infinite Herbrand interpretations. > > >> > > > > > > Reference, please. > > > > I could maybe help in giving reference if I would understand what you > > are asking for. > > A reference to logics based on infinite Herbrand intepretations that shows > how they relate to standard first-order logics. I didn't say that infinite Herbrand bases are related to first-order logic. You asked about a "known" logic. FYI, well-founded and answer-set semantics are all based on infinite Herbrand models. What I said is that the semantics in the proposal can be extended to arbitrary, non-Herbrand domains, but this will be useful only for the first-order dialect.
Received on Wednesday, 3 May 2006 15:11:04 UTC