Extend API with disjoint Axioms, corressponding translator, and consistency checking