Axiomatic domain theory in categories of partial maps