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



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

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
40 (#589,329)

6 months
7 (#469,699)

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