Re: LC Comment: "Hidden" Axioms

Woops. Forgot some other points.

One can hide axioms in other ways, e.g., stuffing them into an  
annotation (string or xml literal). Obviously, these have conversion,  
manipulation, and retrieval  issues as well, as well as being  
substantively more difficult to implement. More importantly, they  
cannot be used for the multiple view approach.

Cheers,
Bijan.