Added interface for rendering sets of TimeAxioms to sets of OWLAxioms. Added trivial test for doing a rendering of an empty set.