11. The computer program product of claim 10 , wherein the computer readable program further causes the computing device to propagate the at least one knowledge value at least by iteratively applying, by the computing device, one or more knowledge reasoners to the logical parse hierarchical representation to propagate the at least one knowledge value of at least a subset of the nodes in the logical parse hierarchical representation to one or more other nodes in the logical parse hierarchical representation based on propagation rules, wherein each application of a knowledge reasoner generates a transaction record in the transaction knowledgebase data structure identifying nodes affected by the application of the knowledge reasoner.
11. The computer program product of claim 10 , wherein the computer readable program further causes the computing device to propagate the at least one knowledge value at least by iteratively applying, by the computing device, one or more knowledge reasoners to the logical parse hierarchical representation to propagate the at least one knowledge value of at least a subset of the nodes in the logical parse hierarchical representation to one or more other nodes in the logical parse hierarchical representation based on propagation rules, wherein each application of a knowledge reasoner generates a transaction record in the transaction knowledgebase data structure identifying nodes affected by the application of the knowledge reasoner. 16. The computer program product of claim 11 , wherein each transaction record stores identifiers of nodes in the logical parse hierarchical representation affected by application of a corresponding knowledge reasoner and knowledge value states of the nodes corresponding to the identifiers of nodes in the transaction record.