changes to ontology and lexical axioms