Given a knowledge base K, some initial formal query q and a focus point p in that query, the reasoning services supported by Quelo's query logic framework (see (Guagliardo, 2009)) will compute a set of new queries rev(q) formed by adding, deleting and revising the current query q at point p. The task of the generator is then to produce a natural language sentence for each new formal query q ′ ∈ rev(q) which results from this revision process.
each time the user refines a query q to produce a new query q ′ , the system computes all revisions rev(q) of q ′ that are compatible with the underlying knowledge base using a reasoner.