Knowledge representation and reasoning technique