D.  Carral, Janowicz, K., and Hitzler, P., ?A logical geo-ontology design pattern for quantifying over types?, in SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL'12, Redondo Beach, CA, USA, November 7-9, 2012, 2012, pp. 239?248.