DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — The text definition of dol:Mapping does not agree with the way the class is specified.

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

    The natural language definition of dol:Mapping does not agree with the formalization, in that logic mappings are not set-theoretic mappings, but are families of set-theoretic mappings. The natural language definition could be generalized to "set-theoretic mapping or family of set-theoretic mappings" (as suggested by Till), so that it would be correct to say that dol:LogicMapping is a subclass of dol:Mapping. This would still exclude dol:SignatureMorphism.
  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:22 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    change of definition of Mapping

    We have generalized the definition of Mapping to "set-theoretic mapping or family of set-theoretic mappings".
  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments: