Axiomatizing qualitative process theory