ontohub/ontohub-models

# frozen_string_literal: true

# The ReasoningAttempt model
class ReasoningAttempt < Sequel::Model
  plugin :validation_helpers

  plugin :class_table_inheritance, key: :kind, alias: :reasoning_attempts

  many_to_one :action
  many_to_one :reasoner_configuration
  many_to_one :used_logic_translation, class: LogicTranslation
  many_to_one :used_reasoner, class: Reasoner
  one_to_many :generated_axioms
  one_to_one :reasoner_output
end