ontohub/ontohub

# A logic_mapping propulation procedure.
#
# TODO Transform this code in an iterator to enable unit testing
#
# Author: Daniel Couto Vale <danielvale@uni-bremen.de>
#
class LogicMappingPopulation

  # A triple store with logic_mappings
  @store

  def initialize(store, logic_map)
    @store = store
    @logic_map = logic_map
  end

  def list()
    type_iri = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type'
    label_iri = 'http://www.w3.org/2000/01/rdf-schema#label'
    comment_iri = 'http://www.w3.org/2000/01/rdf-schema#comment'
    defined_iri = 'http://www.w3.org/2000/01/rdf-schema#isDefinedBy'
    mapping_type_iri = 'http://purl.net/dol/1.0/rdf#LogicMapping'
    default_iri = 'http://purl.net/dol/1.0/rdf#DefaultMapping'
    maps_from_iri = 'http://purl.net/dol/1.0/rdf#mapsFrom'
    maps_to_iri = 'http://purl.net/dol/1.0/rdf#mapsTo'
    status_iri = 'http://purl.net/dol/1.0/standardization#standardizationStatus'
    faithfulness_iris = [
      'http://purl.net/dol/1.0/rdf#UnfaithfulMapping',
      'http://purl.net/dol/1.0/rdf#FaithfulMapping',
      'http://purl.net/dol/1.0/rdf#ModelExpansiveMapping',
      'http://purl.net/dol/1.0/rdf#ModelBijectiveMapping',
      'http://purl.net/dol/1.0/rdf#EmbeddingMapping',
      'http://purl.net/dol/1.0/rdf#SubLogic'
    ]
    theoroidalness_iris = [
      'http://purl.net/dol/1.0/rdf#PlainMapping',
      'http://purl.net/dol/1.0/rdf#SimpleTheoroidalMapping',
      'http://purl.net/dol/1.0/rdf#TheoroidalMapping',
      'http://purl.net/dol/1.0/rdf#GeneralizedMapping'
    ]
    exactness_iris = [
      'http://purl.net/dol/1.0/rdf#InexactMapping',
      'http://purl.net/dol/1.0/rdf#WeaklyMonoExactMapping',
      'http://purl.net/dol/1.0/rdf#WeaklyExactMapping',
      'http://purl.net/dol/1.0/rdf#ExactMapping'
    ]

    mapping_iris = @store.subjects(type_iri, mapping_type_iri)
    mapping_iris.map do |mapping_iri|
      mapping_names = @store.objects(mapping_iri, label_iri)
      mapping_defis = @store.objects(mapping_iri, defined_iri)
      mapping_source_ids = @store.objects(mapping_iri, maps_from_iri)
      mapping_target_ids   = @store.objects(mapping_iri, maps_to_iri)
      mapping_types = @store.objects(mapping_iri, type_iri)
      mapping_name = mapping_names == [] ? mapping_iri : mapping_names[0]
      mapping_defi = mapping_defis == [] ? mapping_iri : mapping_defis[0]
      mapping_source = mapping_source_ids == [] ? nil : @logic_map[mapping_source_ids[0]]
      mapping_target = mapping_target_ids == [] ? nil : @logic_map[mapping_target_ids[0]]
      default = false
      faithfulness_i = 0
      theoroidalness_i = 0
      exactness_i = 0
      mapping_types.each do |type|
        default = type == default_iri ? true : default
        index = faithfulness_iris.index(type)
        faithfulness_i = index != nil ? index : faithfulness_i
        index = theoroidalness_iris.index(type)
        theoroidalness_i = index != nil ? index : theoroidalness_i
        index = exactness_iris.index(type)
        exactness_i = index != nil ? index : exactness_i
      end
      if faithfulness_i > 2 then
        exactness_i = 3
      end

      LogicMapping.new \
        :iri => mapping_iri,
        #:name => mapping_name,
        :defined_by => mapping_defi,
        :source_id => mapping_source.iri,
        :target_id => mapping_target.iri,
        :source => mapping_source,
        :target => mapping_target,
        :default => default,
        :faithfulness => LogicMapping::FAITHFULNESSES[faithfulness_i],
        :theoroidalness => LogicMapping::THEOROIDALNESSES[theoroidalness_i],
        :exactness => LogicMapping::EXACTNESSES[exactness_i]
    end
  end
end