DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — Basic definitions are missing from the DOL ontology

Open Closed All
  • Key: DOL-32
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. 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
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *Renaming of AxiomSentence into Axiom *

    We have changed AxiomSentence into Axiom (and TheoremSentence into Theorem). Symbol occurs as NonLogicalSymbol in the ontology, in accordance to section 4.2 of the DOL document. On page 4, they are (for conciseness) mentioned as "symbols". Module is a class in the ontology.
  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments: