Package fr.inria.rules.integraal.forward_chaining.chase.rule_applier
package fr.inria.rules.integraal.forward_chaining.chase.rule_applier
-
ClassDescriptionBase implementation for rule appliers composed of a transformer, computer, checker, and applier.The breadth first rule application applies the rules by * Computing the homomorphisms from the body of the rules to the factbase * Checking if the homomorphism is applicable * Applying the homomorphism to the head of the rule and * Adding the resulting atoms to the factbaseMultithreaded Rule Applier with a worker for each rule.The parallel rule application applies the rules by * Computing the homomorphisms from the body of the rules to the factbase * Checking if the homomorphism is applicable * Applying the homomorphism to the head of the rule and * Adding the resulting atoms to a temporary factbase that will need to be merged into the factbase at the end of the stepA rule applier applies the given rules of the given factbaseCollects timing statistics for rule-application steps.The source delegated rule application applies the rules by * Delegating the application to the factbase if it can handle it * Using a fallback method is it can't