DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — Elements described as "logical theories" are not defined as such

  • 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: