Approximate pattern matching in the Atomspace