${taskforce.name} Avatar
  1. OMG Task Force

DOL 1.1 RTF — Open Issues

  • Key: DOL11
  • Issues Count: 2
Open Closed All
Issues not resolved

Issues Descriptions

change characterization of CL

  • Key: DOL11-2
  • Status: open  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    CL is characterized as "has second-order features". It would be better to characterize it as a "has some features like first-order logic
    with induction"

  • Reported: DOL 1.0 — Thu, 21 Dec 2017 19:21 GMT
  • Updated: Thu, 21 Dec 2017 19:22 GMT

The DOL ontology should be documented properly in the specification

  • Key: DOL11-1
  • Status: open  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    While aspects of the ontology are incorporated in definitions in the body of the specification, the ontology itself should be documented via ODM-compliant diagrams, and both ODM/UML XMI and ODM XMI forms for the ontology should be included as deliverables with the specification.

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:37 GMT
  • Updated: Wed, 20 Dec 2017 01:03 GMT