•  23
    GFO: The General Formal Ontology
    with Frank Loebe and Patryk Burek
    Applied ontology 17 (1): 71-106. 2022.
    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…Read more
  •  22
    GFO-Bio: A biological core ontology
    with Robert Hoehndorf, Frank Loebe, Roberto Poli, and Janet Kelso
    Applied ontology 3 (4): 219-227. 2008.
  •  36
    The härtig quantifier: A survey
    with Michał Krynicki, Alexandr Pinus, and Jouko Väänänen
    Journal of Symbolic Logic 56 (4): 1153-1183. 1991.
    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 of these r…Read more
  •  17
    Axiomatic theories of the ontology of time in GFO
    with Ringo Baumann and Frank Loebe
    Applied ontology 9 (3-4): 171-215. 2014.
    Time is a pervasive notion of high impact in information systems and computer science altogether. Respective understandings of the domain of time are fundamental for numerous areas, frequently in combination with closely related entities such as events, changes and processes. The conception and representation of time entities and reasoning about temporal data and knowledge are thus significant research areas. Each representation of temporal knowledge bears ontological commitments concerning time…Read more
  •  5
    Entscheidbarkeit Der Theorie Der Linearen Ordnung In Lmath image
    with H. Wolter
    Mathematical Logic Quarterly 23 (18): 273-282. 1976.
  •  5
    Entscheidbarkeit der Theorie der Linearen Ordnung in Lmath image für Reguläres ωx
    with H. Wolter
    Mathematical Logic Quarterly 24 (1-6): 73-78. 1978.
  •  36
    An Axiomatic Reconstruction of the Basic Categories in Process Philosophy
    with Sebastian Siemoleit
    Axiomathes 30 (2): 107-147. 2020.
    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 orde…Read more
  •  19
    Decision problem for linear orderings in stationary logics
    Bulletin of the Section of Logic 20 (3/4): 102-104. 1991.
  •  6
    Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren
    with Helmut Wolter
    Mathematical Logic Quarterly 21 (1): 229-246. 1975.
  •  7
    Theories of finitely determinate linear orderings in stationary logic
    In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation, Kluwer Academic Publishers. pp. 89--113. 1995.
  •  6
    Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐Quantor
    with Helmut Wolter
    Mathematical Logic Quarterly 25 (19‐24): 345-358. 1979.
  •  5
    Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings (review)
    with Roy Dyckhoff and Peter Schroeder-Heister
    Springer Verlag. 1996.
    A major strategy to reduce transport congestion and other social costs of transport is to ensure that travellers make the best decisions, based on real time information. A wide range of technological systems have been developed to provide this information, but little is known about how travellers actually respond to it. This book offers an overview of various transport telematics options and provides an appropriate methodological framework, followed by a presentation of results from actual appli…Read more
  •  7
  •  3
    Theory of Linear Order in Extended Logics
    In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation, Kluwer Academic Publishers. pp. 139--192. 1995.
  •  19
    Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor
    with Helmut Wolter
    Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (19-24): 345-358. 1979.
  •  22
    Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie II
    with Kurt Hauschild and Wolfgang Rautenberg
    Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (25-30): 457-480. 1972.
  •  21
    Modelltheoretische Eigenschaften Endlichvalenter Graphen
    Mathematical Logic Quarterly 26 (1-6): 51-58. 1980.
  •  18
    Die Entscheidbarkeit der Elementaren Theorie dern-Separierten Symmetrischen Graphen Endlicher Valenz
    Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (16-18): 249-254. 1972.
  •  15
  •  20
    Entscheidungsprobleme in der Elementaren Theorie Einer Zweistelligen Relation
    Mathematical Logic Quarterly 17 (1): 301-313. 1971.
  •  100
    Ontological categories in GOL
    with Barbara Heller
    Axiomathes 14 (1-3): 57-76. 2004.
    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 Inf…Read more