spec/models/ontology_spec.rb

	ontology_spec.rb revision 0b436a39408ef657a96f7e89e0cccd3d3dd86532
2N/Arequire 'spec_helper'
2N/A
2N/Adescribe Ontology do
2N/A  let(:user) { create :user }
2N/A  setup_hets
2N/A
2N/A  context 'associations' do
2N/A    %i(language logic ontology_version ontology_type).each do |association|
2N/A      it { should belong_to(association) }
2N/A    end
2N/A
2N/A    %i(versions comments sentences symbols).each do |association|
2N/A      it { should have_many(association) }
2N/A    end
2N/A
2N/A    %i(projects).each do |association|
2N/A      it { should have_and_belong_to_many(association) }
2N/A    end
2N/A  end
2N/A
58N/A  context 'migrations' do
2N/A    it { should have_db_index(:state) }
2N/A    it { should have_db_index(:language_id) }
2N/A    it { should have_db_index(:logic_id) }
2N/A  end
23N/A
23N/A  context 'attributes' do
23N/A    it { should strip_attribute :name }
23N/A    it { should_not strip_attribute :description }
23N/A  end
32N/A
32N/A  context 'Validations' do
32N/A    [
34N/A      'http://example.com/',
32N/A      'https://example.com/',
34N/A      'file://path/to/file',
32N/A      '',
32N/A      nil
58N/A    ].each do |val|
32N/A      it { should allow_value(val).for :documentation }
225N/A    end
225N/A
225N/A    it { should_not allow_value('fooo').for :documentation }
225N/A  end
225N/A
225N/A  context 'ontology instance' do
225N/A    let(:ontology) { create :ontology }
225N/A
225N/A    context 'with name' do
225N/A      let(:name) { 'fooo' }
2N/A
38N/A      before { ontology.name = name }
38N/A
38N/A      it 'have to_s' do
38N/A        expect(ontology.to_s).to eq(name)
38N/A      end
38N/A    end
38N/A
83N/A    context 'without name' do
83N/A      before { ontology.name = nil }
99N/A
2N/A      it 'have to_s' do
92N/A        expect(ontology.to_s).to eq(ontology.iri)
92N/A      end
92N/A    end
2N/A  end
2N/A
313N/A  context 'when naming an ontology' do
2N/A    let(:ontology) { create :ontology }
34N/A    let(:dgnode_name) { "https://raw.github.com/ontohub/OOR_Ontohub_API/master/Domain_Fields_Core.owl" }
2N/A
313N/A    it 'should determine a name according to our style' do
313N/A      expect(ontology.generate_name(dgnode_name)).to eq('Domain Fields Core')
313N/A    end
34N/A  end
2N/A
313N/A  context 'when deleting' do
53N/A    context 'a general ontology' do
34N/A      let(:ontology) { create :ontology }
70N/A      let(:file) { ontology.path }
2N/A      let(:repository) { ontology.repository }
2N/A
2N/A      before do
2N/A        repository.git.commit_file(repository.user_info(user), 'file deletion test', file, 'add file')
70N/A      end
105N/A
105N/A      it 'should delete the defining file as well' do
2N/A        expect(repository.path_exists?(file)).to be(true)
70N/A        ontology.destroy_with_parent(user)
70N/A        expect(repository.path_exists?(file)).to be(false)
70N/A      end
70N/A
70N/A      it 'should be deleted' do
70N/A        param = ontology.to_param
70N/A        ontology.destroy_with_parent(user)
70N/A        expect { Ontology.find(param) }.to raise_error(ActiveRecord::RecordNotFound)
70N/A      end
70N/A    end
6N/A
6N/A    context 'a single ontology in a distributed ontology' do
6N/A      let(:distributed_ontology) do
34N/A        create :distributed_ontology, :with_children
34N/A      end
34N/A      let(:ontology) { distributed_ontology.children.first }
34N/A
34N/A      before do
34N/A        stub = ->(_u, _t, _m, &block) { block.call('0'*40) }
34N/A        allow_any_instance_of(Repository).to receive(:delete_file, &stub)
313N/A      end
38N/A
34N/A      it 'should delete the parent' do
38N/A        param = distributed_ontology.to_param
34N/A
92N/A        ontology.destroy_with_parent(user)
145N/A        expect { Ontology.find(param) }.
500N/A          to raise_error(ActiveRecord::RecordNotFound)
500N/A      end
500N/A
500N/A      it 'should delete all child ontologies as well' do
500N/A        params = distributed_ontology.children.map(&:to_param)
500N/A
500N/A        ontology.destroy_with_parent(user)
92N/A        params.each do |param|
92N/A          expect { Ontology.find(param) }.to raise_error(ActiveRecord::RecordNotFound)
92N/A        end
92N/A      end
92N/A    end
92N/A
92N/A    context 'a distributed ontology' do
92N/A      let(:ontology) { create :distributed_ontology, :with_children }
313N/A
38N/A      before do
34N/A        stub = ->(_u, _t, _m, &block) { block.call('0'*40) }
38N/A        allow_any_instance_of(Repository).to receive(:delete_file, &stub)
32N/A      end
2N/A
      it 'should delete the child ontologies as well' do
        param = ontology.to_param
        ontology.destroy_with_parent(user)

        expect { Ontology.find(param) }.to raise_error(ActiveRecord::RecordNotFound)
      end

      it 'should delete the child ontologies as well' do
        params = ontology.children.map(&:to_param)
        ontology.destroy_with_parent(user)

        expect { Ontology.find(params) }.to raise_error(ActiveRecord::RecordNotFound)
      end
    end

    context 'an imported ontology (meaning any kind of mapping)' do
      let(:parent_ontology) { create :distributed_ontology, :with_children }
      let(:ontology) { parent_ontology.children.first }
      let(:sibling_ontology) { parent_ontology.children.last }

      before do
        stub = ->(_u, _t, _m, &block) { block.call('0'*40) }
        allow_any_instance_of(Repository).to receive(:delete_file, &stub)
      end

      context 'imported by an onology in a different repository' do
        let(:importing) { create :ontology }
        before { create :mapping, target: importing, source: ontology }

        it 'should not be allowed' do
          expect { ontology.destroy_with_parent(user) }.
            to raise_error(Ontology::DeleteError)
        end
      end

      context 'with sibling imported by an onology in a different repository' do
        let(:importing) { create :ontology }
        before { create :mapping, target: importing, source: sibling_ontology }

        it 'should not be allowed' do
          expect { ontology.destroy_with_parent(user) }.
            to raise_error(Ontology::DeleteError)
        end
      end

      context 'imported by an onology in the same repository but another file' do
        let(:importing) { create :ontology, repository: ontology.repository }
        before { create :mapping, target: importing, source: ontology }

        it 'should not be allowed' do
          expect { ontology.destroy_with_parent(user) }.
            to raise_error(Ontology::DeleteError)
        end
      end

      context 'imported by an onology in the same file' do
        let(:importing) { sibling_ontology }
        before { create :mapping, target: importing, source: ontology }

        it 'should be allowed' do
          expect { ontology.destroy_with_parent(user) }.to_not raise_error
        end
      end
    end
  end

  context 'when parsing a non-ontology-file', :needs_hets do
    let(:repository) { create :repository }
    let(:version) { add_fixture_file(repository, 'xml/catalog-v001.xml') }

    it 'no ontology should exist' do
      expect(repository.ontologies).to be_empty
    end

  end

  context 'when trying to get the imported ontologies' do
    let!(:ontology) { create :ontology }
    let!(:imported_ontology) do
      imported = create :single_ontology
      create :import_mapping, target: ontology, source: imported
      imported
    end

    it 'should fetch immediately imported ontologies' do
      expect(ontology.imported_ontologies).to include(imported_ontology)
      expect(ontology.imported_ontologies.size).to be(1)
    end

    context 'which have imports themselves' do
      let!(:imported_imported_ontology) do
        imported = create :single_ontology
        create :import_mapping, target: imported_ontology, source: imported
        imported
      end

      it 'should fetch all imported ontologies' do
        expect(ontology.imported_ontologies).to include(imported_ontology)
        expect(ontology.imported_ontologies).
          to include(imported_imported_ontology)
        expect(ontology.imported_ontologies.size).to be(2)
      end

    end
  end

  context 'when parsing', :needs_hets do
    let(:user) { create :user }
    let(:repository) { create :repository, user: user }

    context 'a distributed ontology' do
      before do
        stub_hets_for('casl/partial_order.casl')
      end

      it 'should have logic DOL' do
        path = ontology_file('casl/partial_order')
        version = repository.save_file(
          path,
          'partial_order.casl',
          'parsing a distributed ontology',
          user)

        expect(version.ontology.logic.name).to eq('DOL')
      end
    end

    context 'a TPTP file with an open theorem' do
      let(:version) do
        path = ontology_file('tptp/Simple_Implications_Group')
        repository.save_file(path,
                             'Simple_Implications_Group.tptp',
                             'parsing a TPTP file',
                             user)
      end

      before do
        stub_hets_for('tptp/Simple_Implications_Group.tptp')
      end

      it 'be a SingleOntology' do
        expect(version.ontology.class).to be(SingleOntology)
      end

      it 'have logic SoftFOL' do
        expect(version.ontology.logic.name).to eq('SoftFOL')
      end

      it 'have one Theorem' do
        expect(version.ontology.theorems.count).to eq(1)
      end

      it 'have a provable Theorem' do
        expect(version.ontology.theorems.first.provable).to be(true)
      end

      it 'have an open Theorem' do
        expect(version.ontology.theorems.first.proof_status.identifier).
          to eq(ProofStatus::DEFAULT_OPEN_STATUS)
      end
    end

    context 'a TPTP file with a proven theorem' do
      let(:version) do
        path = fixture_file('ontologies/tptp/zfmisc_1__t92_zfmisc_1.p')
        repository.save_file(path,
                             'zfmisc_1__t92_zfmisc_1.p',
                             'parsing a TPTP file',
                             user)
      end

      before do
        stub_hets_for('tptp/zfmisc_1__t92_zfmisc_1.p')
      end

      it 'be a SingleOntology' do
        expect(version.ontology.class).to be(SingleOntology)
      end

      it 'have logic SoftFOL' do
        expect(version.ontology.logic.name).to eq('SoftFOL')
      end

      it 'have one Theorem' do
        expect(version.ontology.theorems.count).to eq(1)
      end

      it 'have an unprovable Theorem' do
        expect(version.ontology.theorems.first.provable).to be(false)
      end

      it 'have a proven Theorem' do
        expect(version.ontology.theorems.first.proof_status.identifier).
          to eq(ProofStatus::DEFAULT_PROVEN_STATUS)
      end
    end
  end

  context 'when parsing an ontology which contains logic translations', :needs_hets do
    let(:repository) { create :repository }
    let(:version) { add_fixture_file(repository, 'dol/double_mapped_logic_translated_blendoid.dol') }
    let(:ontology) { version.ontology.children.find_by_name('DMLTB-TheClifOne') }

    context 'the logically translated ontology' do

      before do
        stub_hets_for('dol/double_mapped_logic_translated_blendoid.dol')
      end
      it 'should contain imported sentences' do
        expect(ontology.imported_sentences).to_not be_empty
      end

      it 'should contain logic translations' do
        expect(ontology.contains_logic_translations?).to be(true)
      end

      it 'should have an ontology-version' do
        expect(ontology.ontology_version).to_not be(nil)
      end

    end

  end

  # context 'when parsing an ontology which is referenced by another ontology', :needs_hets do
  #   let(:repository) { create :repository }
  #   let(:presentation) do
  #     referenced_ontology = nil
  #     ontology = define_ontology('Foo') do
  #       this = prefix('ontohub')
  #       imports define('Bar', as: :referenced_ontology) do
  #         prefix('other_ontohub').class('SomeBar')
  #       end
  #       this.class('Bar').sub_class_of this.class('Foo')
  #     end
  #   end
  #   let(:referenced_presentation) { presentation.referenced_ontology }
  #   let(:version) { version_for_file(repository, presentation.file.path) }
  #   let(:ontology) { version.ontology.reload }

  #   before do
  #     ExternalRepository.stub(:download_iri) do |external_iri|
  #       absolute_path = external_iri.sub('file://', '')
  #       dir = Pathname.new('/tmp/reference_ontologies/').
  #         join(ExternalRepository.determine_path(external_iri, :dirpath))
  #       ExternalRepository.send(:ensure_path_existence, dir)
  #       filepath = dir.join(ExternalRepository.send(:determine_basename, external_iri))
  #       FileUtils.cp(absolute_path, filepath)
  #       filepath
  #     end
  #     version
  #     ExternalRepository.unstub(:download_iri)
  #   end

  #   let(:referenced_ontology) do
  #     name = File.basename(referenced_presentation.name, '.owl')
  #     Ontology.where("name LIKE '#{name}%'").first!
  #   end

  #   it 'should import an ontology with that name' do
  #     expect(ontology.direct_imported_ontologies).to include(referenced_ontology)
  #   end

  #   it 'should have an ontology-version' do
  #     expect(ontology.ontology_version).to_not be(nil)
  #   end

  #   it 'should have a referenced ontology with an ontology-version' do
  #     expect(referenced_ontology.ontology_version).to_not be(nil)
  #   end
  # end

  context 'Import single Ontology' do
    let(:user) { create :user }
    let(:ontology) { create :single_ontology }

    before do
      parse_ontology(user, ontology, 'casl/test1.casl')
    end

    it 'should save the logic' do
      expect(ontology.logic.try(:name)).to eq('CASL')
    end

    context 'symbol count' do
      it 'should be correct' do
        expect(ontology.symbols.count).to eq(2)
      end

      it 'should be reflected in the corresponding field' do
        expect(ontology.symbols_count).to eq(ontology.symbols.count)
      end
    end

    context 'sentence count' do
      it 'should be correct' do
        expect(ontology.sentences.original.count).to eq(1)
      end

      it 'should be reflected in the corresponding field' do
        expect(ontology.sentences_count).to eq(ontology.sentences.original.count)
      end
    end

    context 'axioms count' do
      it 'should be correct' do
        expect(ontology.axioms.original.count).to eq(1)
      end

      it 'should be reflected in the corresponding field' do
        expect(ontology.axioms_count).to eq(ontology.axioms.original.count)
      end
    end

    context 'theorems count' do
      it 'should be correct' do
        expect(ontology.theorems.original.count).to eq(0)
      end

      it 'should be reflected in the corresponding field' do
        expect(ontology.theorems_count).to eq(ontology.theorems.original.count)
      end
    end
  end

  context 'Import distributed Ontology' do
    let(:user) { create :user }
    let(:ontology) { create :distributed_ontology }

    before do
      parse_ontology(user, ontology, 'casl/test2.casl')
    end

    it 'should create all single ontologies' do
      expect(SingleOntology.count).to eq(4)
    end

    it 'should have all children ontologies' do
      expect(ontology.children.count).to eq(4)
    end

    it 'should have the correct mapping count' do
      expect(ontology.mappings.count).to eq(3)
    end

    it 'should have the DOL-logic assigned to the logic-field' do
      expect(ontology.logic.try(:name)).to eq('DOL')
    end

    it 'should have no symbols' do
      expect(ontology.symbols.count).to eq(0)
    end

    it 'should have no sentences' do
      expect(ontology.sentences.original.count).to eq(0)
    end

    context 'first child ontology' do
      let(:child) { ontology.children.where(name: 'sp__E1').first }

      it 'should have symbols' do
        expect(child.symbols.count).to eq(2)
      end

      it 'should have one sentence' do
        expect(child.sentences.original.count).to eq(1)
      end
    end

    context 'all child ontologies' do
      it 'should have the same state as the parent' do
        ontology.children.each do |child|
          expect(child.state).to eq(ontology.state)
        end
      end
    end

  end

  context 'Import another distributed Ontology' do
    let(:user) { create :user }
    let(:ontology) { create :distributed_ontology }
    let(:combined) { ontology.children.where(name: 'VAlignedOntology').first }

    before do
      parse_ontology(user, ontology, 'dol/align.dol')
    end

    it 'should create single ontologies' do
      expect(SingleOntology.count).to eq(4)
    end

    it 'should create a combined ontology' do
      expect(combined).to_not be(nil)
    end

    context 'kinds' do
      let(:kinds) { combined.symbols.map(&:kind) }

      it 'should be assigned to symbols of the combined ontology' do
        expect(kinds).to_not include('Undefined')
      end
    end

  end

  context 'Import Ontology with an error occurring while parsing' do
    let(:user) { create :user }
    let(:ontology) { create :single_ontology }
    let(:error_text) { 'An error occurred' }

    before do
      # Stub ontology_end because this is always run after the iri
      # has been locked by the ConcurrencyBalancer.
      allow_any_instance_of(Hets::DG::NodeEvaluator).
        to receive(:ontology_end).and_raise(error_text)
    end

    it 'should propagate the error' do
      expect { parse_ontology(user, ontology, 'casl/test1.casl') }.
        to raise_error(Exception, error_text)
    end

    it 'should be possible to parse it again (no AlreadyProcessingError)' do
      begin
        parse_ontology(user, ontology, 'casl/test1.casl')
      rescue Exception => e
        allow_any_instance_of(Hets::DG::NodeEvaluator).
          to receive(:ontology_end).and_call_original

        expect { parse_ontology(user, ontology, 'casl/test1.casl') }.
          not_to raise_error
      end
    end
  end

  context 'Import Ontology with a theorem' do
    let(:user) { create :user }
    let(:ontology) { create :distributed_ontology }
    let(:child_with_theorem) do
      ontology.children.where(name: 'strict_partial_order').first
    end

    before do
      parse_ontology(user, ontology, 'casl/partial_order.casl')
    end

    context 'theorem count' do
      it 'should be correct' do
        expect(child_with_theorem.theorems.original.count).to eq(1)
      end

      it 'should be reflected in the corresponding field' do
        expect(child_with_theorem.theorems_count).
          to eq(child_with_theorem.theorems.original.count)
      end
    end
  end

  context 'Import Ontology with extension mappings' do
    let(:user) { create :user }
    let(:ontology) { create :distributed_ontology }
    let(:children_with_theorems) do
      [ontology.children.where(name: 'my_ont').first,
        ontology.children.where(name: 'Scenario').first]
    end

    before do
      parse_ontology(user, ontology, 'dol/CompetencyQuestion.dol')
    end

    context 'theorems count' do
      it 'should be correct' do
        children_with_theorems.each do |child|
          expect(child.theorems.original.count).to eq(1)
        end
      end

      it 'should be reflected in the corresponding field' do
        children_with_theorems.each do |child|
          expect(child.theorems_count).to eq(child.theorems.original.count)
        end
      end
    end
  end

  context 'checking ordering of Ontology list' do
    before do
      Ontology::States::STATES.each do |state|
        create :ontology, state: state
      end
    end
    let(:ontology_list) { Ontology.list }
    let(:done_state) { 'done' }

    it 'list done ontologies first' do
      expect(ontology_list.first.state).to eq(done_state)
    end
  end

  context 'determining active version of ontology' do
    context 'with only one version' do
      let(:ontology_one_version) do
        create(:ontology_version).ontology
      end
      it 'be equal to current version' do
        expect(ontology_one_version.active_version).
          to eq(ontology_one_version.ontology_version)
      end
    end

    context 'if current is done' do
      let(:ontology_two_versions) do
        create(:ontology_version).ontology
      end
      before do
        create(:ontology_version, ontology: ontology_two_versions)
      end

      it 'be equal to current version' do
        expect(ontology_two_versions.active_version).
          to eq(ontology_two_versions.ontology_version)
      end
    end

    context 'if current failed' do
      let!(:ontology) { create :ontology }
      let!(:done_version) do
        create :ontology_version,
          state: 'done', ontology: ontology
      end
      let!(:failed_version) do
        create(:ontology_version,
          state: 'failed', ontology: ontology)
      end

      before do
        ontology.ontology_version = failed_version
        ontology.state = 'failed'
        ontology.save
      end

      it 'be equal to second to latest version' do
        expect(ontology.active_version).to eq(done_version)
      end
    end
  end

  context 'correctness of non_current_active_version? question' do
    let!(:admin) { create(:user, admin: true) }
    let!(:user) { create(:user) }
    let!(:owner) { create(:user) }
    let!(:ontology) { create(:ontology) }
    let!(:failed_version) do
      create(:ontology_version,
        state: 'failed', user: owner, ontology: ontology)
    end

    let!(:current_ontology) { create(:ontology) }
    let!(:current_ontology_version) do
      create(:ontology_version,
        state: 'done', user: owner, ontology: current_ontology)
    end
    before do
      create(:ontology_version,
                         state: 'done',
                         user: owner,
                         ontology: ontology)
      ontology.ontology_version = failed_version
      ontology.state = 'failed'
      ontology.save
      current_ontology.ontology_version = current_ontology_version
      current_ontology.save
    end

    context 'be true, iff the active version != current one '\
      'according to user' do

      it 'not the non-current active version' do
        expect(ontology.non_current_active_version?).to be(false)
      end

      it 'not the non-current active version for the user' do
        expect(ontology.non_current_active_version?(user)).to be(false)
      end

      it 'not the non-current active version for the admin' do
        expect(ontology.non_current_active_version?(admin)).to be(true)
      end

      it 'not the non-current active version for the owner' do
        expect(ontology.non_current_active_version?(owner)).to be(true)
      end
    end

    context 'be false, iff the active version == current one '\
      'according to user' do

      it 'not the non-current active version' do
        expect(current_ontology.non_current_active_version?).to be(false)
      end

      it 'not the non-current active version for the user' do
        expect(current_ontology.non_current_active_version?(user)).to be(false)
      end

      it 'not the non-current active version for the admin' do
        expect(current_ontology.non_current_active_version?(admin)).to be(false)
      end

      it 'not the non-current active version for the owner' do
        expect(current_ontology.non_current_active_version?(owner)).to be(false)
      end
    end
  end
end