A paraconsistent semantics for generalized logic programs

by Herre, Heinrich, Hummel, Axel
Published 2010

Stationary generated models of generalized logic programs

by Herre, Heinrich, Hummel, Axel
Published 2010

OntoStudyEdit

by Uciteli, Alexandr, Herre, Heinrich
Published 2016

Solving Practical Reasoning Poblems with Extended Disjunctive Logic Programming

by Herre, Heinrich, Wagner, Gerd
Published 1996

The ontology of biological sequences

by Kelso Janet, Hoehndorf Robert, Herre Heinrich
Published 2009-11-01

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

by Loebe Frank, Hoehndorf Robert, Kelso Janet, Herre Heinrich
Published 2007-10-01

Using formal ontology for the representation of morphological properties of anatomical structures in endoscopic surgery

by Schäfermeier Ralph, Uciteli Alexandr, Kropf Stefan, Herre Heinrich
Published 2020-09-01

Relations as patterns: bridging the gap between OBO and OWL

by Hoehndorf Robert, Oellrich Anika, Dumontier Michel, Kelso Janet, Rebholz-Schuhmann Dietrich, Herre Heinrich
Published 2010-08-01

Ontological modelling and FHIR Search based representation of basic eligibility criteria

by Uciteli, Alexandr, Beger, Christoph, Wagner, Jonas, Kirsten, Toralf, Meineke, Frank A., Stäubert, Sebastian, Löbe, Matthias, Herre, Heinrich
Published 2021-04-01

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

by Gregorio Sergio E, Backhaus Michael, Bacher Joshua, Hoehndorf Robert, Loebe Frank, Prüfer Kay, Uciteli Alexandr, Visagie Johann, Herre Heinrich, Kelso Janet
Published 2009-05-01