Science and Engineering in Knowledge Representation and Reasoning