DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — The definition of DOLLibrary does not match its specification in the ontology

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

    DOLLibrary is formalized as "semanticallyDenotes some GlobalEnvironment", but this doesn't seem to arise from the natural language definition.

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:24 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *axioms are added to reflect the textual definition *

    A DOLLibrary is now (additionally) formalised as having OMS, OMSMappings and OMSNetworks as parts.

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