DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — Clarify the definition of dol:LogicMapping in the ontology

  • Key: DOL-17
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    The definition of Logic Mapping suggests that it can be any kind of mapping between logics, but the comment says it should be either a translation or reduction, which seems to be more specific. Should LogicMapping be the disjoint union of LogicTranslation and LogicReduction?

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:33 GMT
  • Disposition: Closed; No Change — DOL 1.0
  • Disposition Summary:

    translations or reductions are kinds of LogicMapping, but there could be more

    LogicTranslation and LogicReduction are not disjoint. The extreme case of a LogicMapping that leaves everything unchanged (the identity mapping) is both a LogicTranslation and a LogicReduction.
    Moreover, in the future, there could be LogicMappings that are neither LogicTranslations nor LogicReductions (although it is presently not clear how they would look).
    Hence, we prefer to leave the ontology unchanged here.

  • Updated: Mon, 2 Apr 2018 18:07 GMT