Text this: A Logical Characterization for Approximate Matching of Pattern Graphs with Regular Expressions.