"A Higher-Order Semantics for Metaquerying in OWL 2 QL."

Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics