I gather statistics after I create the entailment:
The machine has Ubuntu OS, 8 CPUs, 16G MEM, and 7500 rpm ATA IO.
I have 5 ontologies in the entailment and about 3500 statements containing someValuesFrom.
when I tried EXECUTE sem_apis.create_entailment('M1_RI', sem_models('M1s'), sem_rulebases('OWLPRIME'),sem_apis.REACH_CLOSURE, 'CHAIN' ,'INC=T DOP=4'); it took about 10 or more min but it completed. (I have some chaining in the ontology).