W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2006

RE: A proposal for a unitary RIF phase 1

From: Gerd Wagner <wagnerg@tu-cottbus.de>
Date: Fri, 26 May 2006 22:26:15 +0200
To: "'Peter F. Patel-Schneider'" <pfps@inf.unibz.it>, <public-rif-wg@w3.org>
Message-ID: <008a01c68102$a3b7b080$1ab2a8c0@informatik.tucottbus.de>

>	A Proposal for a Unitary Language for RIF Phase 1

"Unitary"? Hmmh... Does this refer to the syntax or to the

> 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.

Received on Friday, 26 May 2006 20:26:25 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:39 UTC