Fixes #46 Round tripping error in functional syntax

Some axioms that violate OWL specs can be written out in functional
syntax but cannot be parsed back in.
Added tests in the functional syntax renderer to skip these axioms,
so the output can be roundtripped.