Pagoda: Pay-As-You-Go Ontology Query Answering Using A Datalog Reasoner