Principles of Knowledge Representation and Reasoning