Logic in Knowledge Representation