Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-