datalog + - ontology consolidation .
Consistent query answers in inconsistent databases