The semantics of multicontext interaction: an approach to reasoning with defaults