support ObjectHasValue
output warning instead of exceptions in case of non-EL axioms