remove redundant variable
Add profile into debugging message
make test ontologies legal OWL2 DL

cannot use undefined properties in OWL2 DL.

schema manager was not previously checking for consistency, but reusing
the new loadAndInfer method, it does.
reuse PoddOWLManager.loadAndInfer method now that test schemas are fixed