added output functionality (TBox Writer for Functional EL), minor changes in Hierarchy Extractor