Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren. - Heinrich Herre; Helmut Wolter (Math. Log. Q., 1975)

Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren. - Heinrich Herre; Alexander G. Pinus (Math. Log. Q., 1978)

Entscheidbarkeit der Theorie der Linearen Ordnung in L. - Heinrich Herre; Helmut Wolter (Math. Log. Q., 1978)

Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor. - Heinrich Herre; Helmut Wolter (Math. Log. Q., 1979)

Modelltheoretische Eigenschaften Endlichvalenter Graphen. - Heinrich Herre (Math. Log. Q., 1980)

Untersuchungen zur Theorie der linearen Ordnung in Logiken mit MäChtigkeitsquantoren. - Heinrich Herre; Helmut Wolter (Math. Log. Q., 1981)

Semantics of Nonmonotonic Reasoning in Logic Programming. - Heinrich Herre (Nonclassical Logics and Information Processing, 1990)

Nonmonotonic Reasoning and Logic Programs. - Heinrich Herre (Nonmonotonic and Inductive Logic, 1990)

Non-Monotonic Reasoning For Clause Logic Programming In A General Setting. - Heinrich Herre (GWAI, 1991)

The Härtig Quantifier: A Survey. - Heinrich Herre; Michal Krynicki; Alexander G. Pinus; Jouko A. Väänänen (J. Symb. Log., 1991)

Disjunctive Logic Programming, Constructivity and Strong Negation. - Heinrich Herre; David Pearce 001 (JELIA, 1992)

Semantical Completeness of Model-Based Diagnosis. - Heinrich Herre (EUROVAV, 1993)

Compactness Properties of Nonmonotonic Inference Operations. - Heinrich Herre (JELIA, 1994)

Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). - Joeri Engelfriet; Heinrich Herre; Jan Treur (ECSQARU, 1995)

Generalized Compactness of Nonmonotonic Inference Operations. - Heinrich Herre (J. Appl. Non Class. Logics, 1995)

Stable Semantics of Temporal Deductive Databases. - Heinrich Herre; Gerd Wagner 001 (DDLP, 1996)

Generated Preferred Models and Extensions of Nonmonotonic Systems. - Joeri Engelfriet; Heinrich Herre (ILPS, 1997)

Stable Models Are Generated by a Stabel Chain. - Heinrich Herre; Gerd Wagner 001 (J. Log. Program., 1997)

Nonmonotonic Reasoning with Multiple Belief Sets. - Joeri Engelfriet; Heinrich Herre; Jan Treur (Ann. Math. Artif. Intell., 1998)

Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. - Joeri Engelfriet; Heinrich Herre (J. Log. Program., 1999)

Partial Models of Extended Generalized Logic Programs. - José Júlio Alferes; Heinrich Herre; Luís Moniz Pereira (Computational Logic, 2000)

GOL: toward an axiomatized upper-level ontology. - Wolfgang Degen; Barbara Heller; Heinrich Herre; Barry Smith 001 (FOIS, 2001)

Towards Ontological Foundations for UML Conceptual Models. - Giancarlo Guizzardi; Heinrich Herre; Gerd Wagner 001 (OTM, 2002)

On the General Ontological Foundations of Conceptual Modeling. - Giancarlo Guizzardi; Heinrich Herre; Gerd Wagner 001 (ER, 2002)

Standardized Terminology for Clinical Trial Protocols Based on Top-Level Ontological Categories. - Barbara Heller; Heinrich Herre; Kristin Lippoldt; Markus Löffler (CGP, 2004)

Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework. - Barbara Heller; Heinrich Herre; Kristin Lippoldt (DILS, 2004)

On the Foundations of UML as an Ontology Representation Language. - Giancarlo Guizzardi; Gerd Wagner 001; Heinrich Herre (EKAW, 2004)

The Theory of Top-Level Ontological Mappings and Its Application to Clinical Trial Protocols. - Barbara Heller; Heinrich Herre; Kristin Lippoldt (EKAW, 2004)

Ontology of Time and Situoids in Medical Conceptual Modeling. - Heinrich Herre; Barbara Heller (AIME, 2005)

A Meta-ontological Architecture for Foundational Ontologies. - Heinrich Herre; Frank Loebe (OTM Conferences (2), 2005)

A Versioning and Evolution Framework for RDF Knowledge Bases. - Sören Auer; Heinrich Herre (Ershov Memorial Conference, 2006)

RapidOWL - An Agile Knowledge Engineering Methodology. - Sören Auer; Heinrich Herre (Ershov Memorial Conference, 2006)

A top-level ontology of functions and its application in the Open Biomedical Ontologies. - Patryk Burek; Robert Hoehndorf; Frank Loebe; Johann Visagie; Heinrich Herre; Janet Kelso (ISMB (Supplement of Bioinformatics), 2006)

A Proposal for a Gene Functions Wiki. - Robert Hoehndorf; Kay Prüfer; Michael Backhaus; Heinrich Herre; Janet Kelso; Frank Loebe; Johann Visagie (OTM Workshops (1), 2006)

Semantic foundations of medical information systems based on top-level ontologies. - Heinrich Herre; Barbara Heller (Knowl. Based Syst., 2006)

BOWiki - a Collaborative Annotation and Ontology Curation Framework. - Michael Backhaus; Janet Kelso; Joshua Bacher; Heinrich Herre; Robert Hoehndorf; Frank Loebe; Johann Visagie (CKC, 2007)

Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies. - Robert Hoehndorf; Frank Loebe; Janet Kelso; Heinrich Herre (BMC Bioinform., 2007)

Formal Semantics and Ontologies - Towards an Ontological Account of Formal Semantics. - Frank Loebe; Heinrich Herre (FOIS, 2008)

A Platform for Collaborative Management of Semantic Grid Metadata. - Michael Hartung; Frank Loebe; Heinrich Herre; Erhard Rahm (IDC, 2008)

GFO-Bio: A biological core ontology. - Robert Hoehndorf; Frank Loebe; Roberto Poli; Heinrich Herre; Janet Kelso (Appl. Ontology, 2008)

Foundations of a Metadata Repository for Databases of Registers and Trials. - Jürgen Stausberg; Matthias Löbe; Philippe Verplancke; Johannes Drepper; Heinrich Herre; Markus Löffler (MIE, 2009)

Ontological Analysis of Functional Decomposition. - Patryk Burek; Heinrich Herre; Frank Loebe (SoMeT, 2009)

Developing Consistent and Modular Software Models with Ontologies. - Robert Hoehndorf; Axel-Cyrille Ngonga Ngomo; Heinrich Herre (SoMeT, 2009)

BOWiki: an ontology-based wiki for annotation of data and integration of knowledge in biology. - Robert Hoehndorf; Joshua Bacher; Michael Backhaus; Sergio E. Gregorio Jr.; Frank Loebe; Kay Prüfer; Alexandr Uciteli; Johann Visagie; Heinrich Herre; Janet Kelso (BMC Bioinform., 2009)

The ontology of biological sequences. - Robert Hoehndorf; Janet Kelso; Heinrich Herre (BMC Bioinform., 2009)

Relational Patterns in OWL and Their Application to OBO. - Robert Hoehndorf; Anika Oellrich; Michel Dumontier; Heinrich Herre; Dietrich Rebholz-Schuhmann (OWLED, 2010)

Relations as patterns: bridging the gap between OBO and OWL. - Robert Hoehndorf; Anika Oellrich; Michel Dumontier; Janet Kelso; Dietrich Rebholz-Schuhmann; Heinrich Herre (BMC Bioinform., 2010)

Management of evolving semantic grid metadata within a collaborative platform. - Michael Hartung; Frank Loebe; Heinrich Herre; Erhard Rahm (Inf. Sci., 2010)

Modeling surgical processes: A four-level translational approach. - Dayana Neumuth; Frank Loebe; Heinrich Herre; Thomas Neumuth (Artif. Intell. Medicine, 2011)

OBML - Ontologies in Biomedicine and Life Sciences. - Heinrich Herre; Robert Hoehndorf; Janet Kelso; Frank Loebe; Stefan Schulz 001 (J. Biomed. Semant., 2011)

An ontologically founded architecture for information systems in clinical and epidemiological research. - Alexandr Uciteli; Silvia Groß; Sergej Kireyev; Heinrich Herre (J. Biomed. Semant., 2011)

The Axiomatic Foundation of Space in GFO - Ringo Baumann; Heinrich Herre (CoRR, 2011)

Ontology of Time in GFO. - Ringo Baumann; Frank Loebe; Heinrich Herre (FOIS, 2012)

Semantic integration of physiology phenotypes with an application to the Cellular Phenotype Ontology. - Robert Hoehndorf; Midori A. Harris; Heinrich Herre; Gabriella Rustici; Georgios V. Gkoutos (Bioinform., 2012)

Towards improving phenotype representation in OWL. - Frank Loebe; Frank Stumpf; Robert Hoehndorf; Heinrich Herre (J. Biomed. Semant., 2012)

Assisting the Machine Paradigms for Human-Machine Interaction in Single Cell Tracking. - Nico Scherf; Michael Kunze; Konstantin Thierbach; Thomas Zerjatke; Patryk Burek; Heinrich Herre; Ingmar Glauche; Ingo Roeder (Bildverarbeitung für die Medizin, 2013)

Representation, Realization, and Ascription of Functions for Material Entities. - Patryk Burek; Heinrich Herre (GI-Jahrestagung, 2013)

Persistence, Change, and the Integration of Objects and Processes in the Framework of the General Formal Ontology. - Heinrich Herre (CoRR, 2013)

Search Ontology, a new approach towards Semantic Search. - Alexandr Uciteli; Christoph Goller; Patryk Burek; Sebastian Siemoleit; Breno Faria; Halyna Galanzina; Timo Weiland; Doreen Drechsler-Hake; Wolfram Bartussek; Heinrich Herre (GI-Jahrestagung, 2014)

Axiomatic theories of the ontology of time in GFO. - Ringo Baumann; Frank Loebe; Heinrich Herre (Appl. Ontology, 2014)

A UML profile for functional modeling applied to the Molecular Function Ontology. - Patryk Burek; Frank Loebe; Heinrich Herre (ICBO, 2015)

OntoStudyEdit: a new approach for ontology-based representation and management of metadata in clinical and epidemiological research. - Alexandr Uciteli; Heinrich Herre (J. Biomed. Semant., 2015)

Towards an Ontology of Space for GFO. - Ringo Baumann; Frank Loebe; Heinrich Herre (FOIS, 2016)

An Approach to Support Collaborative Ontology Construction. - Kais Tahar; Michael Schaaf; Franziska Jahn; Christian Kücherer; Barbara Paech; Heinrich Herre; Alfred Winter (MIE, 2016)

Querying standardized EHRs by a Search Ontology XML extension (SOX). - Stefan Kropf; Alexandr Uciteli; Peter Krücken; Kerstin Denecke; Heinrich Herre (ODLS, 2016)

A Whiteheadian approach to data and knowledge. - Sebastian Siemoleit; Heinrich Herre (ODLS, 2016)

Risk Identification Ontology (RIO): An ontology for specification and identification of perioperative risks. - Alexandr Uciteli; Juliane Neumann; Kais Tahar; Kutaiba Saleh; Stephan Stucke; Sebastian Faulbrück-Röhr; André Kaeding; Martin Specht; Tobias Schmidt 002; Thomas Neumuth; Andreas Besting; Frank Portheine; et al. (ODLS, 2016)

FueL: Representing function structure and function dependencies with a UML profile for function modeling. - Patryk Burek; Frank Loebe; Heinrich Herre (Appl. Ontology, 2016)

Light-Weighted Automatic Import of Standardized Ontologies into the Content Management System Drupal. - Christoph Beger; Alexandr Uciteli; Heinrich Herre (GMDS, 2017)

Processual Reasoning over Sequences of Situations in Endoscopic Surgery. - Sebastian Siemoleit; Alexandr Uciteli; Richard Bieck; Heinrich Herre (GMDS, 2017)

Expert2OWL: A Methodology for Pattern-Based Ontology Development. - Kais Tahar; Jie Xu; Heinrich Herre (GMDS, 2017)

Outline of the construction and application of a GFO-based TCM diagnoses ontology for syndrome differentiation of psoriasis vulgaris. - Hai Long; Yan Zhu 021; Lirong Jia; Junhui Wang; Heinrich Herre (Healthcom, 2017)

Ontological Modelling of Situational Awareness in Surgical Interventions. - Sebastian Siemoleit; Alexandr Uciteli; Richard Bieck; Heinrich Herre (JOWO, 2017)

Search Ontology Generator (SONG): Ontology-Based Specification and Generation of Search Queries. - Alexandr Uciteli; Stefan Kropf; Timo Weiland; Stefanie Meese; Klaus Graef; Sabrina Rohrer; Marc O. Schurr; Wolfram Bartussek; Christoph Goller; Philipp Blohm; Robin Seidel; Christian Bayer 003; et al. (JOWO, 2017)

Using Fast Healthcare Interoperability Resources (FHIR) for the Integration of Risk Minimization Systems in Hospitals. - Kutaiba Saleh; Stephan Stucke; Alexandr Uciteli; Sebastian Faulbrück-Röhr; Juliane Neumann; Kais Tahar; Danny Ammon; Tobias Schmidt 002; Thomas Neumuth; Andreas Besting; Frank Portheine; Heinrich Herre; et al. (MedInfo, 2017)

Towards refactoring the Molecular Function Ontology with a UML profile for function modeling. - Patryk Burek; Frank Loebe; Heinrich Herre (J. Biomed. Semant., 2017)

Ontology-based specification, identification and analysis of perioperative risks. - Alexandr Uciteli; Juliane Neumann; Kais Tahar; Kutaiba Saleh; Stephan Stucke; Sebastian Faulbrück-Röhr; André Kaeding; Martin Specht; Tobias Schmidt 002; Thomas Neumuth; Andreas Besting; Dominik Stegemann; et al. (J. Biomed. Semant., 2017)

Ontology-Based Modelling of Web Content: Example Leipzig Health Atlas. - Alexandr Uciteli; Christoph Beger; Katja Rillich; Frank A. Meineke; Markus Loeffler; Heinrich Herre (Semantic Applications, 2018)

Ontology-Guided Markerless Navigation and Situational Awareness for Endoscopic Surgery. - Kais Tahar; Alexandr Uciteli; Philip Röppischer; Heinrich Herre; Sebastian Siemoleit (GMDS, 2018)

Querying archetype-based EHRs by search ontology-based XPath engineering. - Stefan Kropf; Alexandr Uciteli; Katrin Schierle; Peter Krücken; Kerstin Denecke; Heinrich Herre (J. Biomed. Semant., 2018)

Towards a New Foundational Ontology of Properties, Attributives and Data. - Heinrich Herre (Ontology Makes Sense, 2019)

Spreadsheet Model Generator (SMOG): A Lightweight Tool for Object-Spreadsheet Mapping. - Alexandr Uciteli; Christoph Beger; Stefan Kropf; Heinrich Herre (GMDS, 2019)

Properties Defined on the Basis of Coincidence in GFO-Space. - Ringo Baumann; Frank Loebe; Heinrich Herre (JOWO, 2019)

Foundations of the Cell Tracking Ontology. - Patryk Burek; Nico Scherf; Heinrich Herre (JOWO, 2019)

Ontological Modelling and Reasoning of Phenotypes. - Alexandr Uciteli; Christoph Beger; Toralf Kirsten; Frank A. Meineke; Heinrich Herre (JOWO, 2019)

A pattern-based approach to a cell tracking ontology. - Patryk Burek; Nico Scherf; Heinrich Herre (KES, 2019)

Ontology patterns for the representation of quality changes of cells in time. - Patryk Burek; Nico Scherf; Heinrich Herre (J. Biomed. Semant., 2019)

Ontology-based specification and generation of search queries for post-market surveillance. - Alexandr Uciteli; Stefan Kropf; Timo Weiland; Stefanie Meese; Klaus Graef; Sabrina Rohrer; Marc O. Schurr; Wolfram Bartussek; Christoph Goller; Philipp Blohm; Robin Seidel; Christian Bayer 003; et al. (J. Biomed. Semant., 2019)

An ontological framework for the formalization, organization and usage of TCM-Knowledge. - Hai Long; Yan Zhu 021; Lirong Jia; Bo Gao; Jing Liu; Lihong Liu; Heinrich Herre (BMC Medical Informatics Decis. Mak., 2019)

On the Formal Representation and Annotation of Cellular Genealogies. - Patryk Burek; Nico Scherf; Heinrich Herre (EKAW, 2020)

Towards GFO 2.0: Architecture, Modules and Applications. - Patryk Burek; Frank Loebe; Heinrich Herre (FOIS, 2020)

Ontological Modelling and Execution of Phenotypic Queries in the Leipzig Health Atlas. - Alexandr Uciteli; Christoph Beger; Jonas Wagner; Alexander Kiel; Frank A. Meineke; Sebastian Stäubert; Matthias Löbe; René Hänsel; Judith Schuster; Toralf Kirsten; Heinrich Herre (GMDS, 2020)

On the Ontological Foundations of Cellular Development. - Patryk Burek; Heinrich Herre; Nico Scherf (JOWO, 2020)

A Lightweight Approach to the Multi-perspective Modeling of Processes and Objects. - Patryk Burek; Heinrich Herre (KES, 2020)

Ontological representation, classification and data-driven computing of phenotypes. - Alexandr Uciteli; Christoph Beger; Toralf Kirsten; Frank A. Meineke; Heinrich Herre (J. Biomed. Semant., 2020)

Developing GFO 2.0 Further - Initiating the Modules of Space and Material Objects. - Frank Loebe; Patryk Burek; Heinrich Herre (JOWO, 2021)

Overview of GFO 2.0 Functions: An ontology module for representing teleological knowledge. - Patryk Burek; Frank Loebe; Heinrich Herre (KES, 2021)

Ontology Design Patterns for Representing Context in Ontologies Using Aspect Orientation. - Ralph Schäfermeier; Heinrich Herre; Adrian Paschke (WOP (Book), 2021)

GFO: The General Formal Ontology. - Frank Loebe; Patryk Burek; Heinrich Herre (Appl. Ontology, 2022)

Ontology-based surgical workflow recognition and prediction. - Juliane Neumann; Alexandr Uciteli; Tim Meschke; Richard Bieck; Stefan Franke; Heinrich Herre; Thomas Neumuth (J. Biomed. Informatics, 2022)

Ontology patterns for function modeling with GFO (short paper). - Patryk Burek; Frank Loebe; Heinrich Herre (ER (Companion), 2023)

Balls and Universal Space in GFO. - Bärbel Hanle; Frank Loebe; Patryk Burek; Heinrich Herre (JOWO, 2023)

Ontologically Founded Design Patterns for Situation Modeling. - Patryk Burek; Frank Loebe; Ralph Schäfermeier; Alexandr Uciteli; Bartosz Kondracki; Heinrich Herre (ISD, 2024)