Skip to main content
SpringerLink
Log in

Ontological Categories in GOL

  • Published:
Axiomathes Aims and scope Submit manuscript

Abstract

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 (IMISE) and the Institute for Computer Science (IfI). It represents work in progress toward a proposal for an integrated family of top-level ontologies and will be applied to several fields of medicine, in particular to the field of Clinical Trials.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

  • Aristotle: 1984. The Complete Works, translated and edited by J. Barnes, Princeton University Press, Princeton.

    Google Scholar 

  • Allen, J. and P. J. Hayes: 1989. ‘Moments and Points in an Interval-Based Temporal Logic’, Computational Intelligence 5, 225–238.

    Google Scholar 

  • Barwise, J. and J. Perry: 1983. Situations and Attitudes. Bradford Books, The MIT Press.

  • Becher, G., F. Clerin-Debart and P. Enjalbert: 2000. ‘A Qualitative Model for Time Granularity’, Computational Intelligence, pp. 137–168.

  • Borgo, S., N. Guarino and C. Masolo: 1996. ‘A Pointless Theory of Space Based On Strong Connection and Congruence’, in Principles of Knowledge Representation and Reasoning (KR96), Boston, MA. pp. 220–229.

  • Booch, G., J. Rumbauch and I. Jacobson: 1999. The Unified Modeling Language. Addison Wesley.

  • Brentano, F.: 1976. Philosophische Untersuchungen zu Raum, Zeit und Kontinuum. Hamburg: Felix Meiner Verlag. English translation as Philosophical Investigations on Space, Time and Continuum. London: Croom Helm, 1988.

    Google Scholar 

  • Chisholm, R. M.: 1983. ‘Boundaries as Dependent Particulars’, Grazer Philosophische Studien 20, 87–96.

    Google Scholar 

  • Degen, W., H. Heller and H. Herre: 2001a. ‘Contributions for the Ontological Foundation of Knowledge Modelling’, Report Nr. 02. Institut für Informatik, Universität Leipzig.

  • Degen, W., H. Heller, H. Herre and B. Smith: 2001b. ‘GOL: A General Ontological Language’, Formal Ontology in Information Systems. Collected Papers from the Second International Conference. New York, pp.34–46.

  • Degen, W., H. Heller and H. Herre: 2002a. ‘GOL: A Framework for Building and Representing Ontologies’, in B. Heller, H. Herre and B. Smith (eds.), Ontological Spring (A Reader in Formal and Applied Ontology), IFOMIS Reports 1 Leipzig, pp. 182–203, 2002.

  • Degen, W., B. Heller and H. Herre: 2003b. GOL-Manual (Version 1.0α) OntoMed-Report-3.

  • Erdös, P. and R. Rado: 1964. ‘A Partition Calculus in Set Theory’, Bull. Amer. Math. Society 15, 495–503.

    Google Scholar 

  • Genesereth, M. R. and R. E. Fikes: 1992. Knowledge Interchange Format, Version 3.0, Reference Manual, Logic Group Report Logic-92-1, Computer Science Department, Stanford University, Stanford, California.

    Google Scholar 

  • Gruber, T. R.: 1995. ‘Towards Principles for the Design of Ontologies Used for Knowledge Sharing’, International Journal of Human and Computer Studies 43, 907–928.

    Google Scholar 

  • Guarino, N.: 1998. ‘Formal Ontology and Information Systems’, In N. Guarino (ed.), Formal Ontology in Information Systems, Proc. of FOIS' 98, Trento, Italy, Amsterdam, IOS-Press.

    Google Scholar 

  • Guarino, N.: 1998. ‘Some Ontological Principles for Designing Upper Level Lexical Resources' First Conference on Language Resources and Evaluation.

  • Guarino, N. and C. Welty: 2002. ‘Evaluating Ontological Decisions with OntoClean’, Communications of the ACM 45(2), 61–65.

    Google Scholar 

  • Guizzardi, G., H. Herre and G. Wagner: 2002a. ‘On the General Ontological Foundation of Conceptual Modelling’, in S. Spaccapeitra et al. (eds.), 2002. Conceptual Modelling, ER,Tampere, Proceedings of the 21st International Conference on Conceptual Modelling, vol. 2503, LNCS, 65–78. Springer Verlag.

  • Guizzardi, G., H. Herre and G. Wagner: 2002b. ‘Towards Ontological Foundations for UML Conceptual Models’, in Meersmann et al. (eds.), International Conference ODBASE Irvine, California. LNCS vol. 2519, 1100–1117, Springer Verlag.

  • Heller, B. and H. Herre: 2003a. ‘Formal Ontology and Principles of GOL’, OntoMed-Report-1.

  • Heller, B., H. Herre and M. Löffler: 2003b. ‘Research Projects of Onto-Med’, OntoMed-Report-2.

  • Heller, B., H. Herre and M. Löffler: 2003c. ‘Formal Specifications in GOL — A Case Study in the Field of Clinical Trials’, OntoMed-Report-6.

  • Heller, B., K. Kühn and K. Lippoldt: 2003d. ‘OntoBuilder’, OntoMed-Report-5.

  • Inwagen, P. V.: 2000. ‘Temporal Parts and Identity Across Time’, The Monist 89, 437–459.

    Google Scholar 

  • Johansson, I.: 1989. Ontological Investigations. Routledge.

  • Lewis, D. K.: 1983. Collected Papers. Vol. I. Oxford: Blackwell.

    Google Scholar 

  • Musen, M.: 1992. ‘Dimensions of Knowledge Sharing and Reuse’, in Computer and Biomedical Research, vol. 25, pp. 435–467.

    Google Scholar 

  • La Podevin, R.: 2000. ‘Continuants and Continuity’, The Monist 83, 381–398.

    Google Scholar 

  • Russel, S. and P. Norvig: 1995. Artificial Intelligence. Prentice-Hall, Inc.

  • Seibt, J.: 1997. ‘Existence in Time: From Substance to Process’, in J. Faye et. al. (eds.), Perspectives in Time, pp. 143–182.

  • Seibt, J.: 2001. Formal Process Ontology. Formal Ontology in Information Systems. Collected Papers from the Second International Conference. New York, pp. 333–345.

  • Seibt, J.: 2003. ‘Process and Particulars’, in M. Weber (ed.), Process Metaphysics, Philosophia Verlag, forthcoming.

  • Sider, T.: 2001. Four-Dimensionalism. An Ontology of Persistence and Time. Oxford: Clarendon Press.

    Google Scholar 

  • Simons, P.: 1994. ‘Particulars in Particular Clothing: Three Trope Theories of Substance’, Philosophy and Phenomenological Research LIV(3), 553–575.

    Google Scholar 

  • Simons, P.: 1998. ‘Farewell to Substance: A differentiated leave-taking’, Ratio (new series), pp. 235–252.

  • Simons, P.: 2000. ‘How to Exist Without Temporal Parts’, Monist, pp. 419–436.

  • Smith, B. and A. Varzi: 2000. ‘Bona Fide and Fiat Boundaries’, Philosophy and Phenomenological Research 60, 401–420.

    Google Scholar 

  • Sowa, J. K.: 2000. Knowledge Representation. Brooks/Cole.

  • Varzi, A. C.: 1996. ‘Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology’, Data and Knowledge Engineering 20, 259–286.

    Google Scholar 

  • Varzi, A. C.: 1997. ‘Boundaries, Continuity, and Contact’, Nous 31, 26–58.

    Google Scholar 

  • Welty, A. C. and D. A. Ferucci: 1999. ‘Instances and Classes in Software Engineering, Artificial Intelligence’, Artificial Intelligence.

Download references

Authors
  1. Barbara Heller
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Heinrich Herre
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Heller, B., Herre, H. Ontological Categories in GOL. Axiomathes 14, 57–76 (2004). https://doi.org/10.1023/B:AXIO.0000006788.44025.49

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:AXIO.0000006788.44025.49

Keywords

Search

Navigation