Skip to main content
SpringerLink
Log in
Book cover

Annual Conference on Artificial Intelligence

KI 2003: KI 2003: Advances in Artificial Intelligence pp 120–134Cite as

How to Build a Foundational Ontology

The Object-Centered High-Level Reference Ontology OCHRE

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2821))

Abstract

Foundational ontologies are axiomatic accounts of high-level domain-independent categories about the real world. They constitute toolboxes of reusable information modeling primitives for building application ontologies in specific domains. As such, they enhance semantic interoperability between agents by specifying descriptively adequate shared conceptualisations. The design of foundational ontologies gives rise to completely new challenges in respect of their content as well as their formalisation. Indeed, their underlying modeling options correspond to the ontological choices discussed in classical metaphysics as well as in the research on qualitative reasoning. Building a foundational ontology is thus an eminently interdisciplinary task. As a case study, this article sketches the formalisation of the Object-Centered High-level REference ontology OCHRE, emphasising in particular the problem of achieving formal simplicity within the limits of descriptive adequacy.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Aristotle. Metaphysics

    Google Scholar 

  • Armstrong, D.M.: A World of States of Affairs. Cambridge University Press, Cambridge (1997)

    Book  Google Scholar 

  • Campbell, K.: Abstract Particulars. Blackwell, Oxford (1990)

    Google Scholar 

  • Casati, R., Varzi, A.: Parts and Places. The Structures of Spatial Representation. MIT Press, Cambridge (1999)

    Google Scholar 

  • Castañeda, H. N.: Objects, Existence and Reference. A Prolegomenon to Guise Theory. Grazer Philosophische Studien 25/26, 31–66 (1985/1986)

    Google Scholar 

  • Chisholm, R.: Person and Object. A Metaphysical Study. La Salle /Ill.: Open Court, Chicago (1976)

    Google Scholar 

  • Denkel, A.: Object and Property. Cambridge University Press, Cambridge (1996)

    Book  Google Scholar 

  • Fine, K.: Ontological Dependence. In: Proceedings of the Aristotelian Society, vol. 95, pp. 269–290 (1994)

    Google Scholar 

  • Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening Ontologies with DOLCE. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol. 2473, pp. 166–181. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  • Gruber, T.: The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference. Morgan Kaufmann, San Mateo (1991)

    Google Scholar 

  • Guarino, N.: Formal Ontology and Information Systems. In: Guarino, N. (ed.) Formal Ontology in Information Science. Proceedings of FOIS 1998, Trento, Italy, pp. 3–15. IOS Press, Amsterdam (1998)

    Google Scholar 

  • Haslanger, S.: Endurance and Temporary Intrinsics. Analysis 49, 119–125 (1989)

    Article  Google Scholar 

  • Hawley, K.: How Things Persist. Clarendon Press, Oxford (2001)

    Google Scholar 

  • Heller, M.: The Ontology of Physical Objects. Cambridge University Press, Cambridge (1990)

    Google Scholar 

  • Johnston, M.: Is There a Problem About Persistence? In: Proceedings of the Aristotelian Society, suppl., vol. 61, pp. 107–135 (1984)

    Google Scholar 

  • Leonard, H.S., Goodman, N.: The Calculus of Individuals and Its Uses. Journal of Symbolic Logic 5, 45–55 (1940)

    Article  MATH  MathSciNet  Google Scholar 

  • Lewis, D.: On the Plurality of Worlds. Blackwell, Oxford (1986)

    Google Scholar 

  • Lewis, D.: Parts of Classes. Blackwell, Oxford (1991)

    MATH  Google Scholar 

  • Mulligan, K., Smith, B.: A Relational Theory of the Act. Topoi 5, 115–130 (1986)

    Article  Google Scholar 

  • Mulligan, K.: Relations – through thick and thin. Erkenntnis 48, 325–353 (1998)

    Article  MathSciNet  Google Scholar 

  • Quine, W.O.: Word and Object. MIT Press, Cambridge (1960)

    MATH  Google Scholar 

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

    Google Scholar 

  • Simons, P.: Parts. A Study in Ontology. Clarendon, Oxford (1987)

    Google Scholar 

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

    Article  Google Scholar 

  • Simons, P.: Relational Tropes. In: Haefliger, G., Simons, P. (eds.) Analytic Phenomenology: Essays in Honor of Guido Küng, Kluwer, Dordrecht (1995)

    Google Scholar 

  • Smith, B.: Ontology. In: Floridi, L. (ed.) The Blackwell Guide to the Philosophy of Information and Computing, Blackwell, Oxford (2003) (forthcoming)

    Google Scholar 

  • Strawson, P.: Individuals. An Essay in Descriptive Methaphysics. Routledge, London (1959)

    Book  Google Scholar 

  • Thomson, J.J.: Parthood and Identity Across Time. Journal of Philosophy 80, 201–220 (1983)

    Article  Google Scholar 

  • Williams, D.C.: On the elements of being. Review of Metaphysics 7, 3–18 & 171–192 (1953)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Formal Ontology and Medical Information Science, University of Leipzig, Härtelstrasse 16-18, D–4107, Leipzig

    Luc Schneider

Authors
  1. Luc Schneider
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. HITeC e. V. Universität Hamburg Fachbereich Informatik, Vogt-Kölln-Str. 30, 22527, Hamburg, Germany

    Andreas Günter

  2. Otto-von-Guericke-University of Magdeburg,  

    Rudolf Kruse

  3. Cognitive Systems Laboratory, Department Informatik, Universität Hamburg, 22527, Hamburg, Germany

    Bernd Neumann

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schneider, L. (2003). How to Build a Foundational Ontology. In: Günter, A., Kruse, R., Neumann, B. (eds) KI 2003: Advances in Artificial Intelligence. KI 2003. Lecture Notes in Computer Science(), vol 2821. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39451-8_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-39451-8_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20059-8

  • Online ISBN: 978-3-540-39451-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation