cluding EXPRESS, EPISTLE etc.  How is this 
an argument against logic and ontology?

&gt;  I think
&gt;the only time that stating axioms formally is sensible (in a commercial
&gt;application) is when they are going to be acted on by some application
&gt;(usually of course some sort of inference engine).

That's a reasonable statement to make about expression of information in 
logic, but it doesn't address the at least anecdotally demonstrated 
advantage of ontology in supporting modeling tasks, as oppposed