DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — The definition of simple theoroidal mapping is misleading

  • Key: DOL-30
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. 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
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    clarification of definition of LogicMapping and SimpleTheoroidalMapping

    We have clarified that a LogicMapping is "a mapping (translation or reduction) between two logics consisting of mappings for signatures, sentences and models".

    We further clarified that a SimpleTheoridalMapping is a "logic mapping that maps signatures of the source logic to theories of the target logic"

    These changes should make transparent that a SimpleTheoroidalMapping is a LogicMapping.

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