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 article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.3233/ao-190213

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

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

Through your library

My notes

Similar books and articles

Normalizing medical ontologies using Basic Formal Ontology.Thomas Bittner & Barry Smith - 2004 - In K. Versorgung & V. Forschung (eds.), Ubiquitäre Information (Proceedings of GMDS 2004). Videel OHG. pp. 199-201.
Ontology for the Intelligence Analyst.Barry Smith - 2012 - CrossTalk 14 (Nov/Dec):18-25.
A method for re-engineering a thesaurus into an ontology.D. Kless, L. Jansen, J. Lindenthal & J. Wiebensohn - 2012 - In Maureen Donnelly & Giancarlo Guizzardi (eds.), Formal Ontology and Information Systems. IOS. pp. 133-146.
Instantiation in Trope Theory.A. R. J. Fisher - 2018 - American Philosophical Quarterly 55 (2):153-164.
An Axiomatisation of Basic Formal Ontology with Projection Functions.Kerry Trentelman, Alan Ruttenberg & Barry Smith - 2010 - In Kerry Taylor (ed.), Advances in Ontologies, Proceedings of the Sixth Australasian Ontology Workshop. University of Adelaide. pp. 71-80.
On the application of formal principles to life science data: A case study in the Gene Ontology.Jacob Köhler, Anand Kumar & Barry Smith - 2004 - In Köhler Jacob, Kumar Anand & Smith Barry (eds.), Proceedings of DILS 2004 (Data Integration in the Life Sciences), (Lecture Notes in Bioinformatics 2994). Springer. pp. 79-94.
Formal ontologies of space and time. IFOMIS Report.Thomas Bittner & Barry Smith - 2003 - In IFOMIS Report.
Building Ontologies with Basic Formal Ontology.Robert Arp, Barry Smith & Andrew D. Spear - 2015 - Cambridge, MA: MIT Press.
A legal case OWL ontology with an instantiation of Popov v. Hayashi.Adam Wyner & Rinke Hoekstra - 2012 - Artificial Intelligence and Law 20 (1):83-107.
Using cross-lingual information to cope with underspecification in formal ontologies.Werner Ceusters, Ignace Desimpel, Barry Smith & Stefan Schulz - 2003 - Studies in Health Technology and Informatics 95:391-396.
Interoperability of disparate engineering domain ontologies using Basic Formal Ontology.Thomas J. Hagedorn, Barry Smith, Sundar Krishnamurty & Ian R. Grosse - 2019 - Journal of Engineering Design 31.
Infectious Disease Ontology.Lindsay Grey Cowell & Barry Smith - 2009 - In Infectious Disease Informatics. New York: Springer New York. pp. 373-395.
How fit is OWL to represent realist ontologies? The semantics of representational units in realist ontologies and the Web Ontology Language.D. Kless & L. Jansen - 2013 - In M. Horbach (ed.), Informatik 2013. Informatik angepasst an Mensch, Organisation und Umwelt. pp. 1851-1865.
Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology.Selja Seppälä, Barry Smith & Werner Ceusters - 2014 - In P. Garbacz & O. Kutz (eds.), Formal Ontology in Information Systems (FOIS 2014). IOS Press. pp. 227-240.
A neo-Aristotelian substance ontology: neither relational nor constituent.E. J. Lowe - 2012 - In Tuomas E. Tahko (ed.), Contemporary Aristotelian Metaphysics. Cambridge University Press. pp. 229-248.

Analytics

Added to PP
2019-06-22

Downloads
26 (#596,950)

6 months
6 (#512,819)

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 14 references / Add more references