-
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:
- 317.diff 0.8 kB ()
DOL — There are redundant axioms for LogicTranslation and LogicReduction
- Key: DOL-14
- OMG Task Force: DOL 1.0 FTF