Reasoning in Pervasive Environments: an Implementation of Concept Abduction with Mobile OODBMS