Mention that minimize can be used to express reachability models

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

Mention that minimize can be used to express reachability models #348

Closed tillmo closed 7 years ago

tillmo commented 7 years ago

If applied to algebraic signatures (sorts + operation symbols), minimize can be used to express reachability (i.e. term-generatedness) of first-order models.

tillmo commented 7 years ago

see 348_reachability Text for FTF: we added a footnote mentioning the use use minimize for expressing term-generatedness, and provided some datatype example (and corrected some other datatype example)

fabianneuhaus commented 7 years ago

OMG proposal added

fabianneuhaus commented 7 years ago

see issue http://issues.omg.org/browse/DOL-90