A Higher-Order Semantics for Metaquerying in OWL 2 QL

Open in new window