Fabian Neuhaus

Dr. phil. Fabian Neuhaus

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

2018

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017.
CEUR Workshop Proceedings. volume 2050. CEUR-WS.org, 2018.
Stefano Borgo, Oliver Kutz, Frank Loebe and Fabian Neuhaus.
[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] 

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: 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), pages 256-268. 2017.
Maria M. Hedblom, Oliver Kutz, Till Mossakowski and Fabian Neuhaus.
[doi]  [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).
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, 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.
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] 
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".
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] 
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:

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