Add edge properties that cover inference/closure assertions.

[sierra-moxon]

We'd like to return the following edge properties in the @balhoff's ontology KP when available:

asserted/inferred direct/indirect

I think this was an effort to help track provenance for a particular edge property. These would be additional edge properties to add to the model.