A Higher-Order Semantics for Metaquerying in OWL 2 QL