Data-Driven Abstraction