add display of heterogeneous ontologies in logics.