DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — Definition of dol:Language needs clarification

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

    The definition of dol:Language as "collection of expressions" where dol:Expression is "a finite combination of symbols that are well-formed according to applicable rules (depending on the language)" suggests that this class does not include natural languages, only formal languages. This is supported by its usage in the definition of dol:FormalSemantics? To avoid confusion, could this concept be renamed to dol:FormalLanguage (if that is the intent)?

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:35 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    We now distinguish class Language and class FormalLanguage.

    We now distinguish class Language and class FormalLanguage.

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