UpdateDenotation done for Not,InverseRole, TransitiveClosure, ValueRestriction, todo: create levels for updates