Question

Are there computerized ontologies for Relativity and (Experimental) Physics? How to contribute?

Answer 1

As machines and automation can generally assist humanity in physical activities, and even exceed mere human capabilities, so, increasingly, also in tasks of reasoning. A basic component of the latter type of machines is an ontology for defining some particular domain of discourse.

Answer 2

e ontological assumptions and implications of General Relativity. I maintain that General Relativity is a theory about gravitational fields, not about space-time. The latter is a more basic ontological category, that emerges from physical relations among all existents. I also argue that there are no physical singularities in space-time. Singular space-time models do not belong to the ontology of the world: they are not things but concepts, i.e. defective solutions of Einstein's field equations. I briefly discuss the actual implication of the so-called singularity theorems in General Relativity and some problems related to ontological assumptions of Quantum Gravity.