Content Dictionaries cannot import meta.ttl

[aljoshakoecher]

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.

[kenwenzel]

Good find! The import http://openmath.org/vocab/math/meta is correct. Everything related to the representation of OpenMath and CDs should be in the http://openmath.org/ namespace.
But this may change again when #3 is resolved.