| /ontohub/app/controllers/ |
| H A D | tools_controller.rb | 2 belongs_to :ontology
4 @ontology = Ontology.find(params[:ontology_id])
5 @projects = Project.where(ontology: @ontology)
|
| H A D | ontology_version_member.rb | 3 # ontology version.
9 def ontology method in class:OntologyVersionMember
10 @ontology ||= Ontology.find(params[:ontology_id])
14 @version ||= ontology.versions.find_by_number!(params[:number])
|
| H A D | theorems_controller.rb | 2 belongs_to :ontology
12 def ontology method in class:TheoremsController
13 @ontology ||= Ontology.find(params[:ontology_id])
|
| /ontohub/app/models/ |
| H A D | alternative_iri.rb | 2 belongs_to :ontology
4 attr_accessible :iri, :ontology
|
| H A D | review.rb | 2 belongs_to :ontology
|
| /ontohub/lib/ |
| H A D | ontology_bean_list_factory.rb | 11 def add_small_bean(ontology)
12 @bean_list.push(make_small_bean(ontology)) if @bean_list.size < 50
15 def make_small_bean(ontology)
17 name: ontology.name,
19 language: ontology.language.nil? ? '' : ontology.language.name,
20 logic: ontology.logic.nil? ? '' : ontology.logic.name,
21 iri: ontology.iri,
22 url: "/repositories/#{ontology
[all...] |
| H A D | parsing_callback.rb | 2 def self.determine_for(ontology)
3 logic_name = ontology.logic.to_s
8 return moddule.const_get(:Callback).new(ontology)
12 GenericCallback.new(ontology)
|
| H A D | tarjan_tree.rb | 4 attr_accessor :hashed_symbols, :subclasses, :ontology, :symbols
7 def initialize(ontology)
8 self.ontology = ontology
10 self.symbols = ontology.symbols
12 self.subclasses = inheritance_sentences(ontology)
18 child = ontology.symbols.where('name = ? OR iri = ?', c1, c1).first!
19 parent = ontology.symbols.where('name = ? OR iri = ?', c2, c2).first!
26 create_tree(ontology)
29 def self.for(ontology)
[all...] |
| /ontohub/lib/hets/ |
| H A D | provers_options.rb | 11 ontology = @options[:ontology]
12 if ontology.is_a?(Ontology)
13 @options[:node] = ontology.name if ontology.in_distributed?
14 @options.delete(:ontology)
|
| /ontohub/spec/factories/ |
| H A D | ontology_factory.rb | 11 factory :ontology do |ontology|
24 ontology.after(:build) do |ontology|
26 ontology: ontology,
27 basepath: ontology.basepath,
28 file_extension: ontology.file_extension,
30 ontology.versions << version
33 ontology
[all...] |
| H A D | action_factory.rb | 3 association :resource, factory: :ontology
|
| /ontohub/app/helpers/ |
| H A D | sentence_helper.rb | 4 if sentence.display_text? && sentence.ontology.logic.name == 'OWL'
11 def link_to_sentence_origin(sentence, ontology)
12 if sentence.ontology != ontology
13 t('sentences.sentence.defined_in', link: link_to(sentence.ontology,
14 [sentence.ontology.repository, sentence.ontology]))
|
| /ontohub/app/models/ontology_version/ |
| H A D | proving.rb | 5 repo = ontology.repository
8 ontology: ontology)
|
| /ontohub/spec/models/repository/ |
| H A D | retry_failed_spec.rb | 5 describe 'failed ontology' do
7 let(:ontology){ ontology_version.ontology }
8 let(:repository){ ontology.repository }
11 ontology.versions.last.send :update_state!, :failed
17 ontology.reload
21 it { ontology.state.should == 'pending' }
|
| /ontohub/features/step_definitions/ |
| H A D | repository_file_browser_steps.rb | 1 When(/^I visit the file browser of the ontology's repository$/i) do
2 visit repository_tree_path(@ontology.repository)
5 Then(/^I should see the ontology's file$/i) do
9 has_link?(@ontology.path, polymorphic_path(@ontology))).
13 Then(/^I should see the ontlogy next to the ontology's file$/i) do
14 ontology_cell_selector = 'table.file-table td.ontology ul.ontology-list'
17 has_link?(@ontology.name, polymorphic_path(@ontology)))
[all...] |
| H A D | repository_edit_file_steps.rb | 1 def build_version_for(ontology)
3 ontology.versions.build(
6 basepath: File.basepath(ontology.path),
7 file_extension: File.extname(ontology.path),
12 Given(/^I have uploaded a(.*) ontology$/) do |type|
16 And there is a#{type} ontology
17 And I have permissions to edit the ontology
18 And there is an ontology file
22 Given(/^Children of the ontology have been deleted$/i) do
23 @deleted_child = @ontology
[all...] |
| H A D | loc_id_steps.rb | 1 Given(/^there is a single ontology$/) do
2 @ontology = FactoryGirl.create(:single_unparsed_ontology)
5 Given(/^there is a single\-in\-distributed ontology$/) do
7 @ontology = @parent_ontology.children.first
10 When(/^I visit the ontology via the loc\/id$/) do
11 visit @ontology.locid
|
| /ontohub/lib/hets/dg/ |
| H A D | node_evaluation_helper.rb | 4 def clean_ontology(ontology)
5 ontology.symbols.destroy_all
6 ontology.all_sentences.destroy_all
7 ontology.symbols_count = 0
8 ontology.sentences_count = 0
9 ontology.axioms_count = 0
10 ontology.theorems_count = 0
11 ontology.save!
14 def assign_language(ontology, current_element)
17 ontology
[all...] |
| /ontohub/spec/controllers/ |
| H A D | ontology_versions_controller_spec.rb | 8 let(:ontology) { create :distributed_ontology }
9 let(:ontology_child) { ontology.reload; ontology.children.first }
10 let(:repository) { ontology.repository }
13 parse_ontology(user, ontology, 'casl/test2.casl')
30 let(:ontology) { version.ontology }
31 let(:repository) { ontology.repository }
35 get :index, repository_id: repository.to_param, ontology_id: ontology.to_param
40 context 'for a single ontology' d
[all...] |
| H A D | axioms_controller_spec.rb | 5 let!(:ontology) { axiom.ontology }
12 repository_id: ontology.repository.to_param,
13 ontology_id: ontology.to_param
|
| H A D | mappings_controller_spec.rb | 4 let(:ontology) { create :linked_distributed_ontology }
5 let(:mapping) { ontology.mappings.last }
11 repository_id: ontology.repository.to_param,
12 ontology_id: ontology.to_param,
|
| /ontohub/spec/lib/ |
| H A D | tarjan_spec.rb | 6 let(:ontology) { create :ontology }
11 ontology,
14 ontology.reload
18 expect(ontology.symbol_groups.size).to be(4)
19 symbols = ontology.symbols.where(name: ["B1","B2","B3"])
20 expect(ontology.symbol_groups.includes(:symbols).where("symbols.id" => symbols).first).not_to be(nil)
24 expect(ontology.symbol_groups.where("name LIKE '%☰%'")).not_to be_empty
28 symbol_group = ontology.symbol_groups.where(name: "D").first
|
| /ontohub/spec/models/ |
| H A D | symbol_mapping_spec.rb | 5 context 'when importing an ontology', :needs_hets do
8 let(:dist_ontology) { version.ontology }
15 let(:ontology) { dist_ontology.children.find_by_name('test') }
18 expect(ontology.symbols.find_by_name('Human')).to be(nil)
|
| /ontohub/db/data/ |
| H A D | 20160310132620_move_loc_id_to_own_model_data.rb | 20 ontologies_to_parse.uniq.each do |ontology|
23 OntologySaver.new(ontology.repository).
24 async_parse_version(ontology.current_version)
31 ontology = Ontology.find(duplicate[:id])
32 if ontology.parent.is_a?(Ontology)
33 ontology.parent
35 ontology
38 klass.find(duplicate[:id]).ontology
|
| /ontohub/db/seeds/ |
| H A D | 041-proving.rb | 3 ontology = repository.ontologies.find_by_name(ontology_name)
4 Proof.new({ontology_id: ontology.id,
9 ontology = repository.ontologies.find_by_name('v__T')
10 theorem = ontology.theorems.find_by_name('antisymmetric')
11 Proof.new({ontology_id: ontology.id,
16 ontology = repository.ontologies.find_by_name('SubclassToleranceOne')
17 theorem = ontology.theorems.find_by_name('beer < liquid')
18 Proof.new({ontology_id: ontology.id,
26 ontology = repository.ontologies.find_by_name('SubclassToleranceOnePointFive')
27 theorem = ontology
[all...] |