Re: problem with B1 B2

From: Jeremy Carroll <>
Subject: Re: problem with B1 B2
Date: Thu, 04 Sep 2003 14:32:00 +0100

> The goal of this message is to show that the B1 B2 approach is not 
> invalidated by our current difficult example:

Again I spoke too soon.  My belief about the example was not well-founded.
My comprehension of how the OWL comprehension principles work has degraded.

[Jeremy's demonstration needs a fix or two, but appears to work. ...]

> I believe that the technique used in the above demonstration can be 
> generalized and embedded within the inductive structure of the previous 
> flawed proof. However, this is non-trivial.

Definitely non-trivial.

> Jeremy


Received on Friday, 5 September 2003 08:22:14 UTC