Ontological categories in GOL - Heller, B; Herre, H (Axiomathes, 2004)