GOL: A general ontological language - Degen, Wolfgang; Heller, Barbara; Herre, Heinrich; Smith, Barry (Formal Ontology in Information Systems: Collected Papers from the Second International Conference, 2001)