-
23GFO: The General Formal OntologyApplied 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
-
36The härtig quantifier: A surveyJournal 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
-
27FueL: Representing function structure and function dependencies with a UML profile for function modelingApplied ontology 11 (2): 155-203. 2016.
-
17Axiomatic theories of the ontology of time in GFOApplied 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
-
5Entscheidbarkeit Der Theorie Der Linearen Ordnung In Lmath imageMathematical Logic Quarterly 23 (18): 273-282. 1976.
-
5Entscheidbarkeit der Theorie der Linearen Ordnung in Lmath image für Reguläres ωxMathematical Logic Quarterly 24 (1-6): 73-78. 1978.
-
36An Axiomatic Reconstruction of the Basic Categories in Process PhilosophyAxiomathes 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
-
22Untersuchungen Zur Theorie der Linearen Ordnung in Logiken MIT MächtigkeitsquantorenMathematical Logic Quarterly 27 (2-6): 73-94. 1981.
-
14Review: Gerhard Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense (review)Journal of Symbolic Logic 58 (3): 1079-1080. 1993.
-
19Decision problem for linear orderings in stationary logicsBulletin of the Section of Logic 20 (3/4): 102-104. 1991.
-
6Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten QuantorenMathematical Logic Quarterly 21 (1): 229-246. 1975.
-
20Brewka 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)Journal of Symbolic Logic 58 (3): 1079-1080. 1993.
-
7Theories of finitely determinate linear orderings in stationary logicIn M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation, Kluwer Academic Publishers. pp. 89--113. 1995.
-
6Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐QuantorMathematical Logic Quarterly 25 (19‐24): 345-358. 1979.
-
5Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings (review)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
-
7Generalized compactness of nonmonotonic inference operationsJournal of Applied Non-Classical Logics 5 (1): 121-135. 1995.
-
3Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher ValenzMathematical Logic Quarterly 18 (16‐18): 249-254. 1972.
-
3Theory of Linear Order in Extended LogicsIn M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation, Kluwer Academic Publishers. pp. 139--192. 1995.
-
19Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-QuantorZeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (19-24): 345-358. 1979.
-
22Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie IIZeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (25-30): 457-480. 1972.
-
21Modelltheoretische Eigenschaften Endlichvalenter GraphenMathematical Logic Quarterly 26 (1-6): 51-58. 1980.
-
18Die Entscheidbarkeit der Elementaren Theorie dern-Separierten Symmetrischen Graphen Endlicher ValenzZeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (16-18): 249-254. 1972.
-
15The ontology of mereological systems: A logical approachIn Roberto Poli & Johanna Seibt (eds.), Theory and Applications of Ontology: Philosophical Perspectives, Springer Verlag. pp. 57--82. 2010.
-
20Entscheidungsprobleme in der Elementaren Theorie Einer Zweistelligen RelationMathematical Logic Quarterly 17 (1): 301-313. 1971.
-
100Ontological categories in GOLAxiomathes 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
-
Universität LeipzigRegular Faculty
Leipzig, Saxony, Germany