Searched refs:axiom (Results 1 - 16 of 16) sorted by relevance
| /ontohub/spec/controllers/ |
| H A D | axioms_controller_spec.rb | 4 let!(:axiom) { create :axiom }
5 let!(:ontology) { axiom.ontology }
|
| /ontohub/spec/models/ |
| H A D | sine_symbol_axiom_trigger_spec.rb | 6 it { expect(subject).to belong_to :axiom }
|
| H A D | proof_attempt_configuration_spec.rb | 46 create :axiom
|
| /ontohub/spec/factories/ |
| H A D | axiom_factory.rb | 2 factory :axiom do
|
| /ontohub/app/models/ |
| H A D | sine_symbol_axiom_trigger.rb | 3 belongs_to :axiom
|
| H A D | sine_axiom_selection.rb | 1 # This class implements the SInE axiom selection algorithm proposed in:
77 ontology.all_axioms.each do |axiom|
78 axiom.symbols.each do |symbol|
79 calculate_symbol_axiom_trigger(symbol, axiom)
84 def calculate_symbol_axiom_trigger(symbol, axiom)
87 axiom_id: axiom.id).first_or_initialize
89 ssat.tolerance = needed_tolerance(symbol, axiom)
94 def needed_tolerance(symbol, axiom)
95 lcs_commonness = commonness_of_least_common_symbol(axiom)
100 def least_common_symbol(axiom)
[all...] |
| /ontohub/lib/parsing_callback/ |
| H A D | owl.rb | 37 def axiom(hash, axiom) method in class:ParsingCallback.Callback
|
| H A D | generic_callback.rb | 22 def axiom(_hash, _axiom) method in class:ParsingCallback.GenericCallback
|
| /ontohub/db/migrate/ |
| H A D | 20150715081870_create_sine_symbol_axiom_triggers.rb | 6 t.references :axiom
19 # SELECT axiom FROM sine_symbol_triggers WHERE symbol_id = 1 AND tolerance <= 1.5
|
| /ontohub/lib/hets/prove/ |
| H A D | prove_evaluation_helper.rb | 111 axiom = find_sentence_or_generate_axiom(axiom_name, proof_attempt)
112 used_axioms << axiom if axiom.is_a?(Axiom)
113 used_theorems << axiom if axiom.is_a?(Theorem)
114 generated_axioms << axiom if axiom.is_a?(GeneratedAxiom)
|
| /ontohub/lib/hets/dg/ |
| H A D | node_evaluator.rb | 17 register :axiom, :end, to: :axiom
95 type1: 'axiom',
102 def axiom(current_element) method in class:Hets.DG.NodeEvaluator
104 axiom = ontology.axioms.update_or_create_from_hash(
109 logic_callback.axiom(current_element, axiom)
117 class: 'axiom',
128 axiom = ontology.axioms.update_or_create_from_hash(
133 logic_callback.axiom(current_elemen
[all...] |
| H A D | nokogiri_listener.rb | 23 AXIOM => :axiom,
118 # add to current axiom
138 # unless the axiom was inside a
144 call_back(:axiom, order, @current_axiom)
146 # return the current axiom
|
| /ontohub/spec/lib/hets/ |
| H A D | prove_options_spec.rb | 9 let!(:axiom) { create :axiom, ontology: ontology }
15 axioms: [axiom.name],
28 axioms: [axiom],
|
| /ontohub/lib/ |
| H A D | ontology_parser.rb | 109 # add to current axiom
126 # unless the axiom was inside a
132 callback(:axiom, @current_axiom)
134 # return the current axiom
|
| /ontohub/config/ |
| H A D | routes.rb | 106 doc title: 'MMT reference to a axiom',
108 Will return a representation of the axiom. The axiom
425 sentence_types = %i(axiom theorem)
453 doc title: 'loc/id reference to an axiom',
455 Will return a representation of the axiom. The axiom
|
| /ontohub/spec/lib/ |
| H A D | proof_spec.rb | 9 let(:axioms) { (1..3).map { create :axiom, ontology: ontology } }
83 context 'axiom selection' do
174 context 'axiom selection' do
|
Completed in 185 milliseconds