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]
Interpretable Ontology Extension in Chemistry.
Semantic Web Journal, accepted.
Martin Glauer, Adel Memariani, Fabian Neuhaus, Till Mossakowski and Janna Hastings.
[BibTeX]
2024
A semantic loss for ontology classification.
2024.
Simon Flügel, Martin Glauer, Till Mossakowski and Fabian Neuhaus.
[BibTeX]
Chebifier: automating semantic classification in ChEBI to accelerate data-driven discovery.
Digital Discovery, 3(5):896-907, 2024.
Martin Glauer, Fabian Neuhaus, Simon Flügel, Marie Wosny, Till Mossakowski, Adel Memariani, Johannes Schwerdt and Janna Hastings.
[doi]
[abstract]
[BibTeX]
Connecting chemical structural representations with meaningful categories and semantic annotations representing existing knowledge enables data-driven digital discovery from chemistry data. Ontologies are semantic annotation resources that provide definitions and a classification hierarchy for a domain. They are widely used throughout the life sciences. ChEBI is a large-scale ontology for the domain of biologically interesting chemistry that connects representations of chemical structures with meaningful chemical and biological categories. Classifying novel molecular structures into ontologies such as ChEBI has been a longstanding objective for data scientific methods, but the approaches that have been developed to date are limited in several ways: they are not able to expand as the ontology expands without manual intervention, and they are not able to learn from continuously expanding data. We have developed an approach for automated classification of chemicals in the ChEBI ontology based on a neuro-symbolic AI technique that harnesses the ontology itself to create the learning system. We provide this system as a publicly available tool, Chebifier, and as an API, ChEB-AI. We here evaluate our approach and show how it constitutes an advance towards a continuously learning semantic system for chemical knowledge discovery.
The Diagrammatic Image Schema Language (DISL).
Spatial Cognition & Computation:1–38, 2024.
Maria M. Hedblom, Fabian Neuhaus and Till Mossakowski.
[doi]
[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]
Integrating human knowledge into neural networks has the potential to improve their robustness and interpretability. We have developed a novel approach to integrate knowledge from ontologies into the structure of a Transformer network which we call ontology pre-training: we train the network to predict membership in ontology classes as a way to embed the structure of the ontology into the network, and subsequently fine-tune the network for the particular prediction task. We apply this approach to a case study in predicting the potential toxicity of a small molecule based on its molecular structure, a challenging task for machine learning in life sciences chemistry. Our approach improves on the state of the art, and moreover has several additional benefits. First, we are able to show that the model learns to focus attention on more meaningful chemical groups when making predictions with ontology pre-training than without, paving a path towards greater robustness and interpretability. Second, the training time is reduced after ontology pre-training, indicating that the model is better placed to learn what matters for toxicity prediction with the ontology pre-training than without. This strategy has general applicability as a neuro-symbolic approach to embed meaningful semantics into neural networks.
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.
[doi]
[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]
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]
Chemical data is increasingly openly available in databases such as PubChem, which contains approximately 110 million compound entries as of February 2021. With the availability of data at such scale, the burden has shifted to organisation, analysis and interpretation. Chemical ontologies provide structured classifications of chemical entities that can be used for navigation and filtering of the large chemical space. ChEBI is a prominent example of a chemical ontology, widely used in life science contexts. However, ChEBI is manually maintained and as such cannot easily scale to the full scope of public chemical data. There is a need for tools that are able to automatically classify chemical data into chemical ontologies, which can be framed as a hierarchical multi-class classification problem. In this paper we evaluate machine learning approaches for this task, comparing different learning frameworks including logistic regression, decision trees and long short-term memory artificial neural networks, and different encoding approaches for the chemical structures, including cheminformatics fingerprints and character-based encoding from chemical line notation representations. We find that classical learning approaches such as logistic regression perform well with sets of relatively specific, disjoint chemical classes, while the neural network is able to handle larger sets of overlapping classes but needs more examples per class to learn from, and is not able to make a class prediction for every molecule. Future work will explore hybrid and ensemble approaches, as well as alternative network architectures including neuro-symbolic approaches.
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]
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]
Abstract In cognitive science, image schemas are identified as fundamental patterns of cognition. They are schematic prelinguistic conceptualisations of events and serve as conceptual building blocks for concepts. This paper proposes that image schemas can play an important role in computational concept invention, namely within the computational realisation of conceptual blending. We propose to build a library of formalised image schemas, and illustrate how they can guide the search for a base space in the concept invention work flow. Their schematic nature is captured by the idea of organising image schemas into families. Formally, they are represented as heterogeneous, interlinked theories.
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]
Conceptual blending has been employed very successfully to understand the process of concept invention, studied particularly within cognitive psychology and linguistics. However, despite this influential research, within computational creativity little effort has been devoted to fully formalise these ideas and to make them amenable to computational techniques.
Unlike other combination techniques, blending aims at
creatively generating (new) concepts on the basis of input theories
whose domains are thematically distinct but whose specifications share
structural similarity based on a relation of analogy, identified in a
generic space, called the base ontology.
We here introduce the basic formalisation of conceptual blending, as sketched by the late Joseph Goguen, and discuss some of its variations. We illustrate the vast array of conceptual blends that may be covered by this approach and discuss the theoretical and conceptual challenges that ensue.
Moreover, we show how the Distributed Ontology Language DOL can be used to declaratively specify blending diagrams of various shapes, and discuss in detail how the workflow and creative act of generating and evaluating a new, blended concept can be managed and computationally supported within Ontohub, a DOL-enabled theory repository with support for a large number of logical languages and formal linking constructs.
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]
Conceptual blending has been employed very successfully to understand the process of concept invention, studied particularly within cognitive psychology and linguistics. However, despite this influential research, within computational creativity little effort has been devoted to fully formalise these ideas and to make them amenable to computational techniques. We here present the basic formalisation of conceptual blending, as sketched by the late Joseph Goguen, and show how the Distributed Ontology Language DOL can be used to declaratively specify blending diagrams. Moreover, we discuss in detail how the workflow and creative act of generating and evaluating a new, blended concept can be managed and computationally supported within Ontohub, a DOL-enabled theory repository with support for a large number of logical languages and formal linking constructs.
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]
Conceptual blending has been employed very successfully to understand the process of concept invention,
studied particularly within cognitive psychology and
linguistics. However, despite this influential research,
within computational creativity little effort has been
devoted to fully formalise these ideas and to make
them amenable to computational techniques. We here
present the basic formalisation of conceptual blending,
as sketched by the late Joseph Goguen, and show how
the Distributed Ontology Language
DOL
can be used to
declaratively specify blending diagrams. Moreover, we
discuss in detail how the workflow and creative act of
generating and evaluating a new, blended concept can
be managed and computationally supported within Ontohub, a DOL-enabled theory repository with support
for a large number of logical languages and formal linking constructs.
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]
The theory of conceptual blending has been applied very successfully in cognitive science to explain the process of concept generation. In previous work, we have shown a formalisation and implementation of conceptual blending that is borrowing techniques from logic, ontological engineering, and algebraic specification. However, so far our attempts (and similar approaches in the literature) have been reconstructive; that is they show how a particular concept (e.g., houseboat) can be `discovered' by computationally blending two carefully selected input spaces (e.g, a house and a boat) and a suitable base. This paper describes an attempt to take the next step and automate the concept generation based on a database of input spaces. Particularly, we attempt to create monsters from a library of animals formalised as OWL ontologies.
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]
Motivation: Advancing our understanding of how nervous systems work will require the ability to store and annotate 3D anatomical datasets, recording morphology, partonomy and connectivity at multiple levels of granularity from subcellular to gross anatomy. It will also require the ability to integrate this data with other data-types including functional, genetic and electrophysiological data. The web ontology language OWL2 provides the means to solve many of these problems. Using it, one can rigorously define and relate classes of anatomical structure using multiple criteria. The resulting classes can be used to annotate datasets recording, for example, gene expression or electrophysiology. Reasoning software can be used to automate classification and error checking and to construct and answer sophisticated combinatorial queries. But for such queries to give consistent and biologically meaningful results, it is important that both classes and the terms (relations) used to relate them are carefully defined.
Results: We formally define a set of relations for recording the spatial and connectivity relationships of neuron classes and brain regions in a broad range of species, from vertebrates to arthropods. We illustrate the utility of our approach via its application in the ontology that drives the Virtual Fly Brain web resource.
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]