Knowledge representation and reasoning