[sc34wg3] The TMRM and the OWL....
Sat, 16 Jul 2005 12:38:21 +1000
On Tue, Jul 12, 2005 at 12:20:47PM +0200, Lars Marius Garshol wrote:
> * Jan Algermissen
> | OWL lets you state 'this property is an SIDP'....did anybody know
> | this?
> I won't speak for others, but I assume this has been common knowledge
> for a couple of years.
> Did you know that TMDM does the same? (Clause 7.5.)
With clause 7.5 that I can express 'Inverse Functional Properties'?