On Rewriting, Answering Queries in OBDA Systems for Big Data (Short Paper)
a proof procedure for data dependencies .