logic.rb revision ec4b26551f089e6fac410aba49bfcd8e7fae6536
#
# A named logic in the field of Logics.
#
# Examples:
# * Classical Logic
# * Common Logic
# * Description Logic
# * First-Order Logic
# * Modal Logic
#
class Logic < ActiveRecord::Base
include Resourcable
include Permissionable
STAND_STATUS = %w( AcademicLiterature ISOStandard Unofficial W3CRecommendation W3CTeamSubmission W3CWorkingGroupNote )
DEFINED_BY = %w( registry )
has_many :ontologies
has_many :supports
has_many :logic_mappings, :foreign_key => :source_id
# The creator of this logic in the system
# The logic creator
# * is not necessarily an owner nor an editor
# * may be a current or former user of the system
# * may be the original logician or anyone else
belongs_to :user
attr_accessible :name, :iri, :description, :standardization_status, :defined_by
validates_presence_of :name
validates_uniqueness_of :name, if: :name_changed?
validates_presence_of :iri
validates_uniqueness_of :iri, if: :iri_changed?
#validates_format_of :iri, with: URI::regexp(ALLOWED_URI_SCHEMAS)
after_create :add_permission
def to_s
name
end
def add_language(language)
sup = self.supports.new
sup.language = language
sup.save!
end
def mappings_from
LogicMapping.find_all_by_source_id self.id
end
def mappings_to
LogicMapping.find_all_by_target_id self.id
end
private
def add_permission
permissions.create! :subject => self.user, :role => 'owner' if self.user
end
end