-
Key: DOL-4
-
Status: closed
-
Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
-
Summary:
Each of "dol:Ontology", "dol:Specification" and "dol:MDEModel" are defined as "logical theories", but they are not subclasses of dol:LogicalTheory. Further, their definition suggests they are roles (i.e. non-rigid properties) of dol:LogicalTheory. If this is the intended meaning, then the definition should say this explicitly.
(API4KB team)
-
Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:12 GMT
-
Disposition: Resolved — DOL 1.0
-
Disposition Summary:
*revised definitions of OMS, ontology, MDE model and specification *
Indeed, the use of "logical theory" for the definitions is misleading here. We improved the definitions of OMS, ontology, MDE model, and specification both in the DOL spec and the ontology.
-
Updated: Mon, 2 Apr 2018 18:07 GMT
-
Attachments:
- 307-308.diff 4 kB ()
- spec307-308-diff.pdf 192 kB (application/pdf)
DOL — Elements described as "logical theories" are not defined as such
- Key: DOL-4
- OMG Task Force: DOL 1.0 FTF