DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — There are redundant axioms for LogicTranslation and LogicReduction

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

    There is a similar group of redundant axioms for subclasses of LogicTranslation and LogicReduction, that explicitly state they are subclasses of LogicMapping. It should be okay to delete these redundant declarations.

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:30 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    redundant axioms were removed

    We have removed the redundant axiom for Embedding, which is a subclass of LogicTranslation. There is no subclass of LogicReduction.

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