DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — Colon inconsistency

Open Closed All
  • Key: DOL-38
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Steve Cook)
  • Summary:

    P28. The textual example illustrating section 7.2 contains two inconsistent language lang:CommonLogic terms, one of which is followed by a colon while the other is not.
  • Reported: DOL 1.0b1 — Tue, 23 Aug 2016 09:49 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *change of example *

    there was no inconsistency, because the two lang:CommonLogic terms were used in different syntactic roles (global versus local language qualification). Nevertheless, we have revised the example, such that this is avoided now.
  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments: