1
0
0
News
General formal ontology | Semantic Scholarwww.semanticscholar.org › topic › General-formal-ontology
www.semanticscholar.org
The general formal ontology (GFO) is an upper ontology integrating processes and objects. GFO has been developed by Heinrich Herre, Barbara Heller and ...
myheimat.de: Bild 2 aus Beitrag: Schützenverein Döteberg v e.V. "Kleiner...
Gründungsmitglieder von v.l. Heinrich Herre,Paul Schmidt,August Wilkening,Wilhelm Röhrbein,Wilhelm Blanke - Lutz Pinkerneil - Bild 2 aus Beitrag:...
Committees
kmi.open.ac.uk
The Theory of Top-Level Ontological Mappings and its Application to Clinical Trial Protocols. Heinrich Herre, Barbara Heller, Kristin Lippoldt
CFP: Workshop of Ontologies and Data in Life Sciences ...
philevents.org
Heinrich Herre, University of Leipzig (speaker of OBML) Frank Loebe, University of Leipzig ODLS is associated with the group Ontologies in Medicine and
Telephone & Addresses
11880.com: com - Heinrich Herre in Einbeck, Kamenz, Tapfheim ...
Aktuelle Telefonnummer und Adresse von Heinrich Herre in Einbeck, Kamenz, Tapfheim, Berlin, Roetgen, Eifel, Krefeld, Köln und vielen weiteren Orten in Deutschland
Heinrich Herre in Einbeck-Hullersen im Das Telefonbuch >> Jetzt...
www.dastelefonbuch.de
Heinrich Herre in Einbeck-Hullersen mit ✉ Adresse ☎ Tel. und mehr bei ☎ Das Telefonbuch ✓ Ihre Nr. 1 für Adressen und Telefonnummern
Network Profiles
LinkedIn: Heinrich Herre | LinkedIn
View Heinrich Herre’s professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Heinrich Herre discover inside ...
LinkedIn: Heinrich Herre – Professor – Leipzig University | LinkedIn
Sehen Sie sich das Profil von Heinrich Herre auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 1 Job ist im Profil von Heinrich Herre aufgelistet.
Heinrich Herre | Papers With Codepaperswithcode.com › author › heinrich-herre
paperswithcode.com
no code implementations • 7 Nov • Heinrich Herre. These problems include persistence and change, the integration of objects and processes, ...
Interests
Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen, The...
philpapers.org
A fundamental notion in a large part of mathematics is the notion of equicardinality. The language with Hartig quantifier is, roughly speaking, a first-order...
Works by Heinrich Herre - PhilPapers
philpapers.org
Online research in philosophy Entries: 509,292 New this week: 542: General search Category finder . advanced search | help
Sebastian Siemoleit & Heinrich Herre, An Axiomatic ...
philpapers.org
Although the ideas in Process and Reality are well-recognized by many scientists in various disciplines beyond philosophy, these ...
Heinrich Herre, Entscheidungsprobleme in der Elementaren Theorie...
philpapers.org
Entries: 1,991,009 New this week: General search Category finder . syntax | advanced search
Business Profiles
Private Homepages
About us | Onto-Med Research Groupwww.onto-med.de › impressum
www.onto-med.de
Director. Prof. Dr. Heinrich Herre Tel + Fax + leipzig.de ...
Education
Relations as patterns: bridging the gap between OBO and OWLkclpure.kcl.ac.uk › portal › publications
kclpure.kcl.ac.uk
Robert Hoehndorf, Anika Oellrich, Michel Dumontier, Janet Kelso, Dietrich Rebholz-Schuhmann, Heinrich Herre. Overview · Citation formats ...
Heritage
George Herre - Historical records and family trees - MyHeritagewww.myheritage.com › names › george_herre
www.myheritage.com
George Heinrich Herre was born to Joh. George Herre and Anna Cath. Herre. George was baptized on month day 1759, at baptism place. 4 of 11 records View all ...
Herre Genealogy | WikiTree FREE Family Treewww.wikitree.com › genealogy › HERRE
www.wikitree.com
Heinrich Herre bef last edited 28 Sep Jacob Herre 19 Feb Ilvesheim, Mannheim, Baden, Deutschland. Johann Christian Bernhard Herre abt
Heinrich Herre Ancestry®www.ancestry.com › genealogy › records › heinrich-herre_
www.ancestry.com
Research genealogy for Heinrich Herre, as well as other members of the Herre family, on Ancestry®.
Heinrich Herre - The Mathematics Genealogy Projectwww.genealogy.math.ndsu.nodak.edu › ...
www.genealogy.math.ndsu.nodak.edu
According to our current on-line database, Heinrich Herre has 10 students and 17 descendants. We welcome any additional information.
Projects
(none)
www.kr.tuwien.ac.at
[hlkh2007]: Robert Hoehndorf and Frank Loebe and Janet Kelso and Heinrich Herre. Representing default knowledge in biomedical ontologies: Application to ...
Books & Literature
Generalized compactness of nonmonotonic inference operationswww.tandfonline.com › ... › List of Issues › Volume 5, Issue 1
www.tandfonline.com
May 30, · Heinrich Herre Institute of Computer Science University of Leipzig , –11, D , Leipzig.
Modelltheoretische Eigenschaften Endlichvalenter Graphen onlinelibrary.wiley.com › doi › malq
onlinelibrary.wiley.com
Volume 26, Issue 1-6 p Mathematical Logic Quarterly. Article. Modelltheoretische Eigenschaften Endlichvalenter Graphen. Heinrich Herre,.
bokus.com: Extensions of Logic Programming - Roy Dyckhoff, Heinrich Herre ...www.bokus.com › bok › extensions-of-logic-programming
Köp Extensions of Logic Programming av Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister. Skickas inom vardagar. Fri frakt över 159 kr.Format: Häftad (Paperback / softback)Komponenter: 1 Paperback / softback Köp Extensions of Logic Programming av Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister. Skickas inom vardagar. Fri frakt över 159 kr. Format: Häftad (Paperback / softback)Komponenter: 1 Paperback / softback
heinrich herre: 1 Books available | chapters.indigo.cawww.chapters.indigo.ca › en-ca › books › contributor › editor › heinrich-h...
www.chapters.indigo.ca
Buy heinrich herre Books at Indigo.ca. Shop amongst our popular books, including 1, Extensions of Logic Programming and more from heinrich herre.
Related Documents
[ ] Persistence, Change, and the Integration of Objects and ...arxiv.org › cs
arxiv.org
Nov 7, · Authors:Heinrich Herre · Download PDF. Abstract: In this paper we discuss various problems, associated to temporal phenomena.
Herre, Heinrich [WorldCat Identities]worldcat.org › identities › lccn-n
worldcat.org
Workshop on extended model theory : Berlin, November, by Heinrich Herre( Book ) 5 editions published in in 3 languages and held by 18 WorldCat ...
Heinrich Herre - Home - ACM Digital Librarydl.acm.org › profile
dl.acm.org
Heinrich Herre · On the Formal Representation and Annotation of Cellular Genealogies · A pattern-based approach to a cell tracking ontology. · Axiomatic theories ...
CiteSeerX — Stationary Generated Models of Generalized Logic Programs
citeseerx.ist.psu.edu
BibTeX @MISC{Herre_stationarygenerated, author = {Heinrich Herre and Axel Hummel}, title = {Stationary Generated Models of Generalized Logic Programs}, year = {}
Scientific Publications
Professor Dr. Heinrich Herre - GEPRISgepris.dfg.de › gepris › person
gepris.dfg.de
Professor Dr. Heinrich Herre, Institut für Medizinische Informatik, Statistik und Epidemiologie, -18, Leipzig.
Processual Reasoning over Sequences of Situations in Endoscopic ...pubmed.ncbi.nlm.nih.gov › ...
pubmed.ncbi.nlm.nih.gov
Authors. Sebastian Siemoleit , Alexandr Uciteli , Richard Bieck , Heinrich Herre. Affiliations. 1 Institute for Medical Informatics, Statistics and ...
Proceedings of ontologies in biomedicine and life sciences (OBML ...jbiomedsem.biomedcentral.com › supplements › volume-3-supplement-2
jbiomedsem.biomedcentral.com
Edited by Heinrich Herre, Robert Hoehndorf and Frank Loebe. Ontologies in Biomedicine and Life Sciences (OBML 2011). Go to conference site.
Stable generated models, partial temporal logic and disjunctive...
www.sciencedirect.com
Opens overlay Joeri Engelfriet ,, Opens overlay Heinrich Herre ,. aFaculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam, De Boelelaan ...
Publications
On the General Ontological Foundations of Conceptual Modeling - CORE
core.ac.uk
... Heinrich Herre and Gerd Wagner. Abstract. As pointed out in the pioneering work of [WSW99,EW01], an upper level ontology allows to evaluate the ontological ...
PAN — The Prolog analyzer | SpringerLink
link.springer.com
Karl Stroetmann and Thomas Glaß, A declarative semantics for the Prolog cut operator. In Roy Dyckhoff, Heinrich Herre, and Peter Schröder-Heister, editors
IOS Press Ebooks - Ontology of Time in GFO
ebooks.iospress.nl
... Heinrich Herre: Abstract: Time, events, changes and processes play a major role in conceptual modeling, and in information systems and computer science altogether.
Oalib search
www.oalib.com
Robert Hoehndorf, Janet Kelso, Heinrich Herre BMC Bioinformatics , 2009, DOI: Abstract: We provide both an ...
Reports & Statements
Twitter Posts: @OntoCommons on Twitter: "Thanks a lot to Heinrich Herre ...mobile.twitter.com › ontocommons › status › photo
, for taking part to the #OntoCommons Top and Middle #Ontologies workshop and for explaining what is the #TLO GFO, highly exploited in the #medical environment.
A Formal Ontology of Sequences | Nature Precedingswww.nature.com › nature precedings › articles
www.nature.com
Aug 3, · A Formal Ontology of Sequences. Robert Hoehndorf,; Janet Kelso &; Heinrich Herre. Nature Precedings (2009)Cite this article Accesses.
Wikipedia: General formal ontology - Wikipedia
The general formal ontology (GFO) is an upper ontology integrating processes and objects. GFO has been developed by Heinrich Herre, Barbara Heller and collaborators
Wikipedia: Upper ontology - Wikipedia
... (GFO), developed by Heinrich Herre and his colleagues of the research group Onto-Med in Leipzig, is a realistic ontology integrating processes and ...
Miscellaneous
GOL A General Ontological Language Barry Smith Heinrich Herre ...slideplayer.com › slide
slideplayer.com
Presentation on theme: "GOL A General Ontological Language Barry Smith Heinrich Herre Barbara Heller."— Presentation transcript: 1 GOL A General Ontological ...
2003 Digital Symposium Collectionsigmod.org › publications › discs › out › a_heinrich_herre
sigmod.org
Papers on DiSC'04. On the General Ontological Foundations of Conceptual Modeling. Publications. Note: Links lead to the DBLP on the Web. Heinrich Herre
Heinrich Herre | LinkedIn
www.linkedin.com
View Heinrich Herre's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Heinrich Herre discover ...
Heinrich Herre's research while affiliated with University of Leipzig ...www.researchgate.net › Heinrich-Herre
www.researchgate.net
Heinrich Herre's 7 research works with 19 citations and 506 reads, including: OntoPMS Ontology Directed Risk Identification.
Heinrich Herre: free download. Ebooks library. On-line books store ...zh.fr1lib.org › ...
zh.fr1lib.org
Heinrich Herre: free download. Ebooks library. On-line books store on Z-Library | Z-Library. Download books for free. Find books.
BOWiki - a collaborative annotation and ontology curation frameworkwww.academia.edu › BOWiki_a_collaborative_annotation_and_ontology_...
www.academia.edu
ADDITIONAL AUTHORS performing these operations, and will be used for automated Joshua Bacher, .de, Heinrich Herre, consistency checking ...
CBA Compendio | Knowledgemanagement for projectswww.cbasynergy.com › cbacompendio
www.cbasynergy.com
Dr. Heinrich Herre Expert for ontologies, knowledge management and AI at the University of Leipzig. “I have gained a good impression of the system, ...
Chapter 11. Ontology Design Patterns for IOS Press Ebooksebooks.iospress.nl › volumearticle
ebooks.iospress.nl
Ontology Design Patterns for Representing Context in Ontologies Using Aspect Orientation. Authors. Ralph Schäfermeier, Heinrich Herre, Adrian Paschke.
General Formal Ontology - Summary | NCBO BioPortalbioportal.bioontology.org › ontologies › GFO
bioportal.bioontology.org
Contact, Heinrich Herre, -leipzig.de. Categories, All Organisms, Upper Level Ontology. Submissions ...
Main » List of Accepted Papers - browse - IAOAwww.iaoa.org › fois2016
www.iaoa.org
Ringo Baumann, Frank Loebe and Heinrich Herre, "Towards an Ontology of Space for GFO". Brandon Bennett, Anthony Cohn, Heshan Du and Lucia Gomez Alvarez, ...
ODLS Ontologies and Data in Life Sciences - CEUR-WSceur-ws.org › Vol-1692
ceur-ws.org
Sep 27, · Heinrich Herre Sebastian Siemoleit, Heinrich Herre; Risk Identification Ontology (RIO): An ontology for specification and ...
On the Ontological Foundations of Cellular Development | bioRxivwww.biorxiv.org › content
www.biorxiv.org
May 31, · Patryk Burek, View ORCID ProfileNico Scherf, Heinrich Herre. doi: https://doi.org
Ontology Design Patterns for Representing Context in Ontologies ...odp.aspectowl.xyz
odp.aspectowl.xyz
Publication. Ralph Schäfermeier, Adrian Paschke, and Heinrich Herre. Ontology Design Patterns for Representing Context in Ontologies Using Aspect Orientation.
Semantic integration of physiology phenotypes with an application ...academic.oup.com › bioinformatics › article
academic.oup.com
Robert Hoehndorf, Midori A. Harris, Heinrich Herre, Gabriella Rustici, Georgios V. Gkoutos, Semantic integration of physiology phenotypes with an ...
The Ontology of Mereological Systems: A Logical Approach - INFONAwww.infona.pl › resource
www.infona.pl
The Ontology of Mereological Systems: A Logical Approach. Heinrich Herre · Details · Contributors · Bibliography · Quotations · Similar · Collections ...
Jonathan Simon
sites.google.com
... my research, see my research statement. My Erdős Number is at most 5 (Barry Smith - Heinrich Herre - Jouko A. Väänänen - Menachem Magidor - Erdős).
Ontologie für Informationssysteme - ppt herunterladen
slideplayer.org
6 > > > Ontologie 4 Kategorien Grundbeziehungen zwischen Kategorien und Entitäten C(Expr) sei die durch den Ausdruck Expr repräsentierte Kategorie, E eine ...
CfP: OBML (special focus: ontology of phenotypes) from Robert...
lists.w3.org
... Brazil * Heinrich Herre, University of Leipzig * Josef Ingenerf, University of Luebeck * Ludger Jansen, University of Rostock * Janet Kelso,
ELP'96: Call for Participation
www.cis.upenn.edu
... http://www-theory.dcs.st-and.ac.uk/elp96.html or by e-mail from: -leipzig.de Roy Dyckhoff Heinrich Herre Peter Schroeder-Heister
- Chapitre.com
www.chapitre.com
Retrouvez tous les livres, dvd... de Heinrich Herre : achat, vente et avis.
Related search requests for Heinrich Herre
Peter Schroeder-Heister Frank Loebe Barbara Heller | Robert Hoehndorf Gerd Wagner Giancarlo Guizzardi | Hannes Michalek Michał Krynicki |
People Forename "Heinrich" (4358) Name "Herre" (181) |
sorted by relevance / date