DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — Revise/clarify the definition and related notes for dol:LogicReduction in the ontology

Open Closed All
  • Key: DOL-18
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    LogicReduction has a note "mapping between logics forgetting parts of the structure, projection to a smaller logic, in contrast to reduction". Should be "mapping between logics forgetting parts of the structure, projection to a smaller logic, in contrast to translation"

    (API4KB team)
  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:34 GMT
  • Disposition: Closed; No Change — DOL 1.0
  • Disposition Summary:

    *see http://issues.omg.org/browse/DOL-53*

    This has been covered by the proposal
    http://issues.omg.org/browse/DOL-53
  • Updated: Mon, 2 Apr 2018 18:07 GMT