models/ontology/hets_options.rb

	hets_options.rb revision e5a38deea869b1ffcd8d4f578abb5e2a565ba7c6
module Ontology::HetsOptions
  extend ActiveSupport::Concern

  EXTENSIONS_TO_INPUT_TYPES = {'.tptp' => 'tptp',
                               '.p' => 'tptp'}

  def hets_options
    Hets::HetsOptions.new(:'url-catalog' => repository.url_maps,
                          :'access-token' => repository.generate_access_token,
                          :'input-type' => EXTENSIONS_TO_INPUT_TYPES[file_extension])
  end
end