24 found
Order:
See also
Heinrich Herre
Universität Leipzig
  1.  17
    GFO: The General Formal Ontology.Frank Loebe, Patryk Burek & Heinrich Herre - 2022 - Applied ontology 17 (1):71-106.
    The General Formal Ontology is a top-level ontology that is being developed at the University of Leipzig since 1999. Besides introducing some of the basic principles of the ontology, we expound axiomatic fragments of its formalization and present ontological models of several use cases. GFO is a top-level ontology that integrates objects and processes into a unified framework, in a way that differs significantly from other ontologies. Another unique selling feature of GFO is its meta-ontological architecture, which includes set theory (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  97
    Ontological categories in GOL.Barbara Heller & Heinrich Herre - 2004 - Axiomathes 14 (1-3):57-76.
    General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a system of top-level ontologies which can be used as a basis for building domain-specific ontologies. The present paper gives an overview about the basic categories of the GOL-ontology. GOL is part of the work of the research group Ontologies in Medicine (Onto-Med) at the University of Leipzig which is based on the collaborative work of the Institute of Medical Informatics (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  3.  29
    The härtig quantifier: A survey.Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen - 1991 - Journal of Symbolic Logic 56 (4):1153-1183.
    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 language in which the notion of equicardinality is expressible. Thus this language, denoted by LI, is in some sense very natural and has in consequence special interest. Properties of LI are studied in many papers. In [BF, Chapter VI] there is a short survey of some known results about LI. We feel that a more extensive exposition (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4. GOL: A general ontological language.Wolfgang Degen, Barbara Heller, Heinrich Herre & Barry Smith - 2001 - In Chris Welty & Barry Smith (eds.), Formal Ontology in Information Systems (FOIS). New York: ACM Press. pp. 34-46.
    Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has considerable mathematical power and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  18
    GFO-Bio: A biological core ontology.Robert Hoehndorf, Frank Loebe, Roberto Poli, Heinrich Herre & Janet Kelso - 2008 - Applied ontology 3 (4):219-227.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  24
    FueL: Representing function structure and function dependencies with a UML profile for function modeling.Patryk Burek, Frank Loebe & Heinrich Herre - 2016 - Applied ontology 11 (2):155-203.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  14
    The ontology of mereological systems: A logical approach.Heinrich Herre - 2010 - In Roberto Poli & Johanna Seibt (eds.), Theory and Applications of Ontology: Philosophical Perspectives. Springer Verlag. pp. 57--82.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. GOL: Toward an axiomatized upper-level ontology. IMISE Report.Wolfgang Degen, Barbary Haller, Heinrich Herre & Barry Smith - 2001 - In IMISE Report. Leipzig: IMISE.
    Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, and we outline an associated knowledge modelling language called GOL – for: General Ontological Language. It turns out that the upper-level ontology underlying well-known standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. In a set theory which allows Urelements, however, there (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  5
    Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren.Heinrich Herre & Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):229-246.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  33
    An Axiomatic Reconstruction of the Basic Categories in Process Philosophy.Sebastian Siemoleit & Heinrich Herre - 2020 - Axiomathes 30 (2):107-147.
    Although the ideas in Process and Reality are well-recognized by many scientists in various disciplines beyond philosophy, these investigations are focused on the formal interpretation of the notion of space in the context of mereotopology. Indeed, the notion of time is either neglected completely or understood as an abstraction from the four-dimensional existence of enduring objects. However, there is no elucidation of the notion of time beyond this existence. We introduce a monadic second order language to formalize the ultimate principles (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  2
    Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.Roy Dyckhoff, Heinrich Herre & Peter Schroeder-Heister - 1996 - Springer.
    This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996. The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  22
    Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie II.Kurt Hauschild, Heinrich Herre & Wolfgang Rautenberg - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (25-30):457-480.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  20
    Modelltheoretische Eigenschaften Endlichvalenter Graphen.Heinrich Herre - 1980 - Mathematical Logic Quarterly 26 (1-6):51-58.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  18
    Brewka Gerhard. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge tracts in theoretical computer science, no. 12. Cambridge University Press, Cambridge etc. 1991, xiii + 168 pp. [REVIEW]Heinrich Herre - 1993 - Journal of Symbolic Logic 58 (3):1079-1080.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  18
    Die Entscheidbarkeit der Elementaren Theorie dern-Separierten Symmetrischen Graphen Endlicher Valenz.Heinrich Herre - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (16-18):249-254.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  16
    Decision problem for linear orderings in stationary logics.Heinrich Herre - 1991 - Bulletin of the Section of Logic 20 (3/4):102-104.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  12
    Review: Gerhard Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense. [REVIEW]Heinrich Herre - 1993 - Journal of Symbolic Logic 58 (3):1079-1080.
  18.  6
    Theories of finitely determinate linear orderings in stationary logic.Heinrich Herre - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 89--113.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  19
    Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor.Heinrich Herre & Helmut Wolter - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (19-24):345-358.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  18
    Entscheidungsprobleme in der Elementaren Theorie Einer Zweistelligen Relation.Heinrich Herre - 1971 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 17 (1):301-313.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  3
    Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher Valenz.Heinrich Herre - 1972 - Mathematical Logic Quarterly 18 (16‐18):249-254.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  2
    Theory of Linear Order in Extended Logics.Heinrich Herre - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 139--192.
  23.  6
    Generalized compactness of nonmonotonic inference operations.Heinrich Herre - 1995 - Journal of Applied Non-Classical Logics 5 (1):121-135.
  24.  4
    Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐Quantor.Heinrich Herre & Helmut Wolter - 1979 - Mathematical Logic Quarterly 25 (19‐24):345-358.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation