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

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)

*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.