Datalog+/{ is a recently introduced family of expressive extensions of Datalog for knowledge representation and reasoning. In particular, Datalog+/{ allows for representing ontological axioms and for query answering under such axioms. The Datalog+/{ languages are derived from Datalog by allowing existentially quanti ed variables, equality, and the falsum in rule heads, and, at the same time, by enforcing suitable restrictions to achieve decidability and tractability. I will give a general overview of the Datalog+/{ family of languages, including complexity results for query answering, main application areas, as well as extensions for handling inconsistencies, probabilistic uncertainty, and preferences.