23 found
Order:
See also
Heinrich Herre
Universität Leipzig
  1.  81
    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   8 citations  
  2. 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 (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  13
    An Axiomatic Reconstruction of the Basic Categories in Process Philosophy.Sebastian Siemoleit & Heinrich Herre - forthcoming - Axiomathes:1-41.
    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  
  4.  21
    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   5 citations  
  5.  31
    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  
  6.  11
    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   1 citation  
  7.  14
    GFO-Bio: A Biological Core Ontology.Robert Hoehndorf, Frank Loebe, Roberto Poli, Heinrich Herre & Janet Kelso - 2008 - Applied Ontology 3 (4):219-227.
  8.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  9.  18
    Entscheidungsprobleme in der Elementaren Theorie Einer Zweistelligen Relation.Heinrich Herre - 1971 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 17 (1):301-313.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  10.  21
    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  
  11.  6
    Generalized Compactness of Nonmonotonic Inference Operations.Heinrich Herre - 1995 - Journal of Applied Non-Classical Logics 5 (1):121-135.
  12.  21
    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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  16
    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  
  14.  18
    Modelltheoretische Eigenschaften Endlichvalenter Graphen.Heinrich Herre - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (1-6):51-58.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  16
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  17.  3
    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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  18.  14
    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  
  19.  11
    Review: Gerhard Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense. [REVIEW]Heinrich Herre - 1993 - Journal of Symbolic Logic 58 (3):1079-1080.
  20.  5
    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  
  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 (3 more)  
    Translate
     
     
    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. Extensions of Logic Programming 5th International Workshop, Elp '96, Leipzig, Germany, March 28-30, 1996 : Proceedings'.Roy Dyckhoff, Heinrich Herre & Peter Joseph Schroeder-Heister - 1996
     
    Export citation  
     
    Bookmark