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

DOL 1.1 RTF — All Issues

  • Key: DOL11
  • Issues Count: 2
Create Issue
Open Closed All
All Issues

Issues Summary

Key Issue Reported Fixed Disposition Status
DOL11-2 change characterization of CL DOL 1.0 open
DOL11-1 The DOL ontology should be documented properly in the specification DOL 1.0b1 open

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