Searched defs:ontology (Results 1 - 11 of 11) sorted by relevance

/ontohub/app/controllers/
H A Dontology_version_member.rb3 # 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 Dtheorems_controller.rb2 belongs_to :ontology
12 def ontology method in class:TheoremsController
13 @ontology ||= Ontology.find(params[:ontology_id])
H A Dprover_outputs_controller.rb5 helper_method :ontology, :theorem, :proof_attempt
18 def ontology method in class:ProverOutputsController
19 @ontology ||= Ontology.find(params[:ontology_id])
23 authorize! :show, ontology.repository
H A Doops_requests_controller.rb26 def ontology method in class:OopsRequestsController
31 ontology.versions.where(number: params[:ontology_version_id]).first!
H A Dproof_attempts_controller.rb4 helper_method :ontology, :theorem
19 def ontology method in class:ProofAttemptsController
20 @ontology ||= Ontology.find(params[:ontology_id])
24 authorize! :show, ontology.repository
28 authorize! :write, ontology.repository
H A Dproofs_controller.rb4 helper_method :ontology
27 def ontology method in class:ProofsController
28 resource.ontology
35 url_for([resource.proof_obligation.ontology, :theorems])
40 authorize! :write, ontology.repository
/ontohub/app/helpers/
H A Dhistory_helper.rb6 def ontology method in class:HistoryHelper
7 @ontology ||= repository.primary_ontology(path)
/ontohub/app/models/
H A Daxiom_selection.rb23 def ontology method in class:AxiomSelection
24 @ontology ||= goal.ontology
/ontohub/lib/parsing_callback/
H A Dgeneric_callback.rb5 attr_reader :ontology
7 def initialize(ontology)
8 @ontology = ontology
13 def ontology(_hash, _ontology) method in class:ParsingCallback.GenericCallback
/ontohub/lib/
H A Diri_url_builder.rb39 def ontology method in class:IRIUrlBuilder.Builder
40 ontology_version.ontology
44 ontology_version.ontology.repository
/ontohub/app/fake_records/
H A Dcombination.rb11 create!(*args).ontology
28 ontology
43 def ontology method in class:Combination
44 @ontology ||= create_ontology!

Completed in 30 milliseconds