The World as Database Barry Smith University at Buffalo Institute for Formal Ontology and Medical Information Science, University of Leipzig .