ACQUA: Approximate consistent query answering over inconsistent knowledge bases