"A higher-order semantics for OWL 2 QL ontologies (Extended abstract)."

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