Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Issue title: Foundational Ontologies in Action
Guest editors: Stefano Borgo, Antony Galton and Oliver Kutz
Article type: Research Article
Authors: Loebe, Franka; * | Burek, Patrykb | Herre, Heinrichc
Affiliations: [a] Computer Science Institute, University of Leipzig, Germany | [b] Institute of Computer Science, Faculty of Mathematics, Physics and Computer Science, Maria Curie-Skłodowska University, Lublin, Poland | [c] Institute of Medical Informatics, Statistics and Epidemiology (IMISE), University of Leipzig, Germany
Correspondence: [*] Corresponding author. E-mail: frank.loebe@informatik.uni-leipzig.de.
Note: [] Accepted by: Stefano Borgo
Abstract: The General Formal Ontology (GFO) 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 into ontology and which accounts for its specific role in common representation approaches. The second level of that architecture starts from the distinction of categories and individuals, which forms the backbone of the world’s structure. Furthermore, GFO comprises several kinds of categories, among them universals and concepts, and it considers several ontological regions and levels. In the context of this special issue paper, we study five pre-determined use cases from the perspective of GFO. The results of these analyses yield insights into how the ontology treats several important notions. Very abridged, this covers material objects and their composition; roles and social entities; properties with their relations to objects and processes, and their changing; changes of processes, including a functional perspective; and, eventually, the nature and changing of concepts as well as terminology. A final part summarizes application projects that use GFO in various contexts.
Keywords: GFO, foundational ontology, ontological analysis, formal ontology
DOI: 10.3233/AO-220264
Journal: Applied Ontology, vol. 17, no. 1, pp. 71-106, 2022
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
sales@iospress.com
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
info@iospress.nl
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office info@iospress.nl
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
china@iospress.cn
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
如果您在出版方面需要帮助或有任何建, 件至: editorial@iospress.nl