Formal ontology of space, time, and physical entities in classical mechanics

Classical (i.e., non-quantum) mechanics is the foundation of many models of dynamical physical phenomena. As such those models inherit the ontological commitments inherent in the underlying physics. Therefore, building an ontology of dynamic phenomena requires a clear understanding of the ontology of classical mechanics. The axiomatic theory presented here in conjunction with the specification of its intended interpretation in the underlying physics aim to provide a formal framework that is general enough to formalize the ontological commitments of classical mechanics in a way that is consistent with various underlying spacetime ontologies.