Symbol maps do not work for OWL

[till]

neither parsing, nor static analysis works

[luecke]

In the common OWL syntaxes a renaming of symbols is not intended, the thing that comes most closely to it is the use of namespaces. On the other hand, when importing an XML-OWL spec into a Manchester OWL spec, the renaming could yield sorter names stripped of the namespace attributes.

[till]

We definitely want to model the work by Zimmermann et al. "Formalizing Ontology Alignment and its Operations with Category Theory" within Hets. That is, we need colimits for OWL. But then we also need symbol maps for OWL, in order to be able to write down signature morphisms.

[maeder]

renaming using "with" works now after changeset:11744

[maeder]

actual sentences are only renamed after changeset:11757

Parameterization (and revealing) doesn't work yet, but this is hopefully a non-critical issue.

[maeder]

everything should work after changeset:12764 and changeset:12781