removed display of logic for DistributedOntologies