Rapid indoor locating of shopping malls based on toponym ontology.