semantic query optimisation -- Representing and reasoning on conceptual queries over