Christoph Lange, Michael Kohlhase: A Mathematical Approach to Ontology Authoring and Documentation. LWA 2009: FGWM:30