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
P25: “Annex M provides of DOL texts, which provide examples for all DOL constructs,” clumsy. Reword “Annex M provides textual examples for all DOL constructs,”
P25: The bibliography contains Q references -> delete Q
P31: “Often is useful” -> “Often it is useful”
P35: “in this context are ask” -> “in this context ask”
P62: Table 2 should be positioned in 9.8.1.2, not in the middle of 9.8.1.1.
P125: “many-sorted first has been formalized” -> “many-sorted first-order logic has been formalized”
P11: shard -> shared
P25: “Annex M provides of DOL texts, which provide examples for all DOL constructs,” clumsy. Reword “Annex M provides textual examples for all DOL constructs,”
P25: The bibliography contains Q references -> delete Q
P31: “Often is useful” -> “Often it is useful”
P35: “in this context are ask” -> “in this context ask”
P62: Table 2 should be positioned in 9.8.1.2, not in the middle of 9.8.1.1.
P125: “many-sorted first has been formalized” -> “many-sorted first-order logic has been formalized”
see http://issues.omg.org/browse/DOL-37