DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — Basic definitions are missing from the DOL ontology

  • Key: DOL-32
  • Status: open  
  • Source: Thematix Partners LLC ( Elisa Kendall)
  • Summary:

    On page 4 of the specification document, it states that " DOL is capable of assigning identifiers to entities (symbols, axioms, modules, etc.)." Based on this, we expect to find classes for symbol, axiom and module in the ontology. Is AxiomSentence the same as "axiom"? Definitions for some of these concepts appear to be missing from the ontology, in other words.

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:22 GMT
  • Updated: Sun, 20 Aug 2017 00:27 GMT
  • Attachments: