Create an implementation for SVF-ComplementOf

[cmungall]

Elk handles limited nots:
https://code.google.com/p/elk-reasoner/wiki/OwlFeatures

We could use this for taxon constraints in a new ways.

1. Materialize all "NOT(Taxon)" expressions in advance. No change to this repo required, this is upstream. It is up to the client to figure out the meaning when querying getParentsOver
2. Extend the EMR to optionally materialize "SOME NOT X" expressions, and provide a new method getParentsOverNot

Need to experiment first to see if this is feasible..

[cmungall]

Hmm looks like Elk may not work

This returns expected results:

in-taxon some (not trichoplax)

This returns nothing in Elk:

in-taxon some (not vertebrate)

In Hermit the same query correctly returns mushroom body, kenyon cell and giant axon

My understanding of the Elk doc is that it should work.. ah well

We could still try the strategy of first materializing all "NOT x" and doing poor mans reasoning on the resulting structures (-x Sub -y <-- y Sub x)...

[cmungall]

Note that we don't expect precisely the same inferences - this one uses inverses, which we don't have available in Elk