implementation of namespaces for theories + fix for owl/import