About me

Fabian Neuhaus is a researcher and Privatdozent at the Otto von Guericke University Magdeburg, where he leads the research group Formale Methoden und Semantik at the Faculty of Computer Science. His work centers on ontology, formal logic, and knowledge representation, with a particular focus on the foundations and applications of formal ontologies in computer science and interdisciplinary research.

Dr. Neuhaus’s research investigates the structure, formalization, and logical properties of ontologies, especially in contexts where precise semantic modeling is essential. He has published more than 100 papers on applied ontology, including work on upper-level ontologies and the philosophical foundations of ontological modeling as well as methods for building and maintaining ontologies in information systems, biomedical research, and scientific data integration.  He has contributed to various ontologies, including the Basic Formal Ontology, the Relationship Ontology,  the Common Anatomy Reference Ontology,  the Midlevel Energy Ontology, and the Open Energy Ontology. He contributed to ISO/IEC 24707:2018 Common Logic and the Object Management Group (OMG) Ontology, Model, and Specification Language standards.  Dr. Neuhaus is a former Vice President of the International Association for Ontology and its Application (IAOA), and currently serves on the advisory board of the IAOA.