Describir: Knowledge representation and reasoning /