Expressive Path Queries on Graph with Data (Logical Methods in Computer Science, 2015)