Heinrich Herre

According to our database1, Heinrich Herre authored at least 82 papers between 1975 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
An ontological framework for the formalization, organization and usage of TCM-Knowledge.
BMC Med. Inf. & Decision Making, 2019

Ontology-based specification and generation of search queries for post-market surveillance.
J. Biomedical Semantics, 2019

Towards a New Foundational Ontology of Properties, Attributives and Data.
Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

2018
Querying archetype-based EHRs by search ontology-based XPath engineering.
J. Biomedical Semantics, 2018

Ontology-Guided Markerless Navigation and Situational Awareness for Endoscopic Surgery.
Proceedings of the German Medical Data Sciences: A Learning Healthcare System, 2018

Ontology-Based Modelling of Web Content: Example Leipzig Health Atlas.
Proceedings of the Semantic Applications, Methodology, Technology, Corporate Use., 2018

2017
Ontology-based specification, identification and analysis of perioperative risks.
J. Biomedical Semantics, 2017

Towards refactoring the Molecular Function Ontology with a UML profile for function modeling.
J. Biomedical Semantics, 2017

Using Fast Healthcare Interoperability Resources (FHIR) for the Integration of Risk Minimization Systems in Hospitals.
Proceedings of the MEDINFO 2017: Precision Healthcare through Informatics, 2017

Search Ontology Generator (SONG): Ontology-Based Specification and Generation of Search Queries.
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Ontological Modelling of Situational Awareness in Surgical Interventions.
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.
Proceedings of the 19th IEEE International Conference on e-Health Networking, 2017

Expert2OWL: A Methodology for Pattern-Based Ontology Development.
Proceedings of the German Medical Data Sciences: Visions and Bridges, 2017

Processual Reasoning over Sequences of Situations in Endoscopic Surgery.
Proceedings of the German Medical Data Sciences: Visions and Bridges, 2017

Light-Weighted Automatic Import of Standardized Ontologies into the Content Management System Drupal.
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.
Applied Ontology, 2016

Risk Identification Ontology (RIO): An ontology for specification and identification of perioperative risks.
Proceedings of the 7th Workshop on Ontologies and Data in Life Sciences, 2016

A Whiteheadian approach to data and knowledge.
Proceedings of the 7th Workshop on Ontologies and Data in Life Sciences, 2016

Querying standardized EHRs by a Search Ontology XML extension (SOX).
Proceedings of the 7th Workshop on Ontologies and Data in Life Sciences, 2016

An Approach to Support Collaborative Ontology Construction.
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.
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.
J. Biomedical Semantics, 2015

A UML profile for functional modeling applied to the Molecular Function Ontology.
Proceedings of the International Conference on Biomedical Ontology, 2015

2014
Axiomatic theories of the ontology of time in GFO.
Applied Ontology, 2014

Search Ontology, a new approach towards Semantic Search.
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Informatik 2014, Big Data, 2014

2013
Representation, Realization, and Ascription of Functions for Material Entities.
Proceedings of the Informatik 2013, 2013

Assisting the Machine Paradigms for Human-Machine Interaction in Single Cell Tracking.
Proceedings of the Bildverarbeitung für die Medizin 2013 - Algorithmen - Systeme, 2013

2012
Towards improving phenotype representation in OWL.
J. Biomedical Semantics, 2012

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

Ontology of Time in GFO.
Proceedings of the Formal Ontology in Information Systems, 2012

2011
An ontologically founded architecture for information systems in clinical and epidemiological research.
J. Biomedical Semantics, 2011

OBML - Ontologies in Biomedicine and Life Sciences.
J. Biomedical Semantics, 2011

Modeling surgical processes: A four-level translational approach.
Artificial Intelligence in Medicine, 2011

2010
Management of evolving semantic grid metadata within a collaborative platform.
Inf. Sci., 2010

Relations as patterns: bridging the gap between OBO and OWL.
BMC Bioinformatics, 2010

Relational Patterns in OWL and Their Application to OBO.
Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010), 2010

2009
The ontology of biological sequences.
BMC Bioinformatics, 2009

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

Developing Consistent and Modular Software Models with Ontologies.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

Ontological Analysis of Functional Decomposition.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

Foundations of a Metadata Repository for Databases of Registers and Trials.
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.
Applied Ontology, 2008

A Platform for Collaborative Management of Semantic Grid Metadata.
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.
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.
BMC Bioinformatics, 2007

BOWiki - a Collaborative Annotation and Ontology Curation Framework.
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.
Knowl.-Based Syst., 2006

A Proposal for a Gene Functions Wiki.
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.
Proceedings of the Proceedings 14th International Conference on Intelligent Systems for Molecular Biology 2006, 2006

RapidOWL - An Agile Knowledge Engineering Methodology.
Proceedings of the Perspectives of Systems Informatics, 2006

A Versioning and Evolution Framework for RDF Knowledge Bases.
Proceedings of the Perspectives of Systems Informatics, 2006

2005
A Meta-ontological Architecture for Foundational Ontologies.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Ontology of Time and Situoids in Medical Conceptual Modeling.
Proceedings of the Artificial Intelligence in Medicine, 2005

2004
The Theory of Top-Level Ontological Mappings and Its Application to Clinical Trial Protocols.
Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

On the Foundations of UML as an Ontology Representation Language.
Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework.
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.
Proceedings of the Computer-based Support for Clinical Guidelines and Protocols, 2004

2002
On the General Ontological Foundations of Conceptual Modeling.
Proceedings of the Conceptual Modeling, 2002

Towards Ontological Foundations for UML Conceptual Models.
Proceedings of the On the Move to Meaningful Internet Systems, 2002, 2002

2001
GOL: toward an axiomatized upper-level ontology.
Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2001

2000
Partial Models of Extended Generalized Logic Programs.
Proceedings of the Computational Logic, 2000

1999
Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults.
J. Log. Program., 1999

1997
Stable Models Are Generated by a Stabel Chain.
J. Log. Program., 1997

Generated Preferred Models and Extensions of Nonmonotonic Systems.
Proceedings of the Logic Programming, 1997

1996
Nonmonotonic Reasoning with Multiple Belief Sets.
Proceedings of the Practical Reasoning, 1996

Stable Semantics of Temporal Deductive Databases.
Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 1996

1995
Generalized Compactness of Nonmonotonic Inference Operations.
Journal of Applied Non-Classical Logics, 1995

Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract).
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994
Compactness Properties of Nonmonotonic Inference Operations.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

1993
Semantical Completeness of Model-Based Diagnosis.
Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, 1993

1992
Disjunctive Logic Programming, Constructivity and Strong Negation.
Proceedings of the Logics in AI, European Workshop, 1992

1991
The Härtig Quantifier: A Survey.
J. Symb. Log., 1991

Non-Monotonic Reasoning For Clause Logic Programming In A General Setting.
Proceedings of the GWAI-91, 1991

1990
Nonmonotonic Reasoning and Logic Programs.
Proceedings of the Nonmonotonic and Inductive Logic, 1990

Semantics of Nonmonotonic Reasoning in Logic Programming.
Proceedings of the Nonclassical Logics and Information Processing, 1990

1981
Untersuchungen zur Theorie der linearen Ordnung in Logiken mit MäChtigkeitsquantoren.
Math. Log. Q., 1981

1980
Modelltheoretische Eigenschaften Endlichvalenter Graphen.
Math. Log. Q., 1980

1979
Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor.
Math. Log. Q., 1979

1978
Entscheidbarkeit der Theorie der Linearen Ordnung in L.
Math. Log. Q., 1978

Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren.
Math. Log. Q., 1978

1977
Entscheidbarkeit Der Theorie Der Linearen Ordnung In L.
Math. Log. Q., 1977

1975
Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren.
Math. Log. Q., 1975


  Loading...