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