Institute for Formal Ontology and
Medical Information Science
Saarland University