The Logic of Knowledge Bases: A Review