Searched refs:ontology_file (Results 1 - 10 of 10) sorted by relevance

/ontohub/spec/models/ontology_version/
H A Dprovers_spec.rb12 ontology_file('prove/Simple_Implications', 'casl'))
H A Dparsing_spec.rb6 let(:ontology_version) { ontology.save_file(ontology_file('owl/pizza.owl'), 'message', user) }
20 let(:fixture) { ontology_file('clif/Px.clif') }
21 let(:other_fixture) { ontology_file('clif/Qy.clif') }
214 let(:ontology_version) { ontology.save_file(ontology_file('owl/pizza.owl'), 'message', user) }
243 ontology.save_file(ontology_file(ontology_path), 'message', user)
269 ontology.save_file(ontology_file(ontology_path), 'message', user)
/ontohub/spec/factories/
H A Daxiom_selection_factory.rb28 ontology_file(*ontology_fixture_file))
/ontohub/spec/support/
H A Dcommon_helper_methods.rb28 def ontology_file(path, ext=nil) method
41 path = ontology_file(relative_file)
/ontohub/spec/models/
H A Dcommit_spec.rb25 repository.save_file(ontology_file(file),
66 repository.save_file(ontology_file(file),
H A Dontology_spec.rb211 version_for_file(repository, ontology_file('casl/test2.casl'),
231 ontology_file('casl/test2_child_renamed.casl'),
249 ontology_file('casl/test2.casl'),
269 ontology_file('casl/test2_child_deleted.casl'),
287 ontology_file('casl/test2.casl'),
354 path = ontology_file('casl/partial_order')
367 path = ontology_file('tptp/Simple_Implications_Group')
650 let(:ontology_file) { 'casl/test1.casl' }
662 expect { parse_ontology(user, ontology, ontology_file) }.
668 parse_ontology(user, ontology, ontology_file)
[all...]
/ontohub/spec/controllers/
H A Ddiffs_controller_spec.rb8 repository.save_file(ontology_file('xml/empty.xml'), 'hello.txt', 'init', user)
H A Dfiles_controller_spec.rb74 ontology_file('owl/pizza.owl'),'image/jpg')
212 ontology_file('owl/pizza.owl'),'image/jpg')
/ontohub/spec/lib/
H A Daxiom_selection_proof_status_spec.rb20 ontology_file(*ontology_fixture_file))
H A Dproof_status_determining_spec.rb20 ontology_file(*ontology_fixture_file))

Completed in 10 milliseconds