Heinrich Herre

Proceedings of the Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 2023

2022

Ontology-based surgical workflow recognition and prediction.

[BibT_eX]

[DOI]

J. Biomed. Informatics, 2022

GFO: The General Formal Ontology.

[BibT_eX]

[DOI]

Appl. Ontology, 2022

2021

Ontology Design Patterns for Representing Context in Ontologies Using Aspect Orientation.

[BibT_eX]

[DOI]

Ralph Schäfermeier

Adrian Paschke

Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021

Overview of GFO 2.0 Functions: An ontology module for representing teleological knowledge.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

Developing GFO 2.0 Further - Initiating the Modules of Space and Material Objects.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), 2021

2020

Ontological representation, classification and data-driven computing of phenotypes.

[BibT_eX]

[DOI]

J. Biomed. Semant., 2020

A Lightweight Approach to the Multi-perspective Modeling of Processes and Objects.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

On the Ontological Foundations of Cellular Development.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), 2020

Ontological Modelling and Execution of Phenotypic Queries in the Leipzig Health Atlas.

[BibT_eX]

[DOI]

Proceedings of the German Medical Data Sciences: Bringing Data to Life - Proceedings of the Joint Annual Meeting of the German Association of Medical Informatics, Biometry and Epidemiology (gmds e.V.) and the Central European Network, 2020

Towards GFO 2.0: Architecture, Modules and Applications.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2020

On the Formal Representation and Annotation of Cellular Genealogies.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2020

2019

An ontological framework for the formalization, organization and usage of TCM-Knowledge.

[BibT_eX]

[DOI]

BMC Medical Informatics Decis. Mak., 2019

Ontology-based specification and generation of search queries for post-market surveillance.

[BibT_eX]

[DOI]

J. Biomed. Semant., 2019

Ontology patterns for the representation of quality changes of cells in time.

[BibT_eX]

[DOI]

J. Biomed. Semant., 2019

A pattern-based approach to a cell tracking ontology.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Ontological Modelling and Reasoning of Phenotypes.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Foundations of the Cell Tracking Ontology.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Properties Defined on the Basis of Coincidence in GFO-Space.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Spreadsheet Model Generator (SMOG): A Lightweight Tool for Object-Spreadsheet Mapping.

[BibT_eX]

[DOI]

Proceedings of the German Medical Data Sciences: Shaping Change - Creative Solutions for Innovative Medicine - Proceedings of the 64th Annual Meeting of the German Association of Medical Informatics, Biometry and Epidemiology (gmds e.V.) 2019 in Dortmund, Germany, 2019

Towards a New Foundational Ontology of Properties, Attributives and Data.

[BibT_eX]

[DOI]

Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

2018

Querying archetype-based EHRs by search ontology-based XPath engineering.

[BibT_eX]

[DOI]

J. Biomed. Semant., 2018

Ontology-Guided Markerless Navigation and Situational Awareness for Endoscopic Surgery.

[BibT_eX]

[DOI]

Proceedings of the German Medical Data Sciences: A Learning Healthcare System, 2018

Ontology-Based Modelling of Web Content: Example Leipzig Health Atlas.

[BibT_eX]

[DOI]

Proceedings of the Semantic Applications, Methodology, Technology, Corporate Use., 2018

2017

Ontology-based specification, identification and analysis of perioperative risks.

[BibT_eX]

[DOI]

Sebastian Faulbrück-Röhr

J. Biomed. Semant., 2017

Towards refactoring the Molecular Function Ontology with a UML profile for function modeling.

[BibT_eX]

[DOI]

J. Biomed. Semant., 2017

Using Fast Healthcare Interoperability Resources (FHIR) for the Integration of Risk Minimization Systems in Hospitals.

[BibT_eX]

[DOI]

Kutaiba Saleh

Stephan Stucke

Alexandr Uciteli

Sebastian Faulbrück-Röhr

Proceedings of the MEDINFO 2017: Precision Healthcare through Informatics, 2017

Search Ontology Generator (SONG): Ontology-Based Specification and Generation of Search Queries.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Ontological Modelling of Situational Awareness in Surgical Interventions.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Outline of the construction and application of a GFO-based TCM diagnoses ontology for syndrome differentiation of psoriasis vulgaris.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on e-Health Networking, 2017

Expert2OWL: A Methodology for Pattern-Based Ontology Development.

[BibT_eX]

[DOI]

Kais Tahar

Jie Xu

Proceedings of the German Medical Data Sciences: Visions and Bridges, 2017

Processual Reasoning over Sequences of Situations in Endoscopic Surgery.

[BibT_eX]

[DOI]

Proceedings of the German Medical Data Sciences: Visions and Bridges, 2017

Light-Weighted Automatic Import of Standardized Ontologies into the Content Management System Drupal.

[BibT_eX]

[DOI]

Christoph Beger

Alexandr Uciteli

Proceedings of the German Medical Data Sciences: Visions and Bridges, 2017

2016

FueL: Representing function structure and function dependencies with a UML profile for function modeling.

[BibT_eX]

[DOI]

Appl. Ontology, 2016

Risk Identification Ontology (RIO): An ontology for specification and identification of perioperative risks.

[BibT_eX]

[DOI]

Sebastian Faulbrück-Röhr

Proceedings of the 7th Workshop on Ontologies and Data in Life Sciences, 2016

A Whiteheadian approach to data and knowledge.

[BibT_eX]

[DOI]

Sebastian Siemoleit

Proceedings of the 7th Workshop on Ontologies and Data in Life Sciences, 2016

Querying standardized EHRs by a Search Ontology XML extension (SOX).

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Ontologies and Data in Life Sciences, 2016

An Approach to Support Collaborative Ontology Construction.

[BibT_eX]

[DOI]

Proceedings of the Exploring Complexity in Health: An Interdisciplinary Systems Approach - Proceedings of MIE2016 at HEC2016, Munich, Germany, 28 August, 2016

Towards an Ontology of Space for GFO.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2016

2015

OntoStudyEdit: a new approach for ontology-based representation and management of metadata in clinical and epidemiological research.

[BibT_eX]

[DOI]

Alexandr Uciteli

J. Biomed. Semant., 2015

A UML profile for functional modeling applied to the Molecular Function Ontology.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Biomedical Ontology, 2015

2014

Axiomatic theories of the ontology of time in GFO.

[BibT_eX]

[DOI]

Appl. Ontology, 2014

Search Ontology, a new approach towards Semantic Search.

[BibT_eX]

[DOI]

Doreen Drechsler-Hake

Wolfram Bartussek

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

2013

Persistence, Change, and the Integration of Objects and Processes in the Framework of the General Formal Ontology.

[BibT_eX]

[DOI]

CoRR, 2013

Representation, Realization, and Ascription of Functions for Material Entities.

[BibT_eX]

[DOI]

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

Assisting the Machine Paradigms for Human-Machine Interaction in Single Cell Tracking.

[BibT_eX]

[DOI]

Proceedings of the Bildverarbeitung für die Medizin 2013 - Algorithmen - Systeme, 2013

2012

Towards improving phenotype representation in OWL.

[BibT_eX]

[DOI]

J. Biomed. Semant., 2012

Semantic integration of physiology phenotypes with an application to the Cellular Phenotype Ontology.

[BibT_eX]

[DOI]

Bioinform., 2012

Ontology of Time in GFO.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2012

2011

The Axiomatic Foundation of Space in GFO

[BibT_eX]

[DOI]

Dietrich Rebholz-Schuhmann

CoRR, 2011

An ontologically founded architecture for information systems in clinical and epidemiological research.

[BibT_eX]

[DOI]

J. Biomed. Semant., 2011

OBML - Ontologies in Biomedicine and Life Sciences.

[BibT_eX]

[DOI]

J. Biomed. Semant., 2011

Modeling surgical processes: A four-level translational approach.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 2011

2010

Management of evolving semantic grid metadata within a collaborative platform.

[BibT_eX]

[DOI]

Inf. Sci., 2010

Relations as patterns: bridging the gap between OBO and OWL.

[BibT_eX]

[DOI]

Dietrich Rebholz-Schuhmann

BMC Bioinform., 2010

Relational Patterns in OWL and Their Application to OBO.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010), 2010

2009

The ontology of biological sequences.

[BibT_eX]

[DOI]

Robert Hoehndorf

Janet Kelso

Axel-Cyrille Ngonga Ngomo

BMC Bioinform., 2009

BOWiki: an ontology-based wiki for annotation of data and integration of knowledge in biology.

[BibT_eX]

[DOI]

Robert Hoehndorf

Joshua Bacher

Michael Backhaus

Sergio E. Gregorio Jr.

BMC Bioinform., 2009

Developing Consistent and Modular Software Models with Ontologies.

[BibT_eX]

[DOI]

Robert Hoehndorf

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

Ontological Analysis of Functional Decomposition.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

Foundations of a Metadata Repository for Databases of Registers and Trials.

[BibT_eX]

[DOI]

Proceedings of the Medical Informatics in a United and Healthy Europe - Proceedings of MIE 2009, The XXIInd International Congress of the European Federation for Medical Informatics, Sarajevo, Bosnia and Herzegovina, August 30, 2009

2008

GFO-Bio: A biological core ontology.

[BibT_eX]

[DOI]

Appl. Ontology, 2008

A Platform for Collaborative Management of Semantic Grid Metadata.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing, Systems and Applications, Proceedings of the 2nd International Symposium on Intelligent Distributed Computing, 2008

Formal Semantics and Ontologies - Towards an Ontological Account of Formal Semantics.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2008

2007

Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies.

[BibT_eX]

[DOI]

BMC Bioinform., 2007

BOWiki - a Collaborative Annotation and Ontology Curation Framework.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Social and Collaborative Construction of Structured Knowledge (CKC 2007) at the 16th International World Wide Web Conference (WWW2007) Banff, 2007

2006

Semantic foundations of medical information systems based on top-level ontologies.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2006

A Proposal for a Gene Functions Wiki.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

A top-level ontology of functions and its application in the Open Biomedical Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 14th International Conference on Intelligent Systems for Molecular Biology 2006, 2006

RapidOWL - An Agile Knowledge Engineering Methodology.

[BibT_eX]

[DOI]

Sören Auer

Proceedings of the Perspectives of Systems Informatics, 2006

A Versioning and Evolution Framework for RDF Knowledge Bases.

[BibT_eX]

[DOI]

Sören Auer

Proceedings of the Perspectives of Systems Informatics, 2006

2005

A Meta-ontological Architecture for Foundational Ontologies.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Ontology of Time and Situoids in Medical Conceptual Modeling.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Medicine, 2005

2004

The Theory of Top-Level Ontological Mappings and Its Application to Clinical Trial Protocols.

[BibT_eX]

[DOI]

Kristin Lippoldt

Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

On the Foundations of UML as an Ontology Representation Language.

[BibT_eX]

[DOI]

Giancarlo Guizzardi

Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework.

[BibT_eX]

[DOI]

Kristin Lippoldt

Proceedings of the Data Integration in the Life Sciences, First International Workshop, 2004

Standardized Terminology for Clinical Trial Protocols Based on Top-Level Ontological Categories.

[BibT_eX]

[DOI]

Proceedings of the Computer-based Support for Clinical Guidelines and Protocols, 2004

2002

On the General Ontological Foundations of Conceptual Modeling.

[BibT_eX]

[DOI]

Giancarlo Guizzardi

Proceedings of the Conceptual Modeling, 2002

Towards Ontological Foundations for UML Conceptual Models.

[BibT_eX]

[DOI]

Giancarlo Guizzardi

Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002

2001

GOL: toward an axiomatized upper-level ontology.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2001

2000

Partial Models of Extended Generalized Logic Programs.

[BibT_eX]

[DOI]

José Júlio Alferes

Luís Moniz Pereira

Proceedings of the Computational Logic, 2000

1999

Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults.

[BibT_eX]

[DOI]

J. Log. Program., 1999

1998

Nonmonotonic Reasoning with Multiple Belief Sets.

[BibT_eX]

[DOI]

Jan Treur

Ann. Math. Artif. Intell., 1998

1997

Stable Models Are Generated by a Stabel Chain.

[BibT_eX]

[DOI]

J. Log. Program., 1997

Generated Preferred Models and Extensions of Nonmonotonic Systems.

[BibT_eX]

Proceedings of the Logic Programming, 1997

1996

Stable Semantics of Temporal Deductive Databases.

[BibT_eX]

Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 1996

1995

Generalized Compactness of Nonmonotonic Inference Operations.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1995

Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract).

[BibT_eX]

[DOI]

Jan Treur

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994

Compactness Properties of Nonmonotonic Inference Operations.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

1993

Semantical Completeness of Model-Based Diagnosis.

[BibT_eX]

Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, 1993

1992

Disjunctive Logic Programming, Constructivity and Strong Negation.

[BibT_eX]

[DOI]

David Pearce

Proceedings of the Logics in AI, European Workshop, 1992

1991

The Härtig Quantifier: A Survey.

[BibT_eX]

[DOI]

J. Symb. Log., 1991

Non-Monotonic Reasoning For Clause Logic Programming In A General Setting.

[BibT_eX]

[DOI]

Proceedings of the GWAI-91, 1991

1990

Nonmonotonic Reasoning and Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Nonmonotonic and Inductive Logic, 1990

Semantics of Nonmonotonic Reasoning in Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Nonclassical Logics and Information Processing, 1990

1981

Untersuchungen zur Theorie der linearen Ordnung in Logiken mit MäChtigkeitsquantoren.

[BibT_eX]

[DOI]

Math. Log. Q., 1981

1980

Modelltheoretische Eigenschaften Endlichvalenter Graphen.

[BibT_eX]

[DOI]

Math. Log. Q., 1980

1979

Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor.

[BibT_eX]

[DOI]

Math. Log. Q., 1979

1978

Entscheidbarkeit der Theorie der Linearen Ordnung in L.

[BibT_eX]

[DOI]

Math. Log. Q., 1978

Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren.

[BibT_eX]

[DOI]

Alexander G. Pinus

Math. Log. Q., 1978

1975

Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren.

[BibT_eX]

[DOI]