I tried loading ontology/math.ttl locally but protege generated errors while loading.

How to reproduce

Load the ontology locally with Protege 5.6.x

Suggested fix

To fix this I found out that the rdfs and rdf imports should be added since AttributionList, ObjectList, VariableList are of type rdfs:class.

<http://openmath.org/vocab/math>
  rdf:type owl:Ontology ;              
  owl:imports <http://www.w3.org/2000/01/rdf-schema> ;
  owl:imports <http://www.w3.org/1999/02/22-rdf-syntax-ns> .

Hi! First of all, thank you for your OpenMath ontologies! I'm interested in using them but I couldn't find a proper way to import them. Am I missing something?

1. Imports shown in your examples / ontologies, e.g., http://openmath.org/vocab/math don't seem to resolve.
2. Same for URLs like http://numerateweb.org/vocab/math or http://www.openmath.org/cd/arith1
3. There are no releases / versioning on Github so I cannot use Github URLs
4. There doesn't seem to be a W3ID either

What is your proposed way of importing your ontologies?

While #3 is ongoing, I am just trying to use OpenMath RDF locally. But there is a problem with an unresolved import when using the current content dictionaries ontology.
openmath-cds.ttl tries to import the "meta" ontology, but fails due to a wrong / old ontology IRI. This is the import inside openmath-cds.ttl:

<http://www.openmath.org/cd/> a owl:Ontology ;
    owl:imports <http://numerateweb.org/vocab/math/meta> .

But meta.ttl is defined as:

<http://openmath.org/vocab/math/meta>
    rdf:type owl:Ontology ;
    owl:imports <http://openmath.org/vocab/math> ; .

The ontology IRIs don't match. The content dictionaries ontology seems to be using an old (?) IRI / namespace of meta (numerateweb). This is a problem with the import, but also the prefix definitions of math and meta inside the CD ontology seem to be wrong.

What is the current / correct namespace? I want to fix this for my local copy and can then create a PR.