Heinrich Herre

110 papers A 1B 9C 9Misc 1Journal 39Unranked 47

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Py2ONTO-Edit: A python-based tool for ontology term extraction and translation. Softw. Impacts Zhe Wang, Zunfan Chen, Zhigang Wang, Sheng Yang, Xiaolin Yang, Heinrich Herre, Yan Zhu
2024	—	`conf`	Ontologically Founded Design Patterns for Situation Modeling. ISD Patryk Burek, Frank Loebe, Ralph Schäfermeier, Alexandr Uciteli, Bartosz Kondracki, Heinrich Herre
2023	—	`conf`	Balls and Universal Space in GFO. JOWO Bärbel Hanle, Frank Loebe, Patryk Burek, Heinrich Herre
2023	—	`conf`	Ontology patterns for function modeling with GFO (short paper). ER (Companion) Patryk Burek, Frank Loebe, Heinrich Herre
2022	J	`jnl`	GFO: The General Formal Ontology. Appl. Ontology Frank Loebe, Patryk Burek, Heinrich Herre
2022	J	`jnl`	Ontology-based surgical workflow recognition and prediction. J. Biomed. Informatics Juliane Neumann, Alexandr Uciteli, Tim Meschke, Richard Bieck, Stefan Franke, Heinrich Herre, Thomas Neumuth
2021	—	`conf`	Developing GFO 2.0 Further - Initiating the Modules of Space and Material Objects. JOWO Frank Loebe, Patryk Burek, Heinrich Herre
2021	—	`conf`	Ontology Design Patterns for Representing Context in Ontologies Using Aspect Orientation. WOP (Book) Ralph Schäfermeier, Heinrich Herre, Adrian Paschke
2021	B	`conf`	Overview of GFO 2.0 Functions: An ontology module for representing teleological knowledge. KES Patryk Burek, Frank Loebe, Heinrich Herre
2020	B	`conf`	A Lightweight Approach to the Multi-perspective Modeling of Processes and Objects. KES Patryk Burek, Heinrich Herre
2020	B	`conf`	On the Formal Representation and Annotation of Cellular Genealogies. EKAW Patryk Burek, Nico Scherf, Heinrich Herre
2020	—	`conf`	On the Ontological Foundations of Cellular Development. JOWO Patryk Burek, Heinrich Herre, Nico Scherf
2020	—	`conf`	Ontological Modelling and Execution of Phenotypic Queries in the Leipzig Health Atlas. GMDS 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
2020	J	`jnl`	Ontological representation, classification and data-driven computing of phenotypes. J. Biomed. Semant. Alexandr Uciteli, Christoph Beger, Toralf Kirsten, Frank A. Meineke, Heinrich Herre
2020	C	`conf`	Towards GFO 2.0: Architecture, Modules and Applications. FOIS Patryk Burek, Frank Loebe, Heinrich Herre
2019	B	`conf`	A pattern-based approach to a cell tracking ontology. KES Patryk Burek, Nico Scherf, Heinrich Herre
2019	J	`jnl`	An ontological framework for the formalization, organization and usage of TCM-Knowledge. BMC Medical Informatics Decis. Mak. Hai Long, Yan Zhu, Lirong Jia, Bo Gao, Jing Liu, Lihong Liu, Heinrich Herre
2019	—	`conf`	Foundations of the Cell Tracking Ontology. JOWO Patryk Burek, Nico Scherf, Heinrich Herre
2019	—	`conf`	Ontological Modelling and Reasoning of Phenotypes. JOWO Alexandr Uciteli, Christoph Beger, Toralf Kirsten, Frank A. Meineke, Heinrich Herre
2019	—	`conf`	Ontology Design Patterns for Representing Context in Ontologies using Aspect Orientation. WOP@ISWC Ralph Schäfermeier, Adrian Paschke, Heinrich Herre
2019	J	`jnl`	Ontology patterns for the representation of quality changes of cells in time. J. Biomed. Semant. Patryk Burek, Nico Scherf, Heinrich Herre
2019	J	`jnl`	Ontology-based specification and generation of search queries for post-market surveillance. J. Biomed. Semant. 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
2019	—	`conf`	Properties Defined on the Basis of Coincidence in GFO-Space. JOWO Ringo Baumann, Frank Loebe, Heinrich Herre
2019	—	`conf`	Spreadsheet Model Generator (SMOG): A Lightweight Tool for Object-Spreadsheet Mapping. GMDS Alexandr Uciteli, Christoph Beger, Stefan Kropf, Heinrich Herre
2019	—	`conf`	Towards a New Foundational Ontology of Properties, Attributives and Data. Ontology Makes Sense Heinrich Herre
2018	—	`ch.`	Ontology-Based Modelling of Web Content: Example Leipzig Health Atlas. Semantic Applications Alexandr Uciteli, Christoph Beger, Katja Rillich, Frank A. Meineke, Markus Loeffler, Heinrich Herre
2018	—	`conf`	Ontology-Guided Markerless Navigation and Situational Awareness for Endoscopic Surgery. GMDS Kais Tahar, Alexandr Uciteli, Philip Röppischer, Heinrich Herre, Sebastian Siemoleit
2018	—	`ed.`	Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017. JOWO Stefano Borgo, Oliver Kutz, Frank Loebe, Fabian Neuhaus, Kemo Adrian, Mihailo Antovic, Valerio Basile, Martin Boeker, Diego Calvanese, Tommaso Caselli, Giorgio Colombo, Roberto Confalonieri, Laura Daniele, Jérôme Euzenat, Antony Galton, Dagmar Gromann, Maria M. Hedblom, Heinrich Herre, Inge Hinterwaldner, Andrea Janes, Ludger Jansen, Kris Krois, Antonio Lieto, Claudio Masolo, Rafael Peñaloza, Daniele Porello, Daniele Paolo Radicioni, Emilio M. Sanfilippo, Daniel Schober, Rossella Stufano, Amanda Vizedom
2018	J	`jnl`	Querying archetype-based EHRs by search ontology-based XPath engineering. J. Biomed. Semant. Stefan Kropf, Alexandr Uciteli, Katrin Schierle, Peter Krücken, Kerstin Denecke, Heinrich Herre
2017	—	`conf`	Expert2OWL: A Methodology for Pattern-Based Ontology Development. GMDS Kais Tahar, Jie Xu, Heinrich Herre
2017	—	`conf`	Light-Weighted Automatic Import of Standardized Ontologies into the Content Management System Drupal. GMDS Christoph Beger, Alexandr Uciteli, Heinrich Herre
2017	—	`conf`	Ontological Modelling of Situational Awareness in Surgical Interventions. JOWO Sebastian Siemoleit, Alexandr Uciteli, Richard Bieck, Heinrich Herre
2017	J	`jnl`	Ontology-based specification, identification and analysis of perioperative risks. J. Biomed. Semant. 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
2017	C	`conf`	Outline of the construction and application of a GFO-based TCM diagnoses ontology for syndrome differentiation of psoriasis vulgaris. Healthcom Hai Long, Yan Zhu, Lirong Jia, Junhui Wang, Heinrich Herre
2017	—	`conf`	Processual Reasoning over Sequences of Situations in Endoscopic Surgery. GMDS Sebastian Siemoleit, Alexandr Uciteli, Richard Bieck, Heinrich Herre
2017	—	`conf`	Search Ontology Generator (SONG): Ontology-Based Specification and Generation of Search Queries. JOWO 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
2017	J	`jnl`	Towards refactoring the Molecular Function Ontology with a UML profile for function modeling. J. Biomed. Semant. Patryk Burek, Frank Loebe, Heinrich Herre
2017	—	`conf`	Using Fast Healthcare Interoperability Resources (FHIR) for the Integration of Risk Minimization Systems in Hospitals. MedInfo 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
2016	—	`conf`	A Whiteheadian approach to data and knowledge. ODLS Sebastian Siemoleit, Heinrich Herre
2016	—	`conf`	An Approach to Support Collaborative Ontology Construction. MIE Kais Tahar, Michael Schaaf, Franziska Jahn, Christian Kücherer, Barbara Paech, Heinrich Herre, Alfred Winter
2016	J	`jnl`	FueL: Representing function structure and function dependencies with a UML profile for function modeling. Appl. Ontology Patryk Burek, Frank Loebe, Heinrich Herre
2016	—	`ed.`	Proceedings of the 7th Workshop on Ontologies and Data in Life Sciences, ODLS 2016, organized by the GI Workgroup Ontologies in Biomedicine and Life Sciences (OBML), Halle (Saale), Germany, September 29-30, 2016. ODLS Frank Loebe, Martin Boeker, Heinrich Herre, Ludger Jansen, Daniel Schober
2016	—	`conf`	Querying standardized EHRs by a Search Ontology XML extension (SOX). ODLS Stefan Kropf, Alexandr Uciteli, Peter Krücken, Kerstin Denecke, Heinrich Herre
2016	—	`conf`	Risk Identification Ontology (RIO): An ontology for specification and identification of perioperative risks. ODLS 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
2016	C	`conf`	Towards an Ontology of Space for GFO. FOIS Ringo Baumann, Frank Loebe, Heinrich Herre
2015	—	`conf`	A UML profile for functional modeling applied to the Molecular Function Ontology. ICBO Patryk Burek, Frank Loebe, Heinrich Herre
2015	J	`jnl`	OntoStudyEdit: a new approach for ontology-based representation and management of metadata in clinical and epidemiological research. J. Biomed. Semant. Alexandr Uciteli, Heinrich Herre
2014	J	`jnl`	Axiomatic theories of the ontology of time in GFO. Appl. Ontology Ringo Baumann, Frank Loebe, Heinrich Herre
2014	—	`conf`	Search Ontology, a new approach towards Semantic Search. GI-Jahrestagung Alexandr Uciteli, Christoph Goller, Patryk Burek, Sebastian Siemoleit, Breno Faria, Halyna Galanzina, Timo Weiland, Doreen Drechsler-Hake, Wolfram Bartussek, Heinrich Herre
2013	—	`conf`	Assisting the Machine Paradigms for Human-Machine Interaction in Single Cell Tracking. Bildverarbeitung für die Medizin Nico Scherf, Michael Kunze, Konstantin Thierbach, Thomas Zerjatke, Patryk Burek, Heinrich Herre, Ingmar Glauche, Ingo Roeder
2013	J	`jnl`	Persistence, Change, and the Integration of Objects and Processes in the Framework of the General Formal Ontology. CoRR Heinrich Herre
2013	—	`conf`	Representation, Realization, and Ascription of Functions for Material Entities. GI-Jahrestagung Patryk Burek, Heinrich Herre
2012	C	`conf`	Ontology of Time in GFO. FOIS Ringo Baumann, Frank Loebe, Heinrich Herre
2012	J	`jnl`	Semantic integration of physiology phenotypes with an application to the Cellular Phenotype Ontology. Bioinform. Robert Hoehndorf, Midori A. Harris, Heinrich Herre, Gabriella Rustici, Georgios V. Gkoutos
2012	J	`jnl`	Towards improving phenotype representation in OWL. J. Biomed. Semant. Frank Loebe, Frank Stumpf, Robert Hoehndorf, Heinrich Herre
2011	J	`jnl`	An ontologically founded architecture for information systems in clinical and epidemiological research. J. Biomed. Semant. Alexandr Uciteli, Silvia Groß, Sergej Kireyev, Heinrich Herre
2011	J	`jnl`	Modeling surgical processes: A four-level translational approach. Artif. Intell. Medicine Dayana Neumuth, Frank Loebe, Heinrich Herre, Thomas Neumuth
2011	J	`jnl`	OBML - Ontologies in Biomedicine and Life Sciences. J. Biomed. Semant. Heinrich Herre, Robert Hoehndorf, Janet Kelso, Frank Loebe, Stefan Schulz
2011	J	`jnl`	The Axiomatic Foundation of Space in GFO CoRR Ringo Baumann, Heinrich Herre
2010	J	`jnl`	Management of evolving semantic grid metadata within a collaborative platform. Inf. Sci. Michael Hartung, Frank Loebe, Heinrich Herre, Erhard Rahm
2010	—	`conf`	Relational Patterns in OWL and Their Application to OBO. OWLED Robert Hoehndorf, Anika Oellrich, Michel Dumontier, Heinrich Herre, Dietrich Rebholz-Schuhmann
2010	J	`jnl`	Relations as patterns: bridging the gap between OBO and OWL. BMC Bioinform. Robert Hoehndorf, Anika Oellrich, Michel Dumontier, Janet Kelso, Dietrich Rebholz-Schuhmann, Heinrich Herre
2009	J	`jnl`	BOWiki: an ontology-based wiki for annotation of data and integration of knowledge in biology. BMC Bioinform. Robert Hoehndorf, Joshua Bacher, Michael Backhaus, Sergio E. Gregorio Jr., Frank Loebe, Kay Prüfer, Alexandr Uciteli, Johann Visagie, Heinrich Herre, Janet Kelso
2009	C	`conf`	Developing Consistent and Modular Software Models with Ontologies. SoMeT Robert Hoehndorf, Axel-Cyrille Ngonga Ngomo, Heinrich Herre
2009	—	`conf`	Foundations of a Metadata Repository for Databases of Registers and Trials. MIE Jürgen Stausberg, Matthias Löbe, Philippe Verplancke, Johannes Drepper, Heinrich Herre, Markus Löffler
2009	C	`conf`	Ontological Analysis of Functional Decomposition. SoMeT Patryk Burek, Heinrich Herre, Frank Loebe
2009	J	`jnl`	The ontology of biological sequences. BMC Bioinform. Robert Hoehndorf, Janet Kelso, Heinrich Herre
2008	Misc	`conf`	A Platform for Collaborative Management of Semantic Grid Metadata. IDC Michael Hartung, Frank Loebe, Heinrich Herre, Erhard Rahm
2008	C	`conf`	Formal Semantics and Ontologies - Towards an Ontological Account of Formal Semantics. FOIS Frank Loebe, Heinrich Herre
2008	J	`jnl`	GFO-Bio: A biological core ontology. Appl. Ontology Robert Hoehndorf, Frank Loebe, Roberto Poli, Heinrich Herre, Janet Kelso
2007	—	`conf`	BOWiki - a Collaborative Annotation and Ontology Curation Framework. CKC Michael Backhaus, Janet Kelso, Joshua Bacher, Heinrich Herre, Robert Hoehndorf, Frank Loebe, Johann Visagie
2007	J	`jnl`	Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies. BMC Bioinform. Robert Hoehndorf, Frank Loebe, Janet Kelso, Heinrich Herre
2006	—	`conf`	A Proposal for a Gene Functions Wiki. OTM Workshops (1) Robert Hoehndorf, Kay Prüfer, Michael Backhaus, Heinrich Herre, Janet Kelso, Frank Loebe, Johann Visagie
2006	—	`conf`	A Versioning and Evolution Framework for RDF Knowledge Bases. Ershov Memorial Conference Sören Auer, Heinrich Herre
2006	—	`conf`	A top-level ontology of functions and its application in the Open Biomedical Ontologies. ISMB (Supplement of Bioinformatics) Patryk Burek, Robert Hoehndorf, Frank Loebe, Johann Visagie, Heinrich Herre, Janet Kelso
2006	—	`conf`	RapidOWL - An Agile Knowledge Engineering Methodology. Ershov Memorial Conference Sören Auer, Heinrich Herre
2006	J	`jnl`	Semantic foundations of medical information systems based on top-level ontologies. Knowl. Based Syst. Heinrich Herre, Barbara Heller
2005	—	`conf`	A Meta-ontological Architecture for Foundational Ontologies. OTM Conferences (2) Heinrich Herre, Frank Loebe
2005	B	`conf`	Ontology of Time and Situoids in Medical Conceptual Modeling. AIME Heinrich Herre, Barbara Heller
2004	—	`conf`	Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework. DILS Barbara Heller, Heinrich Herre, Kristin Lippoldt
2004	B	`conf`	On the Foundations of UML as an Ontology Representation Language. EKAW Giancarlo Guizzardi, Gerd Wagner, Heinrich Herre
2004	—	`conf`	Standardized Terminology for Clinical Trial Protocols Based on Top-Level Ontological Categories. CGP Barbara Heller, Heinrich Herre, Kristin Lippoldt, Markus Löffler
2004	B	`conf`	The Theory of Top-Level Ontological Mappings and Its Application to Clinical Trial Protocols. EKAW Barbara Heller, Heinrich Herre, Kristin Lippoldt
2002	A	`conf`	On the General Ontological Foundations of Conceptual Modeling. ER Giancarlo Guizzardi, Heinrich Herre, Gerd Wagner
2002	—	`conf`	Towards Ontological Foundations for UML Conceptual Models. OTM Giancarlo Guizzardi, Heinrich Herre, Gerd Wagner
2001	C	`conf`	GOL: toward an axiomatized upper-level ontology. FOIS Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith
2000	—	`conf`	Partial Models of Extended Generalized Logic Programs. Computational Logic José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira
1999	J	`jnl`	Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. J. Log. Program. Joeri Engelfriet, Heinrich Herre
1998	J	`jnl`	Nonmonotonic Reasoning with Multiple Belief Sets. Ann. Math. Artif. Intell. Joeri Engelfriet, Heinrich Herre, Jan Treur
1997	—	`conf`	Generated Preferred Models and Extensions of Nonmonotonic Systems. ILPS Joeri Engelfriet, Heinrich Herre
1997	J	`jnl`	Stable Models Are Generated by a Stabel Chain. J. Log. Program. Heinrich Herre, Gerd Wagner
1996	—	`ed.`	Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings ELP Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
1996	—	`conf`	Nonmonotonic Reasoning with Multiple Belief Sets. FAPR Joeri Engelfriet, Heinrich Herre, Jan Treur
1996	—	`conf`	Stable Semantics of Temporal Deductive Databases. DDLP Heinrich Herre, Gerd Wagner
1995	J	`jnl`	Generalized Compactness of Nonmonotonic Inference Operations. J. Appl. Non Class. Logics Heinrich Herre
1995	C	`conf`	Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). ECSQARU Joeri Engelfriet, Heinrich Herre, Jan Treur
1994	B	`conf`	Compactness Properties of Nonmonotonic Inference Operations. JELIA Heinrich Herre
1993	—	`conf`	Semantical Completeness of Model-Based Diagnosis. EUROVAV Heinrich Herre
1992	B	`conf`	Disjunctive Logic Programming, Constructivity and Strong Negation. JELIA Heinrich Herre, David Pearce
1991	—	`conf`	Non-Monotonic Reasoning For Clause Logic Programming In A General Setting. GWAI Heinrich Herre
1991	J	`jnl`	The Härtig Quantifier: A Survey. J. Symb. Log. Heinrich Herre, Michal Krynicki, Alexander G. Pinus, Jouko A. Väänänen
1990	—	`conf`	Nonmonotonic Reasoning and Logic Programs. Nonmonotonic and Inductive Logic Heinrich Herre
1990	—	`conf`	Semantics of Nonmonotonic Reasoning in Logic Programming. Nonclassical Logics and Information Processing Heinrich Herre
1981	J	`jnl`	Untersuchungen zur Theorie der linearen Ordnung in Logiken mit MäChtigkeitsquantoren. Math. Log. Q. Heinrich Herre, Helmut Wolter
1980	J	`jnl`	Modelltheoretische Eigenschaften Endlichvalenter Graphen. Math. Log. Q. Heinrich Herre
1979	J	`jnl`	Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor. Math. Log. Q. Heinrich Herre, Helmut Wolter
1978	J	`jnl`	Entscheidbarkeit der Theorie der Linearen Ordnung in L. Math. Log. Q. Heinrich Herre, Helmut Wolter
1978	J	`jnl`	Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren. Math. Log. Q. Heinrich Herre, Alexander G. Pinus
1977	J	`jnl`	Entscheidbarkeit Der Theorie Der Linearen Ordnung In L. Math. Log. Q. Heinrich Herre, Helmut Wolter
1975	J	`jnl`	Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren. Math. Log. Q. Heinrich Herre, Helmut Wolter