DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — Need to clarify the role of logical symbols in the ontology

  • Key: DOL-10
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    The natural language definition of Term "syntactic expression either consisting of a single non-logical symbol or recursively composed of other terms (a.k.a. its subterms)" is a little unclear, as it leaves some question as to the role of logical symbols. The intent is made more clear by the existence of the subclass Sentence, which presumably includes sentences with logical connectives, but as a stand-alone definition it is vague. Perhaps an explanatory note could be added, because in some standards the "term" class does not include sentences.

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:24 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    definition of Term is clarified

    We have clarified that logical symbols can be part of terms. Hopefully, this makes it more transparent.
    There is an axiom that states that Sentence is as subclass of Term. We are not sure what the note should say in addition to that.

  • Updated: Mon, 2 Apr 2018 18:07 GMT
  • Attachments: