* general wrappers around expressions and inferences which allow for
arbitrary filtering
* acyclicity checks suitable for Protege UI (not thoroughly tested yet)