* [OWL_BUILD,OWL_READ,SC] Relocated from PLC.
* [FIX] Fixed inconsistencies in entailment modules.