On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study

Applied ontology 14 (3):251-292 (2019)
  Copy   BIBTEX

Abstract

This paper shows in a case study that for the development, the presentation, and the computer-assisted verification of formal ontologies the usage of higher-order languages and associated proof ass...

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,839

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2019-06-22

Downloads
41 (#597,553)

6 months
7 (#590,730)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Thomas Bittner
State University of New York, Buffalo

Citations of this work

Add more citations

References found in this work

Parts : a Study in Ontology.Peter Simons - 1987 - Revue de Métaphysique et de Morale 2:277-279.
Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Fiat and Bona Fide Boundaries.Barry Smith & Achille C. Varzi - 2000 - Philosophy and Phenomenological Research 60 (2):401-420.

View all 13 references / Add more references