logy, 
then you will end up with different axioms. This is a good illustration of 
the importance of having a clear high level ontology.
Obviously if another 'theory' takes a different stance which leads to 
different ontological structures, and neither this nor the other theory, 
makes clear its high level ontological commitment - then amalgamating the 
theories will be more difficult.

This is a general point that I think and others have raised before. Unless 
we get agreement on the high level structure 