Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications