Add ontology dump and check of consistency with backtracking.