Fabian Neuhaus

Dr. phil. Fabian Neuhaus

AG Formale Methoden und Semantik
Gebäude 29, Universitätsplatz 2, 39106, Magdeburg, G29-026
Publications

submitted

When one Logic is Not Enough: Integrating First-order Annotations in OWL Ontologies.
Semantic Web Journal, submitted.
Simon Flügel, Martin Glauer, Fabian Neuhaus and Janna Hastings.
[BibTeX] 

accepted

Interpretable Ontology Extension in Chemistry.
Semantic Web Journal, accepted.
Martin Glauer, Adel Memariani, Fabian Neuhaus, Till Mossakowski and Janna Hastings.
[BibTeX] 

2023

Neuro-Symbolic Semantic Learning for Chemistry.
In: P. Hitzler, M. K. Sarker and A. Eberhart, editors, Compendium of Neurosymbolic Artificial Intelligence, pages 460- 484. IOS Press, 2023.
Martin Glauer, Fabian Neuhaus, Till Mossakowski, Adel Memariani and Janna Hastings.
[BibTeX] 
Ontology Pre-training for Poison Prediction.
In: D. Seipel and A. Steen, editors, KI 2023: Advances in Artificial Intelligence, pages 31-45. Springer Nature Switzerland, Cham, 2023.
Martin Glauer, Fabian Neuhaus, Till Mossakowski and Janna Hastings.
[abstract]  [BibTeX] 
Using the diagrammatic image schema language for joint human-machine cognition.
In: K.-U. Sattler, Kai-Uwe Sattler, editor, Engineering for a Changing World: Proceedings; 60th ISC, Ilmenau Scientific Colloquium, Technische Universität Ilmenau, September 04-08, 2023.. 2023.
Till Mossakowski, Maria Hedblom, Fabian Neuhaus, Stephanie Arevalo Arboleda and Alexander Raake.
[BibTeX] 
Ontologies in the era of large language models-a perspective.
Applied Ontology, 18(4):399-407, 2023.
Fabian Neuhaus.
[BibTeX] 

2022

Visualising Image Schemas: A Preliminary Look at the Diagrammatic Image Schema Language (DISL).
In: M. M. Hedblom and O. Kutz, editors, Proceedings of the Sixth Image Schema Day Jönköping, Sweden, March 24-25th, 2022.. CEUR-WS, 2022.
Maria M Hedblom and Fabian Neuhaus.
[doi]  [BibTeX] 
Ontology Development is Consensus Creation, Not (Merely) Representation.
Applied ontology, 17(4):495-513, 2022.
Fabian Neuhaus and Janna Hastings.
[doi]  [BibTeX] 

2021, in print

Formal Ontology in Information Systems - Proceedings of the 12th International Conference, FOIS 2021.
2021, in print.
[BibTeX] 

2021

Introducing the Open Energy Ontology: Enhancing Data Interpretation and Interfacing in Energy Systems Analysis.
Energy and AI, 5:1-14, 2021.
Meisam Booshehri, Lukas Emele, Simon Flügel, Hannah Förster, Johannes Frey, Ulrich Frey, Martin Glauer, Janna Hastings, Christian Hofmann, Carsten Hoyer-Klick, Ludwig Hülk, Anna Kleinau, Kevin Knosala, Leander Kotzur, Patrick Kuckertz, Till Mossakowski, Christoph Muschner, Fabian Neuhaus, Michaja Pehl, Martin Robinius, Vera Sehn and Mirjam Stappel.
[doi]  [BibTeX] 
FOWL - An OWL to FOL Translator.
In: E. S. et al., editor, The Joint Ontology Workshops: Episode VII, JOWO 2021, volume 2969, series CEUR Workshop Proceedings. 2021.
Simon Flügel, Anna Kleinau, Fabian Neuhaus, Martin Glauer and Janna Hastings.
[doi]  [BibTeX] 
Learning chemistry: exploring the suitability of machine learning for the task of structure-based chemical ontology classification.
Journal of Cheminformatics, 13(1):23, 2021.
Janna Hastings, Martin Glauer, Adel Memariani, Fabian Neuhaus and Till Mossakowski.
[doi]  [abstract]  [BibTeX] 
Automated and explainable ontology extension based on deep learning: A case study in the chemicaldomain.
In: R. C. et al., editor, Proceedings of the 3rd Workshop on Data meets Applied Ontologies in XAI, September 18-19, Bratislava, 2021, volume 2998, series CEUR Workshop Proceedings. 2021.
Adel Memariani, Martin Glauer, Fabian Neuhaus, Till Mossakowski and Janna Hastings.
[doi]  [BibTeX] 

2020

Formal Ontology in Information Systems: Proceedings of the 11th International Conference, FOIS 2020,.
2020.
[BibTeX] 
Free Description Logic for Ontologists.
In: K. H. et al, editor, JOWO 2020: The Joint Ontology Workshops, series IAOA Series. CEUR-WS, 2020.
Fabian Neuhaus, Oliver Kutz and Guendalina Righetti.
[BibTeX] 

2019

Proceedings of the Workshop on Foundational Ontology (FOUST III) as part of The Joint Ontology Workshops JOWO 2019.
volume 2518. CEUR-WS, 2019.
Adrien Barton, Selja Seppälä, Daniele Porello, Antony Galton, Stefano Borgo, Oliver Kutz, Frank Loebe and Fabian Neuhaus.
[BibTeX] 
Generic ontology design patterns at work.
In: P. e. a. Barton, Seppälä, editor, JOWO 2019 The Joint Ontology Workshops, volume 2518, series IAOA-Series. CEUR-WS, 2019.
Bernd Krieg-Brückner, Till Mossakowski and Fabian Neuhaus.
[doi]  [BibTeX] 

2018

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017.
2018.
[doi]  [BibTeX] 
Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution.
In: A. Confalonieri, R.and Pease, M. Schorlemmer, T. Besold, O. Kutz, E. Maclean and M. Kaliakatsos-Papakostas, editors, Concept Invention. Springer, 2018.
Mihai Codescu, Fabian Neuhaus, Till Mossakowski, Oliver Kutz and Danny de Jesús Gómez-Ramírez.
[BibTeX] 
Image Schemas and Concept Invention.
In: A. Confalonieri, R.and Pease, M. Schorlemmer, T. Besold, O. Kutz, E. Maclean and M. Kaliakatsos-Papakostas, editors, Concept Invention, pages 99-131. Springer, 2018.
Maria M. Hedblom, Oliver Kutz and Fabian Neuhaus.
[BibTeX] 
Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs.
2018.
Till Mossakowski and Fabian Neuhaus.
[doi]  [BibTeX] 
On the Definition of `Ontology'.
In: S. Borgo, O. Kutz, F. Loebe and F. Neuhaus, editors, Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017, volume 2050, series CEUR Workshop Proceedings. CEUR-WS.org, 2018.
Fabian Neuhaus.
[doi]  [BibTeX] 
What is an Ontology?.
2018.
Fabian Neuhaus.
[doi]  [BibTeX] 

2017

Ontohub: A semantic repository engine for heterogeneous ontologies.
Applied ontology, 12(3-4):275-298, 2017.
Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski and Fabian Neuhaus.
[doi]  [BibTeX] 
Between Contact and Support: Introducing a logic for image schemas and directed movement.
In: F. Esposito, R. Basili, S. Ferilli and F. A. Lisi, editors, AI*IA 2017 Advances in Artificial Intelligence, pages 256-268. 2017.
Maria M. Hedblom, Oliver Kutz, Till Mossakowski and Fabian Neuhaus.
[BibTeX] 
Web-retrieval supported argument space exploration.
In: Proceedings of the 2017 Conference on Conference Human Information Interaction and Retrieval, pages 309-312. 2017.
Marcus Thiel, Philipp Ludwig, Till Mossakowski, Fabian Neuhaus and Andreas Nürnberger.
[BibTeX] 

2016

Ontohub: A semantic repository for heterogeneous ontologies.
2016.
Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski and Fabian Neuhaus.
[doi]  [BibTeX] 
Image schemas in computational conceptual blending.
Cognitive Systems Research, 39:42 - 57, 2016. From human to artificial cognition (and back): new perspectives of cognitively inspired AI systems
Maria M. Hedblom, Oliver Kutz and Fabian Neuhaus.
[doi]  [abstract]  [BibTeX] 
Ontology Patterns with DOWL: The Case of Blending.
In: M. Lenzerini and R. Peñaloza, editors, Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., volume 1577, series CEUR Workshop Proceedings. CEUR-WS.org, 2016.
Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski and Mihai Codescu.
[doi]  [BibTeX] 
Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016).
2016.
[doi]  [BibTeX] 
Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016).
CEUR Workshop Proceedings. volume 1660. CEUR-WS.org, 2016.
Oliver Kutz, Sergio de Cesare, Maria M Hedblom, Tarek Richard Besold, Tony Veale, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Michael Grüninger, Fabian Neuhaus, Till Mossakowski, Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola, Frank Loebe, Adrien Barton and Jean-Remi Bourguet.
[doi]  [BibTeX] 
Bipolar Weighted Argumentation Graphs.
2016.
Till Mossakowski and Fabian Neuhaus.
[doi]  [BibTeX] 

2015

BFO 2.0 Specification and User Guide.
2015.
Mauricio Almeida, Jonathan Bona, Mathias Brochhausen, Werner Ceusters, Melanie Courtot, Randall Dipert, Albert Goldfain, Pierre Grenon, Janna Hastings, William Hogan and others.
[doi]  [BibTeX] 
Choosing the right path: Image schema theory as a foundation for concept invention.
Journal of Artificial General Intelligence, 6(1):21-54, 2015.
Maria M Hedblom, Oliver Kutz and Fabian Neuhaus.
[doi]  [BibTeX] 
Image schemas as Families of Theories.
In: Proceedings of the Workshop ``Computational Creativity, Concept Invention, and General Intelligence'', volume 2, pages 19-33. 2015.
Maria M Hedblom, Oliver Kutz and Fabian Neuhaus.
[BibTeX] 
E pluribus unum - Formalisation, Use-Cases, and Computational Support for Conceptual Blending.
In: T. R. Besold, M. Schorlemmer and A. Smaill, editors, Computational Creativity Research: Towards Creative Machines, volume 7, series Atlantis Thinking Machines, pages 167-196. Atlantis Press, 2015.
Oliver Kutz, John Bateman, Till Mossakowski, Fabian Neuhaus and Mehul Bhatt.
[doi]  [abstract]  [BibTeX] 
Extended Heterogeneous KR&RFramework for Concept Invention.
2015.
Till Mossakowski, Mihai Codescu, Fabian Neuhaus, Oliver Kutz and Schorlemmer.
[doi]  [BibTeX] 
The Distributed Ontology, Modeling and Specification Language – DOL.
In: A. Koslow and A. Buchsbaum, editors, The Road to Universal Logic, pages 489-520. Birkhäuser, 2015.
Till Mossakowski, Mihai Codescu, Fabian Neuhaus and Oliver Kutz.
[doi]  [BibTeX] 
Scenario-based Ontology Evaluation (Scone) - User Guide.
2015.
Fabian Neuhaus.
[doi]  [BibTeX] 

2014

On the Cognitive and Logical Role of Image Schemas in Computational Conceptual Blending.
In: A. Lieto, D. P. Radicioni and M. Cruciani, editors, AIC 2014 Artificial Intelligence and Cognition, volume 1315, series CEUR Workshop Proceedings, pages 110-121. CEUR-WS.org, 2014.
Maria M. Hedblom, Oliver Kutz and Fabian Neuhaus.
[doi]  [BibTeX] 
Blending in the Hub. Towards a collaborative concept invention platform.
In: Fifth International Conference on Computational Creativity. 2014.
Oliver Kutz, Till Mossakowski, Fabian Neuhaus and Mihai Codescu.
[doi]  [abstract]  [BibTeX] 
Blending in the Hub. Towards a collaborative concept invention platform.
In: Fifth International Conference on Computational Creativity. 2014.
Oliver Kutz, Mossakowski, Fabian Neuhaus and Mihai Codescu.
[doi]  [abstract]  [BibTeX] 
Fabricating Monsters is Hard - Towards the Automation of Conceptual Blending.
In: Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-14), Prague, 2014. 2014.
Fabian Neuhaus, Oliver Kutz, Mihai Codescu and T. Mossakowski.
[doi]  [abstract]  [BibTeX] 
Toward Ontology Evaluation Across the Life Cycle.
2014.
[doi]  [BibTeX] 
Towards an Ontology Evaluation Testbed.
In: F. Neuhaus, S. Ray and R. D. Sriram, editors, . 2014.
Fabian Neuhaus.
[doi]  [BibTeX] 

2013

RECON-A Controlled English for Business Rules..
In: P. Fodor, D. Roman, D. Anicic, A. Wyner, M. Palmirani, D. Sottara and F. Lévy, editors, RuleML, volume 1004, series CEUR Workshop Proceedings. CEUR-WS.org, 2013.
Ed Barkmeyer and Fabian Neuhaus.
[doi]  [BibTeX] 
Canonicalization in the PrIKL Reasoner.
Journal of Software, 8(5):1058-1062, 2013.
Don Libes, Antoine Gerardin, Severin Tixier and Fabian Neuhaus.
[BibTeX] 
Towards ontology evaluation across the life cycle - The Ontology Summit 2013.
Applied Ontology, 8(3):179-194, 2013.
Fabian Neuhaus, Amanda Vizedom, Ken Baclawski, Mike Bennett, Mike Dean, Michael Denny, Michael Grüninger, Ali Hashemi, Terry Longstreth, Leo Obrst and others.
[BibTeX] 

2012

What's in an `is about' Link? Chemical Diagrams and the Information Artifact Ontology.
In: O. Bodenreider, M. E. Martone and A. Ruttenberg, editors, ICBO-2011 International Conference on Biomedical Ontology, series CEUR Vol-833, pages 201-208. CEUR, 2012.
Janna Hastings, Colin R. Batchelor, Fabian Neuhaus and Christoph Steinbeck.
[doi]  [BibTeX] 
The Babel of the Semantic Web Tongues - In Search of the Rosetta Stone of Interoperability.
In: F. van Harmelen, J. A. Hendler, P. Hitzler, K. Janowicz and D. Vrandev ci'c, editors, What will the Semantic Web look like 10 Years from now? Workshop at ISWC. 2012.
Oliver Kutz, Christoph Lange, Till Mossakowski, C. Maria Keet, Fabian Neuhaus and Michael Grüninger.
[doi]  [BibTeX] 
Common Logic and the Horatio problem.
Applied Ontology, 7(2):211-231, 2012.
Fabian Neuhaus and Pat Hayes.
[doi]  [BibTeX] 
A strategy for building neuroanatomy ontologies.
Bioinformatics, 28(9):1262-1269, 2012.
David Osumi-Sutherland, Simon Reeve, Christopher J. Mungall, Fabian Neuhaus, Alan Ruttenberg, Gregory S. X. E. Jefferis and J. Douglas Armstrong.
[doi]  [abstract]  [BibTeX] 
NIST Workshop on Ontology Evaluation. NIST Interagency/Internal Report (NISTIR) - 7774..
2012.
Ram Sriram, Conrad Bock, Fabian Neuhaus, Evan Wallace, Mary Brady, Mark Musen and Joanne Luciano.
[doi]  [BibTeX] 

2011

Creating the ontologists of the future.
Applied Ontology, 6(1):91-98, 2011.
Fabian Neuhaus, Elizabeth Florescu, Antony Galton, Michael Gruninger, Nicola Guarino, Leo Obrst, Arturo Sanchez, Amanda Vizedom, Peter Yim and Barry Smith.
[BibTeX] 
Speech Acts and Tokens for Access Control and Provenance Tracking.
In: Proceedings of the Sixth International Conference on Semantic Technologies for Intelligence, Defense, and Security, Fairfax, VA, USA, November 16-17, 2011, pages 44-51. 2011.
Fabian Neuhaus and Bill Andersen.
[doi]  [BibTeX] 

2010

The Semantics of Modules in Common Logic.
In: S. B., M. R. and N. S., editors, nterdisciplinary Ontology Vol. 3 (Proceedings of the Third Interdisciplinary Ontology Meeting). February 27th-28th, 2010, Tokyo, volume 3, pages 107-117. 2010.
Fabian Neuhaus.
[BibTeX] 

2009

Use of Semantic Mediation in Manufacturing Supply Chains.
In: Y. Kalfoglou, editor, Cases on Semantic Interoperability for Information Systems Integration: Practices and Applications: Practices and Applications, pages 43-63. IGI Global, 2009.
Peter Denno, Edward J Barkmeyer and Fabian Neuhaus.
[BibTeX] 
An ontological approach to information access control and provenance.
In: P. Costa, K. Laskey and L. Obrst, editors, OIC-2009 Ontologies for the Intelligence Community, series CEUR Vol-555. 2009.
Fabian Neuhaus and Bill Andersen.
[doi]  [BibTeX] 
Ontology-based technologies-Technology transfer from bioinformatics.
In: K. B. Laskey and D. Wijesekera, editors, Ontology for the Intelligence Community (OIC-2008)-Towards Effective Exploitation and Integration of Intelligence Resources, series CEUR Vol-440. CEUR, 2009.
Fabian Neuhaus.
[doi]  [BibTeX] 
The Bigger Picture—Speech Acts in Interaction with Ontology-based Information Systems.
In: Interdisciplinary Ontology - Proceedings of the Second Interdisciplinary Ontology Meeting (InterOntology 2009), volume 2, pages 45-56. 2009.
Fabian Neuhaus and Bill Andersen.
[BibTeX] 

2008

Modeling Principles and Methodologies - Spatial Representation and Reasoning.
In: A. Burger, D. Davidson and R. Baldock, editors, Anatomy Ontologies for Bioinformatics, pages 307-326. Springer London, 2008.
Thomas Bittner, Maureen Donnelly, Louis J Goldberg and Fabian Neuhaus.
[doi]  [BibTeX] 
CARO-the common anatomy reference ontology.
In: Anatomy Ontologies for Bioinformatics, pages 327-349. Springer London, 2008.
Melissa A Haendel, Fabian Neuhaus, David Osumi-Sutherland, Paula M Mabee, Jos LV Mejino Jr, Chris J Mungall and Barry Smith.
[BibTeX] 
Modelling Principles and Methodologies - Relations in Anatomical Ontologies.
In: A. Burger, D. Davidson and R. Baldock, editors, Anatomy ontologies for bioinformatics, pages 289-306. Springer London, 2008.
Fabian Neuhaus and Barry Smith.
[doi]  [BibTeX] 
OntologySummit2008 Communiqué: Towards an Open Ontology Repository.
2008.
Leo Obrst, Mark Musen, Barry Smith, Fabian Neuhaus, Frank Olken, Michael Gruninger, Michelle Raymond, Pat Hayes and Ravi Sharma.
[doi]  [BibTeX] 
Towards an Open Ontology Repository.
2008.
Leo Obrst, Mark Musen, Barry Smith, Fabian Neuhaus, Frank Olken, Michael Gruninger, Michelle Raymond, Pat Hayes and Ravi Sharma.
[doi]  [BibTeX] 

2007

On being perfect.
In: S. Walter and H. Bohse, editors, GAP.6: Selected Papers Contributed to the Sections of the Sixth International Congress of the German Society for Analytic Philosophy, volume 6, pages 665-679. Mentis Verlag, Paderborn, 2007.
Fabian Neuhaus.
[BibTeX] 

2005

Relations in biomedical ontologies.
Genome biology, 6(5):1, 2005.
Barry Smith, Werner Ceusters, Bert Klagges, Jacob Köhler, Anand Kumar, Jane Lomax, Chris Mungall, Fabian Neuhaus, Alan L Rector and Cornelius Rosse.
[BibTeX] 

2004

First-Order Logic Revisited.
Logische Philosophie. Logos Verlag, 2004.
Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler and Heinrich Wansing.
[doi]  [BibTeX] 
Introduction.
2004.
Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler and Heinrich Wansing.
[doi]  [BibTeX] 
Introduction to "First-order Logic Revisited".
In: V. Hendricks, F. Neuhaus, S. A. Pedersen, U. Scheffler and H. Wansing, editors, First-Order Logic Revisited, pages 1-6. Logos Verlag, 2004.
Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler and Heinrich Wansing.
[doi]  [BibTeX] 
A formal theory of substances, qualities, and universals.
In: Formal Ontology in Information Systems: Proceedings of the Third International Conference (FOIS-2004). 2004.
Fabian Neuhaus, Pierre Grenon and Barry Smith.
[BibTeX] 
Ableitbarkeit und Folgebeziehung.
In: B. Christiansen and U. Scheffler, editors, Was folgt. Themen zu Wessel, pages 57-67. Logos Verlag, 2004.
Fabian Neuhaus.
[BibTeX] 
Naive Prädikatenlogik: eine logische Theorie der Prädikation.
2004.
Fabian Neuhaus.
[BibTeX] 
Naive Prädikatenlogik: eine logische Theorie der Prädikation.
2004.
Fabian Neuhaus.
[BibTeX] 

2003

Tautologien und Trivialitäten? Logische Methoden in der Philosophie.
Zeitschrift für philosophische Forschung(H. 3):412-430, 2003.
Fabian Neuhaus, Uwe Scheffler and Yaroslav Shramko.
[BibTeX] 

2001

Alter Wein frisch abgefüllt -- Explikation und Expansion von Analytizität.
In: V. Gerhardt, R.-P. Horstmann and R. Schumacher, editors, Kant und die Berliner Aufklärung - Akten des IX. Internationalen Kantkongresses, pages 45-54. 2001.
Fabian Neuhaus and Uwe Scheffler.
[BibTeX] 
Alter Wein frisch abgefüllt — Explikation und Expansion von Analytizität.
In: V. Gerhardt, R.-P. Horstmann and R. Schumacher, editors, Kant und die Berliner Aufklärung - Akten des IX. Internationalen Kantkongresses, pages 45-54. 2001.
Fabian Neuhaus and Uwe Scheffler.
[BibTeX] 
About me

I am a researcher at the Chair for Theoretical Computer Science - Formal methods and Semantics of Otto-von-Guericke University of Magdeburg, headed by Till Mossakowski. I am currently involved in COINVENT, an EU project that is dedicated to tackle computational creativity.

I received my Ph.D. in philosophy from Humboldt University Berlin in 2002. Afterward I was a postdoc at Leipzig University, Saarland University, SUNY University at Buffalo, and a guest researcher of the National Institute of Standards and Technology.

My main research interests are in the area of ontologies and ontology languages. In particular, I am a member of the working group which is revising ISO/IEC IS 24707:2007 Common Logic and I participate in the OMG Standard Development Initiative "Ontology, Model and Specification Integration and Interoperability" (OntoIOP). Further, I am a member of the Executive Council and the treasurer of the International Association for Ontology and its Applications (IAOA).

Last Modification: 10.08.2017 - Contact Person: