datalog + - ontology consolidation .
Foundations of Logic Programming