Stav dette: Computing k−Rank Answers with Ontological CP−Nets