Network Inference

Describes the network inference and graph maintenance process.

Inference Rules

if (a r b AND b r2 c) -> (a R c)

Inference State

inferenceRule - the inference rule that generated the inferred edge
inferredFrom - the (inserted) network edge that derived (triggered) the inference
premise1 - the first premise of the inference, i.e. the edge that represents the premise 1 in the inference.
premise2 - the second premise of the inference, i.e. the edge that represents the premise 2 in the inference.

Network Inference (Edge Insert)

Do a recursive query, inferring all edges from the inserted edge. Inferred edges track the inference rule, and the edge that triggered it's inference. If the edge that derived the inference is, itself derived