Heinrich Herre

Publication Activity (10 Years)

Years Active: 1975-2023
Publications (10 Years): 40

Top Venues

JOWO

J. Biomed. Semant.

GMDS

ODLS

Publications

Bärbel Hanle, Frank Loebe, Patryk Burek, Heinrich Herre
Balls and Universal Space in GFO. JOWO (2023)
Patryk Burek, Frank Loebe, Heinrich Herre
Ontology patterns for function modeling with GFO (short paper). ER (Companion) (2023)
Juliane Neumann, Alexandr Uciteli, Tim Meschke, Richard Bieck, Stefan Franke, Heinrich Herre, Thomas Neumuth
Ontology-based surgical workflow recognition and prediction. J. Biomed. Informatics 136 (2022)
Frank Loebe, Patryk Burek, Heinrich Herre
GFO: The General Formal Ontology. Appl. Ontology 17 (1) (2022)
Ralph Schäfermeier, Heinrich Herre, Adrian Paschke
Ontology Design Patterns for Representing Context in Ontologies Using Aspect Orientation. WOP (Book) (2021)
Patryk Burek, Frank Loebe, Heinrich Herre
Overview of GFO 2.0 Functions: An ontology module for representing teleological knowledge. KES (2021)
Frank Loebe, Patryk Burek, Heinrich Herre
Developing GFO 2.0 Further - Initiating the Modules of Space and Material Objects. JOWO (2021)
Patryk Burek, Heinrich Herre, Nico Scherf
On the Ontological Foundations of Cellular Development. JOWO (2020)
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
Ontological Modelling and Execution of Phenotypic Queries in the Leipzig Health Atlas. GMDS (2020)
Alexandr Uciteli, Christoph Beger, Toralf Kirsten, Frank A. Meineke, Heinrich Herre
Ontological representation, classification and data-driven computing of phenotypes. J. Biomed. Semant. 11 (1) (2020)
Patryk Burek, Nico Scherf, Heinrich Herre
On the Formal Representation and Annotation of Cellular Genealogies. EKAW (2020)
Patryk Burek, Heinrich Herre
A Lightweight Approach to the Multi-perspective Modeling of Processes and Objects. KES (2020)
Patryk Burek, Frank Loebe, Heinrich Herre
Towards GFO 2.0: Architecture, Modules and Applications. FOIS (2020)
Heinrich Herre
Towards a New Foundational Ontology of Properties, Attributives and Data. Ontology Makes Sense (2019)
Hai Long, Yan Zhu, Lirong Jia, Bo Gao, Jing Liu, Lihong Liu, Heinrich Herre
An ontological framework for the formalization, organization and usage of TCM-Knowledge. BMC Medical Informatics Decis. Mak. (2) (2019)
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, Manuel Kernenbach, Kathrin Pfeiffer, Wolfgang Lauer, Jörg-Uwe Meyer, Michael Witte, Heinrich Herre
Ontology-based specification and generation of search queries for post-market surveillance. J. Biomed. Semant. 10 (1) (2019)
Patryk Burek, Nico Scherf, Heinrich Herre
Foundations of the Cell Tracking Ontology. JOWO (2019)
Ringo Baumann, Frank Loebe, Heinrich Herre
Properties Defined on the Basis of Coincidence in GFO-Space. JOWO (2019)
Patryk Burek, Nico Scherf, Heinrich Herre
Ontology patterns for the representation of quality changes of cells in time. J. Biomed. Semant. 10 (1) (2019)
Patryk Burek, Nico Scherf, Heinrich Herre
A pattern-based approach to a cell tracking ontology. KES (2019)
Alexandr Uciteli, Christoph Beger, Toralf Kirsten, Frank A. Meineke, Heinrich Herre
Ontological Modelling and Reasoning of Phenotypes. JOWO (2019)
Ralph Schäfermeier, Adrian Paschke, Heinrich Herre
Ontology Design Patterns for Representing Context in Ontologies using Aspect Orientation. WOP@ISWC (2019)
Alexandr Uciteli, Christoph Beger, Stefan Kropf, Heinrich Herre
Spreadsheet Model Generator (SMOG): A Lightweight Tool for Object-Spreadsheet Mapping. GMDS (2019)
Kais Tahar, Alexandr Uciteli, Philip Röppischer, Heinrich Herre, Sebastian Siemoleit
Ontology-Guided Markerless Navigation and Situational Awareness for Endoscopic Surgery. GMDS (2018)
Stefan Kropf, Alexandr Uciteli, Katrin Schierle, Peter Krücken, Kerstin Denecke, Heinrich Herre
Querying archetype-based EHRs by search ontology-based XPath engineering. J. Biomed. Semant. 9 (1) (2018)
Christoph Beger, Alexandr Uciteli, Heinrich Herre
Light-Weighted Automatic Import of Standardized Ontologies into the Content Management System Drupal. GMDS (2017)
Alexandr Uciteli, Juliane Neumann, Kais Tahar, Kutaiba Saleh, Stephan Stucke, Sebastian Faulbrück-Röhr, André Kaeding, Martin Specht, Tobias Schmidt, Thomas Neumuth, Andreas Besting, Dominik Stegemann, Frank Portheine, Heinrich Herre
Ontology-based specification, identification and analysis of perioperative risks. J. Biomed. Semant. 8 (1) (2017)
Sebastian Siemoleit, Alexandr Uciteli, Richard Bieck, Heinrich Herre
Processual Reasoning over Sequences of Situations in Endoscopic Surgery. GMDS (2017)
Sebastian Siemoleit, Alexandr Uciteli, Richard Bieck, Heinrich Herre
Ontological Modelling of Situational Awareness in Surgical Interventions. JOWO (2017)
Hai Long, Yan Zhu, Lirong Jia, Junhui Wang, Heinrich Herre
Outline of the construction and application of a GFO-based TCM diagnoses ontology for syndrome differentiation of psoriasis vulgaris. Healthcom (2017)
Kais Tahar, Jie Xu, Heinrich Herre
Expert2OWL: A Methodology for Pattern-Based Ontology Development. GMDS (2017)
Patryk Burek, Frank Loebe, Heinrich Herre
Towards refactoring the Molecular Function Ontology with a UML profile for function modeling. J. Biomed. Semant. 8 (1) (2017)
Kutaiba Saleh, Stephan Stucke, Alexandr Uciteli, Sebastian Faulbrück-Röhr, Juliane Neumann, Kais Tahar, Danny Ammon, Tobias Schmidt, Thomas Neumuth, Andreas Besting, Frank Portheine, Heinrich Herre, André Kaeding, Martin Specht
Using Fast Healthcare Interoperability Resources (FHIR) for the Integration of Risk Minimization Systems in Hospitals. MedInfo (2017)
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, Manuel Kernenbach, Wolfgang Lauer, Jörg-Uwe Meyer, Michael Witte, Heinrich Herre
Search Ontology Generator (SONG): Ontology-Based Specification and Generation of Search Queries. JOWO (2017)
Stefan Kropf, Alexandr Uciteli, Peter Krücken, Kerstin Denecke, Heinrich Herre
Querying standardized EHRs by a Search Ontology XML extension (SOX). ODLS (2016)
Kais Tahar, Michael Schaaf, Franziska Jahn, Christian Kücherer, Barbara Paech, Heinrich Herre, Alfred Winter
An Approach to Support Collaborative Ontology Construction. MIE (2016)
Ringo Baumann, Frank Loebe, Heinrich Herre
Towards an Ontology of Space for GFO. FOIS (2016)
Patryk Burek, Frank Loebe, Heinrich Herre
FueL: Representing function structure and function dependencies with a UML profile for function modeling. Appl. Ontology 11 (2) (2016)
Alexandr Uciteli, Juliane Neumann, Kais Tahar, Kutaiba Saleh, Stephan Stucke, Sebastian Faulbrück-Röhr, André Kaeding, Martin Specht, Tobias Schmidt, Thomas Neumuth, Andreas Besting, Frank Portheine, Heinrich Herre
Risk Identification Ontology (RIO): An ontology for specification and identification of perioperative risks. ODLS (2016)
Sebastian Siemoleit, Heinrich Herre
A Whiteheadian approach to data and knowledge. ODLS (2016)
Alexandr Uciteli, Heinrich Herre
OntoStudyEdit: a new approach for ontology-based representation and management of metadata in clinical and epidemiological research. J. Biomed. Semant. 6 (2015)
Patryk Burek, Frank Loebe, Heinrich Herre
A UML profile for functional modeling applied to the Molecular Function Ontology. ICBO (2015)
Ringo Baumann, Frank Loebe, Heinrich Herre
Axiomatic theories of the ontology of time in GFO. Appl. Ontology 9 (3-4) (2014)
Alexandr Uciteli, Christoph Goller, Patryk Burek, Sebastian Siemoleit, Breno Faria, Halyna Galanzina, Timo Weiland, Doreen Drechsler-Hake, Wolfram Bartussek, Heinrich Herre
Search Ontology, a new approach towards Semantic Search. GI-Jahrestagung (2014)
Heinrich Herre
Persistence, Change, and the Integration of Objects and Processes in the Framework of the General Formal Ontology. CoRR (2013)
Patryk Burek, Heinrich Herre
Representation, Realization, and Ascription of Functions for Material Entities. GI-Jahrestagung (2013)
Nico Scherf, Michael Kunze, Konstantin Thierbach, Thomas Zerjatke, Patryk Burek, Heinrich Herre, Ingmar Glauche, Ingo Roeder
Assisting the Machine Paradigms for Human-Machine Interaction in Single Cell Tracking. Bildverarbeitung für die Medizin (2013)
Robert Hoehndorf, Midori A. Harris, Heinrich Herre, Gabriella Rustici, Georgios V. Gkoutos
Semantic integration of physiology phenotypes with an application to the Cellular Phenotype Ontology. Bioinform. 28 (13) (2012)
Ringo Baumann, Frank Loebe, Heinrich Herre
Ontology of Time in GFO. FOIS (2012)
Frank Loebe, Frank Stumpf, Robert Hoehndorf, Heinrich Herre
Towards improving phenotype representation in OWL. J. Biomed. Semant. 3 (S-2) (2012)
Heinrich Herre, Robert Hoehndorf, Janet Kelso, Frank Loebe, Stefan Schulz
OBML - Ontologies in Biomedicine and Life Sciences. J. Biomed. Semant. 2 (S-4) (2011)
Dayana Neumuth, Frank Loebe, Heinrich Herre, Thomas Neumuth
Modeling surgical processes: A four-level translational approach. Artif. Intell. Medicine 51 (3) (2011)
Ringo Baumann, Heinrich Herre
The Axiomatic Foundation of Space in GFO CoRR (2011)
Alexandr Uciteli, Silvia Groß, Sergej Kireyev, Heinrich Herre
An ontologically founded architecture for information systems in clinical and epidemiological research. J. Biomed. Semant. 2 (S-4) (2011)
Michael Hartung, Frank Loebe, Heinrich Herre, Erhard Rahm
Management of evolving semantic grid metadata within a collaborative platform. Inf. Sci. 180 (10) (2010)
Robert Hoehndorf, Anika Oellrich, Michel Dumontier, Janet Kelso, Dietrich Rebholz-Schuhmann, Heinrich Herre
Relations as patterns: bridging the gap between OBO and OWL. BMC Bioinform. 11 (2010)
Robert Hoehndorf, Anika Oellrich, Michel Dumontier, Heinrich Herre, Dietrich Rebholz-Schuhmann
Relational Patterns in OWL and Their Application to OBO. OWLED (2010)
Robert Hoehndorf, Janet Kelso, Heinrich Herre
The ontology of biological sequences. BMC Bioinform. 10 (2009)
Robert Hoehndorf, Joshua Bacher, Michael Backhaus, Sergio E. Gregorio Jr., Frank Loebe, Kay Prüfer, Alexandr Uciteli, Johann Visagie, Heinrich Herre, Janet Kelso
BOWiki: an ontology-based wiki for annotation of data and integration of knowledge in biology. BMC Bioinform. 10 (S-5) (2009)
Robert Hoehndorf, Axel-Cyrille Ngonga Ngomo, Heinrich Herre
Developing Consistent and Modular Software Models with Ontologies. SoMeT (2009)
Patryk Burek, Heinrich Herre, Frank Loebe
Ontological Analysis of Functional Decomposition. SoMeT (2009)
Jürgen Stausberg, Matthias Löbe, Philippe Verplancke, Johannes Drepper, Heinrich Herre, Markus Löffler
Foundations of a Metadata Repository for Databases of Registers and Trials. MIE (2009)
Michael Hartung, Frank Loebe, Heinrich Herre, Erhard Rahm
A Platform for Collaborative Management of Semantic Grid Metadata. IDC (2008)
Frank Loebe, Heinrich Herre
Formal Semantics and Ontologies - Towards an Ontological Account of Formal Semantics. FOIS (2008)
Robert Hoehndorf, Frank Loebe, Roberto Poli, Heinrich Herre, Janet Kelso
GFO-Bio: A biological core ontology. Appl. Ontology 3 (4) (2008)
Robert Hoehndorf, Frank Loebe, Janet Kelso, Heinrich Herre
Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies. BMC Bioinform. 8 (2007)
Michael Backhaus, Janet Kelso, Joshua Bacher, Heinrich Herre, Robert Hoehndorf, Frank Loebe, Johann Visagie
BOWiki - a Collaborative Annotation and Ontology Curation Framework. CKC (2007)
Robert Hoehndorf, Kay Prüfer, Michael Backhaus, Heinrich Herre, Janet Kelso, Frank Loebe, Johann Visagie
A Proposal for a Gene Functions Wiki. OTM Workshops (1) (2006)
Sören Auer, Heinrich Herre
A Versioning and Evolution Framework for RDF Knowledge Bases. Ershov Memorial Conference (2006)
Heinrich Herre, Barbara Heller
Semantic foundations of medical information systems based on top-level ontologies. Knowl. Based Syst. 19 (2) (2006)
Patryk Burek, Robert Hoehndorf, Frank Loebe, Johann Visagie, Heinrich Herre, Janet Kelso
A top-level ontology of functions and its application in the Open Biomedical Ontologies. ISMB (Supplement of Bioinformatics) (2006)
Sören Auer, Heinrich Herre
RapidOWL - An Agile Knowledge Engineering Methodology. Ershov Memorial Conference (2006)
Heinrich Herre, Frank Loebe
A Meta-ontological Architecture for Foundational Ontologies. OTM Conferences (2) (2005)
Heinrich Herre, Barbara Heller
Ontology of Time and Situoids in Medical Conceptual Modeling. AIME (2005)
Barbara Heller, Heinrich Herre, Kristin Lippoldt
The Theory of Top-Level Ontological Mappings and Its Application to Clinical Trial Protocols. EKAW (2004)
Barbara Heller, Heinrich Herre, Kristin Lippoldt, Markus Löffler
Standardized Terminology for Clinical Trial Protocols Based on Top-Level Ontological Categories. CGP (2004)
Barbara Heller, Heinrich Herre, Kristin Lippoldt
Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework. DILS (2004)
Giancarlo Guizzardi, Gerd Wagner, Heinrich Herre
On the Foundations of UML as an Ontology Representation Language. EKAW (2004)
Giancarlo Guizzardi, Heinrich Herre, Gerd Wagner
Towards Ontological Foundations for UML Conceptual Models. OTM (2002)
Giancarlo Guizzardi, Heinrich Herre, Gerd Wagner
On the General Ontological Foundations of Conceptual Modeling. ER (2002)
Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith
GOL: toward an axiomatized upper-level ontology. FOIS (2001)
José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira
Partial Models of Extended Generalized Logic Programs. Computational Logic (2000)
Joeri Engelfriet, Heinrich Herre
Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. J. Log. Program. 41 (1) (1999)
Joeri Engelfriet, Heinrich Herre, Jan Treur
Nonmonotonic Reasoning with Multiple Belief Sets. Ann. Math. Artif. Intell. 24 (1-4) (1998)
Heinrich Herre, Gerd Wagner
Stable Models Are Generated by a Stabel Chain. J. Log. Program. 30 (2) (1997)
Joeri Engelfriet, Heinrich Herre
Generated Preferred Models and Extensions of Nonmonotonic Systems. ILPS (1997)
Joeri Engelfriet, Heinrich Herre, Jan Treur
Nonmonotonic Reasoning with Multiple Belief Sets. FAPR (1996)
Heinrich Herre, Gerd Wagner
Stable Semantics of Temporal Deductive Databases. DDLP (1996)
Heinrich Herre
Generalized Compactness of Nonmonotonic Inference Operations. J. Appl. Non Class. Logics 5 (1) (1995)
Joeri Engelfriet, Heinrich Herre, Jan Treur
Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). ECSQARU (1995)
Heinrich Herre
Compactness Properties of Nonmonotonic Inference Operations. JELIA (1994)
Heinrich Herre
Semantical Completeness of Model-Based Diagnosis. EUROVAV (1993)
Heinrich Herre, David Pearce
Disjunctive Logic Programming, Constructivity and Strong Negation. JELIA (1992)
Heinrich Herre, Michal Krynicki, Alexander G. Pinus, Jouko A. Väänänen
The Härtig Quantifier: A Survey. J. Symb. Log. 56 (4) (1991)
Heinrich Herre
Non-Monotonic Reasoning For Clause Logic Programming In A General Setting. GWAI (1991)
Heinrich Herre
Nonmonotonic Reasoning and Logic Programs. Nonmonotonic and Inductive Logic (1990)
Heinrich Herre
Semantics of Nonmonotonic Reasoning in Logic Programming. Nonclassical Logics and Information Processing (1990)
Heinrich Herre, Helmut Wolter
Untersuchungen zur Theorie der linearen Ordnung in Logiken mit MäChtigkeitsquantoren. Math. Log. Q. 27 (2-6) (1981)
Heinrich Herre
Modelltheoretische Eigenschaften Endlichvalenter Graphen. Math. Log. Q. 26 (1-6) (1980)
Heinrich Herre, Helmut Wolter
Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor. Math. Log. Q. 25 (19-24) (1979)

Heinrich Herre.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Heinrich Herre