RE: A proposal for a unitary RIF phase 1

>	A Proposal for a Unitary Language for RIF Phase 1

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

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

-Gerd

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