DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — The DOL ontology definition of logical theory needs work

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

    In the DOL ontology for LogicalTheory: The natural language definition is kind of awkward: "a signature together with a set of sentences" would be more appropriate.

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:09 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    definition of LogicalTheory improved

    We have changed the wording as suggested, but kept the addition "(over that signature)

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