The DOL ontology definition of logical theory needs work

tillmo / DOL

The Distributed Ontology, Modeling and Specification Language (DOL) - an answer to the OMG RFP OntoIOp. * View the latest version here: https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf. * Convenience version with diff to version of August 24: https://github.com/tillmo/DOL/raw/master/Standard/dol-diff.pdf * Homepage of OntoIOp is

http://ontoiop.org

7 stars 1 forks source link

The DOL ontology definition of logical theory needs work #330

Closed tillmo closed 7 years ago

tillmo commented 7 years ago

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. see http://issues.omg.org/browse/DOL-27

tillmo commented 7 years ago

see 330_logical_theory of git@ontohub.org:meta.git Text for DOL FTF: we have changed the wording as suggested, but kept the addition "(over that signature)".

fabianneuhaus commented 7 years ago

omg proposal added.