@Override public Symbol resolve(String name) { Symbol toReturn = owlEntityCheckerScope.resolve(name); if (toReturn == null && name.startsWith("!")) { toReturn = new CreateOnDemandIdentifier(name); } return toReturn; }