Bug fixing: import ontology on ST. Change name of inconsistency rule to "new consistency rule"

Bug fixing: import ontology on ST. Change name of inconsistency rule to
"new consistency rule"