DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — The definition of simple theoroidal mapping is misleading

  • Key: DOL-30
  • Status: open  
  • Source: Thematix Partners LLC ( Elisa Kendall)
  • Summary:

    SimpleTheoroidalMapping: The definition seems to suggest that this is not a LogicMapping (the natural language definition says it maps signatures to logical theories, while a LogicMapping maps logics to logics). The definition in the document of simple theoroidal logic translation is much clearer. There is a disconnect because only simple theoroidal logic translation is defined in the document, while SimpleTheoroidalMapping as defined in the ontology is more general.

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:17 GMT
  • Updated: Sun, 20 Aug 2017 00:27 GMT
  • Attachments: