ConceptBase is a deductive and object-oriented database management system developed at University of Aachen and Tilburg University.