Re: Modelling a stating

From: "McBride, Brian" <bwm@hplb.hpl.hp.com>
Subject: Modelling a stating
Date: Fri, 8 Dec 2000 17:11:59 -0000 

> 
> We need some more formal language here - its too confusing
> otherwise.
> 
> Brian


I totally agree.  If there is no formal specification of what is going on,
we will continue to have fundmental disagreements on the underspecified
intent of the ``specification''.  If, instead, there is some formal
specification of what is going on, and by this I do *not* mean the mapping
into triples, then we can at least argue about something whose meaning we
can agree on.

Peter Patel-Schneider
Bell Labs Research