Christoph Lange 0002 Michael Kohlhase A Mathematical Approach to Ontology Authoring and Documentation. 389-404 2009 Calculemus/MKM http://dx.doi.org/10.1007/978-3-642-02614-0_31 conf/mkm/2009 db/conf/mkm/mkm2009.html#LangeK09