8. A computing system comprising: data storage that stores a semantic model comprising one or more inference rules each comprising a first predicate and a second predicate and a set of old triples comprising asserted triples and inferred triples resulting from firing of the one or more inference rules on the asserted triples; and an incremental inference logic configured to, for a round comprising the firing of the one or more inference rules, update the semantic model based on a set of new triples by executing the first predicate on a union of the sets of old and new triples to produce a first result; executing the second predicate on the set of new triples to produce a second result; joining the first result and the second result to produce newly inferred triples; executing the first predicate on the set of new triples to produce a third result; executing the second predicate on a union of the sets of old and new triples to produce a fourth result; and joining the third result and the fourth result to produce newly inferred triples; and adding the newly inferred triples to the semantic model.
10. The computing system of claim 8 where the incremental inference logic acts on a set of new triples that have been generated by a most recent round of firing of the one or more inference rules on triples in the semantic model.