- From: Peter F. Patel-Schneider <pfps@inf.unibz.it>
- Date: Sat, 27 May 2006 03:10:27 -0400 (EDT)
- To: wagnerg@tu-cottbus.de
- Cc: public-rif-wg@w3.org
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
Received on Saturday, 27 May 2006 07:10:49 UTC