Re: A proposal for a unitary RIF phase 1

From: "Gerd Wagner" <wagnerg@tu-cottbus.de>
Subject: RE: A proposal for a unitary RIF phase 1
Date: Fri, 26 May 2006 22:26:15 +0200

> >	A Proposal for a Unitary Language for RIF Phase 1
> 
> "Unitary"? Hmmh... Does this refer to the syntax or to the
> semantics?

Both.

> > SEMANTICS
> > 
> > An interpretation is an extension of an OWL DL interpretation 
> 
> I think this (the lengthy notion of an OWL interpretation) would 
> be an undesirable burden in all those cases of interchange that 
> do not involve any piece of OWL. Also, we may want to allow
> a preference for Herbrand interpretations.

I do not believe that this aspect of the proposal places any burden on
interchange that does not involve OWL because of the way that compliance
is determined.

> -Gerd

Peter F. Patel-Schneider