Before revision: A propositional model is compiled in an off-line phase in order to support some queries in polytime .
After revision: A propositional model is compiled in an off-line phase in order to support some queries in polynomial time .