A way to query custom taxonomies by name

You can add a search field to get_terms arguments, which will have wildcards added by WordPress automatically:

$args = array(
    'hide_empty' => false,
    'search' => $searched_term,
);
get_terms('hotellocation', $args);

This is documented about mid-way down the page here. There are also other similar arguments you could use, such as name__like, if search doesn’t work for whatever reason.