Torsten Hahmann Formal Ontology in Information Systems Advances in Pattern-Based Ontology Engineering