Lines Matching refs:axiom
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)
101 axiom.symbols.includes(:sine_symbol_commonness).
105 def commonness_of_least_common_symbol(axiom)
106 least_common_symbol(axiom).sine_symbol_commonness.commonness
127 new_axioms.each { |axiom| select_new_axioms(axiom, current_depth + 1) }