Add two new features:

  (1) loading/importing a single ontology file
  (2) listing all loaded ontologies