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.
My Questions, relating to my specific domain of interest and expertise:
Are there any automated/computerized ontologies publicly available for the discourse domain of experimental physics (in general) and the thought-experimental foundations of the theory of relativity (in particular); providing (therefore) especially the notions of
- distinct identifiable "participants", and
- "coincidence" (such as encounters between two or more recognizable material participants) vs. "non-coincidence"
?
Are there any (public) opportunities to contribute to such ontologies and/or to them being established in the first place?