Use https://w3id.org/openmath/ for serving files

[kenwenzel]

As discussed in this issue/comment

OpenMath/om-rdf#3 (comment)

we require HTTP-level redirects to serve files with the OpenMath-RDF vocabulary.
Currently, it is impossible to implement redirects for openmath.org as it is served via Github pages and we can't control the webserver itself.
A viable solution could be to rely on https://w3id.org which is a service that provides permanent identifiers for resources on the web.
According to the discussion on the OM mailing list https://mailman.openmath.org/pipermail/om/2023-June/002146.html we couldn't find consensus whether https://w3id.org/openmath/ can be used to serve the RDF files or not.

I've opened this issue to quickly get consensus, if https://w3id.org/openmath/ can be registered or if we should use another namespace for OpenMath-RDF-related content.

Best regards,
Ken

[vChavezB]

I am interested in using openmath alas still no way to use it practically via a url. I jus twanted to mention that this is important if you want other users to use the ontology.

Use cases

1. Importing the ontology in protege.
2. Loading an ontology that uses OpenMath via the owlapi.
3. Any software the loads ontologies via URL