fixing pom for elk-benchmark and proof tests (should not reset property
inferences for those tests because we trace them only when classifying
the ontology)