Conceptual graphs at work : efficient reasoning and applications