Fabian Neuhaus

Dr. phil. Fabian Neuhaus

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

Dr. phil. Fabian Neuhaus

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

2016

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] 

2015

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.
[doi]  [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] 
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, 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] 

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] 

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.
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.
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] 

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.
2004.
[doi]  [BibTeX] 
Introduction.
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, series Logische Philosophie, pages 57-67. Logos Verlag, 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] 
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).

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).

Publications

2016

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] 

2015

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.
[doi]  [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] 
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, 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] 

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] 

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.
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.
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] 

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.
2004.
[doi]  [BibTeX] 
Introduction.
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, series Logische Philosophie, pages 57-67. Logos Verlag, 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] 

Last Modification: 10.08.2017 - Contact Person:

Sie können eine Nachricht versenden an: Webmaster
Sicherheitsabfrage:
Captcha
 
Lösung: