Wolfgang Degen Barbara Heller Heinrich Herre Barry Smith GOL: toward an axiomatized upper-level ontology. 34-46 2001 FOIS http://doi.acm.org/10.1145/505168.505173 db/conf/fois/fois2001.html#DegenHHS01