DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — The DOL ontology definition of logical theory needs work

  • Key: DOL-27
  • Status: open  
  • Source: Thematix Partners LLC ( Elisa 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
  • Updated: Sun, 20 Aug 2017 00:27 GMT
  • Attachments: