Taking stock of available technologies for compliance checking on first-order knowledge