Set-models of information-gap uncertainty: axioms and an inference scheme