Entailment service and endpoint

bseeger requested to merge entailment into master

This is in pretty good shape and works fine for the tests and in Karaf.

Issue: #27 (closed)

Merge request reports