1. A method of evaluating standing queries in conjunctive normal form, comprising: resolving the standing queries into a set of rules, each rule comprising a sequence of conditions; sorting, for each rule, the conditions into a logical order; identifying a fact having a plurality of properties sorted in a logical order; evaluating the sorted fact against each sorted rule; and identifying a subset of the set of rules which match the fact.