1. OMG Mailing List
  2. Distributed Ontology, Modeling and Specigication Language (DOL1.1 RTF) mailing list

All Issues

  • All Issues
  • Name: dol-rtf
  • Issues Count: 2

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